{"title":"Local dynamic update for component-based distributed systems","authors":"V. Manna","doi":"10.1145/2304736.2304764","DOIUrl":"https://doi.org/10.1145/2304736.2304764","url":null,"abstract":"Dynamic evolution is a key aspect of the design, development, and maintenance of complex and distributed software systems built by integrating components. Evolution, traditionally obtained by producing software upgrades, may derive from changes in the requirements or in the environment, from the need to incorporate new implemented versions and optimizations. Upgrades typically require the software system to be shutdown, updated and restarted. However a large number of applications require to offer a continuous service and need to be updated at run-time. This paper addresses the problem of dynamic update of software components. A model-based approach is proposed to classify different classes of dynamic component update. For each of these classes, a set of updatable states of the current component is identified and mapped into a state of its new version. The proposed state transformation allows the component to be updated at run-time and satisfies the correctness criterion we defined in an earlier work.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126304329","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}
P. Abate, R. D. Cosmo, R. Treinen, Stefano Zacchiroli
{"title":"Learning from the future of component repositories","authors":"P. Abate, R. D. Cosmo, R. Treinen, Stefano Zacchiroli","doi":"10.1145/2304736.2304747","DOIUrl":"https://doi.org/10.1145/2304736.2304747","url":null,"abstract":"An important aspect of the quality assurance of large component repositories is the logical coherence of component metadata. We argue that it is possible to identify certain classes of such problems by checking relevant properties of the possible future repositories into which the current repository may evolve. In order to make a complete analysis of all possible futures effective however, one needs a way to construct a finite set of representatives of this infinite set of potential futures. We define a class of properties for which this can be done. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of \"forced upgrades\" induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that need to be upgraded in order to ever be installable in the future. For both applications we provide experience reports obtained on the Debian distribution.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131254312","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}
T. Calmant, J. Américo, Olivier Gattaz, D. Donsez, Kiev Gama
{"title":"A dynamic and service-oriented component model for python long-lived applications","authors":"T. Calmant, J. Américo, Olivier Gattaz, D. Donsez, Kiev Gama","doi":"10.1145/2304736.2304744","DOIUrl":"https://doi.org/10.1145/2304736.2304744","url":null,"abstract":"Dynamic runtime adaptations are a key feature for long-running applications. One of the most used languages for writing this kind of applications is Java, due to its reflection features, popularity and dynamism. However, as dynamic scripting languages (such as Python and Javascript) increase in popularity, it is desirable to be able to conceive long-running applications with them too. This paper introduces iPOPO and Pelix, a Python-based service-oriented component model and dynamic service platform respectively, which are inspired on two popular Java technologies for the development of long-running applications: the iPOJO component model and the OSGi Service Platform. To illustrate the approach, a usage of iPOPO and Pelix is presented on the context of mediation software.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123753403","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}
T. Pop, F. Plášil, Matej Outly, M. Malohlava, T. Bures
{"title":"Property networks allowing oracle-based mode-change propagation in hierarchical components","authors":"T. Pop, F. Plášil, Matej Outly, M. Malohlava, T. Bures","doi":"10.1145/2304736.2304753","DOIUrl":"https://doi.org/10.1145/2304736.2304753","url":null,"abstract":"Strong pressure on deployment of embedded control systems on a low-cost hardware leads to the need of optimizing software architectures to minimize resource demands. Nevertheless, releasing the resources not needed in specific phases of system execution is only rarely supported by todays component frameworks, mainly since information about the system state is spread over several components, which makes the idea hard to implement.\u0000 The paper introduces a formal model of property networks allowing for efficient capture of modifications of architecture-relevant information and shows, how this model can be used to employ the concept of modes for system architectures in hierarchical component systems.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127686308","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}
{"title":"15 years of CBSE symposium: impact on the research community","authors":"J. Maras, Luka Lednicki, I. Crnkovic","doi":"10.1145/2304736.2304748","DOIUrl":"https://doi.org/10.1145/2304736.2304748","url":null,"abstract":"In 2012, the International Symposium on Component-based Software Engineering (CBSE) is being organized for the 15th time. This is a great opportunity to take a step back and reflect on the impact of the symposium over these 15 years. Several interesting questions immediately come to mind: What were the main topics of interest in the community? What is the maturity of the field? What is the research CBSE Symposia impact? Who are the mots involved researches and researchers centers? In order to answer these questions we have performed a systematic review of 318 papers published under CBSE. In this paper we provide answers about the impact of the event, list and categorize the most frequent topics, and give some statistical data about the event during this period.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133594204","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}
Christian Heinzemann, Claudia Priesterjahn, Steffen Becker
{"title":"Towards modeling reconfiguration in hierarchical component architectures","authors":"Christian Heinzemann, Claudia Priesterjahn, Steffen Becker","doi":"10.1145/2304736.2304742","DOIUrl":"https://doi.org/10.1145/2304736.2304742","url":null,"abstract":"Today's real-time embedded systems operate in frequently changing environments on which they react by self-adaptations. Such an approach needs adequate modeling support of these reconfigurations to enable verification of safety properties, e.g., by timed model checking. Component-based development of such systems realizes these self-adaptations by structural reconfigurations of components and their connectors. However, component models proposed in literature do not support reconfigurable components in real-time embedded context but focus on other domains like business information systems. In this paper, we present an extension of our modeling language MechatronicUML to support structural reconfigurations taking the specific requirements of our domain into account. Based on the proposed extension we outline our research roadmap to achieve verification and realization of systems modeled in MechatronicUML.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129164536","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}
{"title":"An MDE approach to address synchronization needs in component-based real-time systems","authors":"P. Martínez, T. Vardanega","doi":"10.1145/2304736.2304758","DOIUrl":"https://doi.org/10.1145/2304736.2304758","url":null,"abstract":"In this work we present a strategy for addressing synchronization requirements in the model-driven component-based development of high-integrity real-time systems. The strategy we use regards separation of concerns as the cornerstone of the component-based development process, seeking to distinguish the responsibilities involved in specifying the system needs with regard to synchronization, from the responsibilities involved in the elaboration of a solution that provably satisfies those needs. In our vision the user expresses requirements related to the synchronization behavior of system components declaratively. This is done by attaching specification attributes to the affected elements of the system model. The underlying design environment is then in charge of producing a solution that guarantees that that behavior is achieved at run time. In contrast to classic component-oriented approaches, we consider synchronization requirements from the perspective of the client component instead of the provider one. We address the problem of high-level data races resulting from the lack of support for atomicity in the execution of sequences of operations that invoke multiple required interfaces.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127289889","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}
{"title":"Towards mode switch handling in component-based multi-mode systems","authors":"Hang Yin, Jan Carlson, H. Hansson","doi":"10.1145/2304736.2304766","DOIUrl":"https://doi.org/10.1145/2304736.2304766","url":null,"abstract":"Component-based software engineering (CBSE) is becoming a prominent solution to the development of complex embedded systems. Meanwhile, partitioning system behavior into different modes is an effective approach to reduce system complexity. Combining the two, we get a component-based multi-mode system, for which a key issue is its mode switch handling. The mode switch of such a system corresponds to the joint mode switches of many hierarchically organized components. Such a composable mode switch is not trivial as it amounts to coordinate the mode switches of different components. In this paper, we identify the major challenges of the composable mode switch handling and classify existing approaches with respect to how they handle these challenges. We also provide a more detailed presentation of the corresponding solutions included in our approach -- the Mode Switch Logic (MSL).","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132333622","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}
Y. Maurel, A. Bottaro, Radu Kopetz, Koutheir Attouchi
{"title":"Adaptive monitoring of end-user OSGi-based home boxes","authors":"Y. Maurel, A. Bottaro, Radu Kopetz, Koutheir Attouchi","doi":"10.1145/2304736.2304763","DOIUrl":"https://doi.org/10.1145/2304736.2304763","url":null,"abstract":"In-production performance monitoring is required for dynamic and modular systems open to third-party applications such as the OSGi-based smart home box that home actors envision today. Existing approaches are not suitable for inproduction monitoring as they generally induce a strong persistent overhead. This paper proposes a progressive and localized monitoring system that is able to dynamically activate/deactivate and tune the accuracy of monitoring mechanisms depending on detected performance issues. In particular, it proposes to build a proxy-aware service registry in order to inject proxies on-the-fly without stopping bundles and it advocates the use of localized sampling. Our evaluation shows that the overhead of our monitoring system is only 2% when idle and comparable with traditional systems when completely active(around 20%).","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132644741","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}
{"title":"Speed and innovation through architecture","authors":"J. Bosch","doi":"10.1145/2304736.2304738","DOIUrl":"https://doi.org/10.1145/2304736.2304738","url":null,"abstract":"The nature of software system development is changing. Rather than building systems according to specification, innovation processes and customer intimacy are at the heart of software development, requiring unprecedented levels of agility and speed. In addition, software is increasingly built in the context of a software ecosystem where other companies and independent developers add value as well. As these trends require small teams to work efficiently and rapidly in the context of large complex systems, the role of software architecture (and that of a software architect in particular) is more important in this new world, but there is significant evolution in its implementation. This keynote starts by characterizing the new approach to software engineering and the role of compositionality. It then explores the implications for software architecture and the role of the software architect. The talk will present examples from several industries to illustrate specific focus areas.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124839268","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}