International ACM SIGSOFT Conference on Quality of Software Architectures最新文献_第2页

Empirical resilience evaluation of an architecture-based self-adaptive software system 基于体系结构的自适应软件系统的经验弹性评价

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2602577

J. Cámara, Pedro Correia, R. Lemos, M. Vieira

引用次数: 20

Architectural tactics support in cloud computing providers: the jelastic case 云计算提供商中的架构策略支持:jelastic案例

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2602580

J. Chavarriaga, Carlos Noguera, R. Casallas, V. Jonckers

{"title":"Architectural tactics support in cloud computing providers: the jelastic case","authors":"J. Chavarriaga, Carlos Noguera, R. Casallas, V. Jonckers","doi":"10.1145/2602576.2602580","DOIUrl":"https://doi.org/10.1145/2602576.2602580","url":null,"abstract":"When developing and deploying applications in the cloud, architects face the challenge of conciliating architectural decisions with the options and restrictions imposed by the chosen cloud provider. An architectural decision can be seen as a two-step process: selecting architectural tactics to promote quality attributes and choosing design alternatives to implement those tactics. Available design alternatives are limited by the offer of the cloud provider. When configuring the cloud platform and its services as directed by the chosen tactics, the architect must be mindful of conflicts among the available alternatives. These trade-offs amongst the desired quality attributes can be difficult to detect, understand and ultimately solve. In this paper, we consider the case of Jelastic, a particular cloud platform provider, to illustrate: 1) the modeling of architectural tactics and their corresponding design alternatives using cloud configuration options, and 2) a process that exploits these models to determine which options to use in order to implement a combination of tactics. Furthermore, we present an analysis for this cloud provider that explains which combinations of tactics and configurations lead to trade-offs.","PeriodicalId":110790,"journal":{"name":"International ACM SIGSOFT Conference on Quality of Software Architectures","volume":"111 3S 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124556004","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Software QoS enhancement through self-adaptation and formal models 通过自适应和形式化模型增强软件QoS

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2611459

R. Mirandola, Diego Perez-Palacin

引用次数: 1

Automatic detection of performance anti-patterns in inter-component communications 组件间通信中性能反模式的自动检测

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2602579

Alexander Wert, M. Oehler, Christoph Heger, Roozbeh Farahbod

{"title":"Automatic detection of performance anti-patterns in inter-component communications","authors":"Alexander Wert, M. Oehler, Christoph Heger, Roozbeh Farahbod","doi":"10.1145/2602576.2602579","DOIUrl":"https://doi.org/10.1145/2602576.2602579","url":null,"abstract":"Performance problems such as high response times in software applications have a significant effect on the customer's satisfaction. In enterprise applications, performance problems are frequently manifested in inefficient or unnecessary communication patterns between software components originating from poor architectural design or implementation. Due to high manual effort, thorough performance analysis is often neglected, in practice. In order to overcome this problem, automated engineering approaches are required for the detection of performance problems. In this paper, we introduce several heuristics for measurement-based detection of well-known performance anti-patterns in inter-component communications. The detection heuristics comprise load and instrumentation descriptions for performance tests as well as corresponding detection rules. We integrate these heuristics with Dynamic Spotter, a framework for automatic detection of performance problems. We evaluate our heuristics on four evaluation scenarios based on an e-commerce benchmark (TPC-W) where the heuristics detect the expected communication performance anti-patterns and pinpoint their root causes.","PeriodicalId":110790,"journal":{"name":"International ACM SIGSOFT Conference on Quality of Software Architectures","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133066834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 24

Trust or verify? 信任还是验证?

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2611460

B. Meyer

引用次数: 0

Architecture management and evaluation in mature products: experiences from a lightweight approach 成熟产品中的架构管理和评估:来自轻量级方法的经验

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2602583

M. Raatikainen, J. Savolainen, T. Männistö

{"title":"Architecture management and evaluation in mature products: experiences from a lightweight approach","authors":"M. Raatikainen, J. Savolainen, T. Männistö","doi":"10.1145/2602576.2602583","DOIUrl":"https://doi.org/10.1145/2602576.2602583","url":null,"abstract":"Software architecture evaluation is an essential part of architecture management and a means to uncover problems and increase confidence in the capability of the software architecture in fulfilling the most critical requirements. Architecture evaluation is typically carried out at an early stage of a software development. However, development efforts are often related to further development of existing software. We present a case study of the software architecture board (SWAB) initiative carried out at in a company called NSN. SWAB employed a lightweight architecture evaluation and management approach to exchange architectural experiences with related products and assess ability to fulfill future requirements. SWAB operated for two years but ultimately came to an end because the desired objectives were not achieved. The case study provides lessons for the evaluation of architecture in mature products and for using a lightweight evaluation approach: Evaluation in mature products seems not to be about finding problems and risk or making trade-offs, but about architecture management such as better communication, raising awareness about the architecture, and increased confidence to the architecture throughout the organization; and a lightweight architecture evaluation seems to be a good approach especially for mature products. However, the motivation and justification for architectural evaluation of mature products remains challenging, as their architecture is already in place and evolved over years towards good candidates, although the need for inter-product communication and alignment of architectural issues can be argued for.","PeriodicalId":110790,"journal":{"name":"International ACM SIGSOFT Conference on Quality of Software Architectures","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127115129","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models SRMP:一种在实时并发模型中防止死锁的软件模式

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2602591

Rania Mzid, C. Mraidha, Jean-Philippe Babau, M. Abid

{"title":"SRMP: a software pattern for deadlocks prevention inreal-time concurrency models","authors":"Rania Mzid, C. Mraidha, Jean-Philippe Babau, M. Abid","doi":"10.1145/2602576.2602591","DOIUrl":"https://doi.org/10.1145/2602576.2602591","url":null,"abstract":"Model-based approaches for the development of software intensive real-time embedded systems allow early verification of timing properties at the design phase. At this phase, the Real-Time Operating System (RTOS) may not be chosen, hence some assumptions on the software platform are made to achieve timing verifications such as schedulability analysis of tasks describing the application. Among these assumptions, the synchronization protocol which is used to manage the concurrent access to resources that are shared between tasks. A classical solution is to consider the Priority Ceiling Protocol (PCP) synchronization protocol to avoid deadlocks. However, when this protocol is not provided by the target RTOS on which the application will be deployed, the concurrency model becomes not implementable and a new synchronization protocol must be considered. In this paper, we propose the Shared Resource Merge Pattern (SRMP) which aims to prevent deadlocks when the use of PCP protocol is not allowed by the target RTOS. The application of this pattern on the concurrency model must guarantee that the timing properties of the real-time application are still met.","PeriodicalId":110790,"journal":{"name":"International ACM SIGSOFT Conference on Quality of Software Architectures","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126392774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Failure data collection for reliability prediction models: a survey 可靠性预测模型的失效数据收集综述

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2014-06-27 DOI: 10.1145/2602576.2602586

Barbora Buhnova, Stanislav Chren, Lucie Fabriková

引用次数: 7

Combining fUML and profiles for non-functional analysis based on model execution traces 结合uml和概要文件进行基于模型执行轨迹的非功能分析

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2013-06-17 DOI: 10.1145/2465478.2465493

L. Berardinelli, Philip Langer, Tanja Mayerhofer

{"title":"Combining fUML and profiles for non-functional analysis based on model execution traces","authors":"L. Berardinelli, Philip Langer, Tanja Mayerhofer","doi":"10.1145/2465478.2465493","DOIUrl":"https://doi.org/10.1145/2465478.2465493","url":null,"abstract":"For developing software systems it is crucial to consider non-functional properties already in an early development stage to guarantee that the system will satisfy its non-functional requirements. Following the model-based engineering paradigm facilitates an early analysis of non-functional properties of the system being developed based on the elaborated design models. Although UML is widely used in model-based engineering, it is not suitable for model-based analysis directly due to its lack of formal semantics. Thus, current model-based analysis approaches transform UML models into formal languages dedicated for analyses purpose, which may introduce accidental complexity of implementing the required model transformations.\u0000 The recently introduced fUML standard provides a formal semantics of a subset of UML enabling the execution of UML models. In this paper, we show how fUML can be utilized for analyzing UML models directly without having to transform them. We present a reusable framework for performing model-based analyses leveraging execution traces of UML models and integrating UML profiles heretofore unsupported by fUML. A case study in the performance analysis domain is used to illustrate the benefits of our framework.","PeriodicalId":110790,"journal":{"name":"International ACM SIGSOFT Conference on Quality of Software Architectures","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116670767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 16

Evaluation framework for software architecture viewpoint languages 软件架构视点语言的评估框架

International ACM SIGSOFT Conference on Quality of Software Architectures Pub Date : 2013-06-17 DOI: 10.1145/2465478.2465483

B. Tekinerdogan, Elif Demirli

{"title":"Evaluation framework for software architecture viewpoint languages","authors":"B. Tekinerdogan, Elif Demirli","doi":"10.1145/2465478.2465483","DOIUrl":"https://doi.org/10.1145/2465478.2465483","url":null,"abstract":"In general, software architecture is documented using software architecture views to address the different stakeholder concerns. The current trend recognizes that the set of viewpoints should not be fixed but multiple viewpoints might be introduced instead to design and document the software architecture. To ensure the quality of the software architecture various software architecture evaluation approaches have been introduced. In addition several documentation guidelines have been provided to ensure the quality of the software architecture document. Unfortunately, the evaluation of the adopted viewpoints that are used to design and document the software architecture has not been considered explicitly. If the architectural viewpoints are not well-defined then implicitly this will have an impact on the quality of the design and the documentation of the software architecture. We present an evaluation framework for assessing existing or newly defined software architecture viewpoint languages. The approach is based on software language engineering techniques, and considers each viewpoint as a metamodel. The approach does not assume a particular architecture framework and can be applied to existing or newly defined viewpoint languages. We illustrate our approach for modeling and reviewing the first and second editions of the viewpoint languages of the Views and Beyond approach.","PeriodicalId":110790,"journal":{"name":"International ACM SIGSOFT Conference on Quality of Software Architectures","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114543368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 15