International Symposium on Component-Based Software Engineering最新文献

Welcome Message from the Chairs of WICSA, QoSA and CBSE 来自WICSA、QoSA和CBSE主席的欢迎辞

International Symposium on Component-Based Software Engineering Pub Date : 2016-04-05 DOI: 10.1109/CBSE.2016.4

H. Muccini, K. Harper, R. Heinrich, J. Bosch, N. Plouzeau, O. Zimmermann, L. Baresi, V. Cortellessa

{"title":"Welcome Message from the Chairs of WICSA, QoSA and CBSE","authors":"H. Muccini, K. Harper, R. Heinrich, J. Bosch, N. Plouzeau, O. Zimmermann, L. Baresi, V. Cortellessa","doi":"10.1109/CBSE.2016.4","DOIUrl":"https://doi.org/10.1109/CBSE.2016.4","url":null,"abstract":"Welcome to the WICSA, QoSA, and CBSE 2016 conferences. While we had separate calls for papers, separate chairs and review processes for each conference, we had a unified, stronger community with a joint program committee. Even though the proceedings separate the papers in distinct chapters for each conference, there is a single conference program designed jointly by the program chairs of the three conferences. More precisely, papers accepted separately by the WICSA 2016, QoSA 2016, and CBSE 2016 conferences will be presented together in shared sessions. Hence, this year’s event is a great opportunity to bring together the researchers from the WICSA, QoSA and CBSE conference series. This year, WICSA, QoSA and CBSE calls for papers have attracted 149 submissions in total. Papers submitted to either WICSA, QoSA or CBSE were evaluated separately for each conference. After a careful evaluation by at least three reviewers and a following discussion period, 30 papers were accepted from WICSA, 12 from QoSA and 14 from CBSE. During the technical sessions, conference attendees will have the opportunity to listen to 56 presentations in 18 shared sessions. Some of these sessions will be working sessions with time slots dedicated to extended open discussions. In their calls for papers WICSA, QoSA, and CBSE addressed key concerns of software architectures across the system life cycle, such as designing for longevity, designing for reliability, and designing for flexibility. When we allocated the accepted papers to presentations sessions, it became evident that these concerns were shared by the three conferences. Hence the sessions were assembled to focus on these concerns.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124771948","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

A memory isolation method for OSGi-based home gateways 基于osgi的家庭网关的内存隔离方法

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602461

Yushi Kuroda, I. Yamasaki, Shigekuni Kondo, Yukihisa Katayama, O. Mizuno

引用次数: 4

Rigorous component-based design in BIP: half-day tutorial BIP中严格的基于组件的设计:半天的教程

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2611457

S. Bliudze

引用次数: 0

Design-by-contract for reusable components and realizable architectures 可重用组件和可实现架构的契约式设计

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602463

M. Ozkaya, C. Kloukinas

{"title":"Design-by-contract for reusable components and realizable architectures","authors":"M. Ozkaya, C. Kloukinas","doi":"10.1145/2602458.2602463","DOIUrl":"https://doi.org/10.1145/2602458.2602463","url":null,"abstract":"Architectural connectors can increase the modularity and reusability benefits of Component-based Software Engineering, as they allow one to specify the general case of an interaction pattern and reuse it from then on. At the same time they enable components to be protocol-independent - components do not need to know under which interaction patterns they will be used, as long as their minimal, local interaction constraints are satisfied. Without connectors one can specify only specific instances of such patterns and components need to specify themselves the interaction protocols that they will follow, thus reducing their reusability.\u0000 Connector frameworks so far allow designers to specify systems that are unrealizable in a decentralized manner, as they allow designers to impose global interaction constraints. These frameworks either ignore the realizability problem altogether, ignore connector behaviour when generating code, or introduce a centralized controller that enforces these global constraints but does so at the price of invalidating any decentralized properties of the architecture.\u0000 We show how the Xcd ADL extends Design-by-Contract (DbC) for specifying (i) protocol-independent components, and (ii) arbitrary connectors that are always realizable in a decentralized manner as specified by an architecture - Xcd connectors impose local constraints only. Use of DbC will hopefully make it easier for practitioners to use the language, compared to languages using process algebras. We show how Xcd specifications can be translated to ProMeLa so as to verify that (i) provided services local interaction constraints are satisfied, (ii) provided services functional pre-conditions are complete, (iii) there are no race-conditions, (iv) event buffer sizes suffice, and (v) there is no global deadlock. Without formally analyzable architectures errors can remain undiscovered for a long time and cost too much to repair.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"28 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":"131323093","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

A new approach to detect potential race conditions in component-based systems 基于组件的系统中潜在竞态条件检测的新方法

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602470

Jean-Yves Didier, M. Mallem

引用次数: 2

Injecting quality attributes into software architectures with the common variability language 使用通用可变性语言将质量属性注入到软件架构中

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602460

J. Horcas, M. Pinto, L. Fuentes

{"title":"Injecting quality attributes into software architectures with the common variability language","authors":"J. Horcas, M. Pinto, L. Fuentes","doi":"10.1145/2602458.2602460","DOIUrl":"https://doi.org/10.1145/2602458.2602460","url":null,"abstract":"Quality attributes that add new behavior to the functional software architecture are known as functional quality attributes (FQAs). These FQAs are applied to pieces of software from small components to entire systems, usually crosscutting some of them. Due to this crosscutting nature, modeling them separately from the base application has many advantages (e.g. reusability, less coupled architectures). However, different applications may require different configurations of an FQA (e.g. different levels of security), so we need a language that: (i) easily expresses the variability of the FQAs at the architectural level; and that (ii) also facilitates the automatic generation of architectural configurations with custom-made FQAs. In this sense, the Common Variability Language (CVL) is extremely suited for use at the architectural level, not requiring the use of a particular architectural language to model base functional requirements. In this paper we propose a method based on CVL to: (i) model separately and generate FQAs customized to the application requirements; (ii) automatically inject customized FQA components into the architecture of the applications. We quantitatively evaluate our approach and discuss its benefits with a case study.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"11 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":"122204823","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}

引用次数: 7

Quantifying the parallelism in BPMN processes using model checking 使用模型检查量化BPMN过程的并行性

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602473

Radu Mateescu, Gwen Salaün, Lina Ye

引用次数: 12

Coqcots & pycots: non-stopping components for safe dynamic reconfiguration Coqcots & pycots:用于安全动态重新配置的不停机组件

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602459

J. Buisson, Everton Cavalcante, F. Dagnat, E. Leroux, Sebastien Martinez

{"title":"Coqcots & pycots: non-stopping components for safe dynamic reconfiguration","authors":"J. Buisson, Everton Cavalcante, F. Dagnat, E. Leroux, Sebastien Martinez","doi":"10.1145/2602458.2602459","DOIUrl":"https://doi.org/10.1145/2602458.2602459","url":null,"abstract":"Software systems have to face evolutions of their running context and users. Therefore, the so-called dynamic reconfiguration has been commonly adopted for modifying some components and/or the architecture at runtime. Traditional approaches typically stop the needed components, apply the changes, and restart the components. However, this scheme is not suitable for critical systems and degrades user experience. This paper proposes to switch from the stop/restart scheme to dynamic software updating (DSU) techniques. Instead of stopping a component, its implementation is replaced by another one specifically built to apply the modifications while maintaining the best quality of service possible. The major contributions of this work are: (i) the integration of DSU techniques in a component model, and; (ii) a reconfiguration development process including specification, proof of correctness using Coq, and a systematic method to produce the executable script. In this perspective, the use of DSU techniques brings higher quality of service when reconfiguring component-based software and the formalization allows ensuring the safety and consistency of the reconfiguration process.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"47 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":"132278526","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}

引用次数: 12

Enriching software architecture models with statistical models for performance prediction in modern storage environments 用统计模型丰富软件架构模型，用于现代存储环境中的性能预测

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2602475

Qais Noorshams, Roland Reeb, A. Rentschler, Samuel Kounev, Ralf H. Reussner

{"title":"Enriching software architecture models with statistical models for performance prediction in modern storage environments","authors":"Qais Noorshams, Roland Reeb, A. Rentschler, Samuel Kounev, Ralf H. Reussner","doi":"10.1145/2602458.2602475","DOIUrl":"https://doi.org/10.1145/2602458.2602475","url":null,"abstract":"Model-based performance prediction approaches on the software architecture-level provide a powerful tool for capacity planning due to their high abstraction level. To process the increasing amount of data produced by today's applications, modern storage systems are becoming increasingly complex having multiple tiers and intricate optimization strategies. Current software architecture-level modeling approaches, however, struggle to account for this development and are not well-suited in complex storage environments due to overly simplistic storage assumptions, which consequently leads to inaccurate performance predictions. To address this problem, in this paper we present a novel approach to combine software architecture-level performance models with statistical models that capture the complex behavior of modern storage systems. More specifically, we first propose a general methodology for enriching software architecture modeling approaches with statistical I/O performance models. Then, we present how we realize the modeling concepts as well as model solving to obtain performance results. Finally, we evaluate our approach extensively in the context of three case studies with two state-of-the-art environments based on Sun Fire and IBM System z server hardware. Using our approach, we are able to successfully predict the application performance within 20 % prediction error in almost all cases.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"5 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":"132049243","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}

引用次数: 9

Development of smart cyber-physical systems 智能网络物理系统的发展

International Symposium on Component-Based Software Engineering Pub Date : 2014-06-27 DOI: 10.1145/2602458.2611458

T. Bures

引用次数: 0