2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)最新文献

Complete composition operators for ioco-testing theory ioco测试理论的完全组合算子

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737175

Nikola Benes, Przemyslaw Daca, T. Henzinger, Jan Křetínský, D. Ničković

引用次数: 15

Hitch hiker: a remote binding model with priority based data aggregation for wireless sensor networks 顺风车:无线传感器网络中基于优先级数据聚合的远程绑定模型

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737179

G. Ramachandran, Wilfried Daniels, J. Proença, Sam Michiels, W. Joosen, D. Hughes, Barry Porter

{"title":"Hitch hiker: a remote binding model with priority based data aggregation for wireless sensor networks","authors":"G. Ramachandran, Wilfried Daniels, J. Proença, Sam Michiels, W. Joosen, D. Hughes, Barry Porter","doi":"10.1145/2737166.2737179","DOIUrl":"https://doi.org/10.1145/2737166.2737179","url":null,"abstract":"The aggregation of network traffic has been shown to enhance the performance of wireless sensor networks. By reducing the number of packets that are transmitted, energy consumption, collisions and congestion are minimised. However, current data aggregation schemes restrict developers to a specific network structure or cannot handle multi-hop data aggregation. In this paper, we propose Hitch Hiker, a remote component binding model that provides for multi-hop data aggregation. Hitch Hiker uses component meta-data to discover remote support component bindings and to construct a multi-hop overlay network within the free payload space of existing traffic flows. This overlay network provides end-to-end routing of low-priority traffic while using only a small fraction of the energy of standard communication. We have developed a prototype implementation of Hitch Hiker for the LooCI component model. Our evaluation shows that Hitch Hiker consumes minimal resources and that using Hitch Hiker to deliver low-priority traffic reduces energy consumption by up to 15%.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"219 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124333465","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}

引用次数: 5

Quantitative schedulability analysis of continuous probability tasks in a hierarchical context 分层环境下连续概率任务的可调度性定量分析

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737170

J. H. Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, K. Larsen, A. Skou, Insup Lee, L. T. Phan

引用次数: 8

Change-driven consistency for component code, architectural models, and contracts 组件代码、体系结构模型和契约的变更驱动的一致性

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737177

Max E. Kramer, M. Langhammer, Dominik Messinger, Stephan Seifermann, Erik Burger

{"title":"Change-driven consistency for component code, architectural models, and contracts","authors":"Max E. Kramer, M. Langhammer, Dominik Messinger, Stephan Seifermann, Erik Burger","doi":"10.1145/2737166.2737177","DOIUrl":"https://doi.org/10.1145/2737166.2737177","url":null,"abstract":"During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system on a high level of abstraction, and to formally specify component constraints. Because models, contracts, and code contain redundant information, inconsistencies can occur if they are modified independently. Keeping this information consistent manually can require considerable effort, and can lead to costly errors, for example, when security-relevant components are verified against inconsistent contracts. In this paper, we present an approach for keeping component- based architecture models and contracts specified in the Java Modeling Language (JML) consistent with Java source code. We use change-driven incremental transformations and the Vitruvius framework to automate the consistency preservation where this is possible. Using two case studies, we demonstrate how to detect and propagate changes and refactoring operations to keep models and contracts consistent with the source code.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123756059","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}

引用次数: 29

Refraction: low-cost management of reflective meta-data in pervasive component-based applications 折射:在普遍的基于组件的应用程序中对反射元数据进行低成本管理

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737168

Wilfried Daniels, J. Proença, D. Clarke, W. Joosen, D. Hughes

{"title":"Refraction: low-cost management of reflective meta-data in pervasive component-based applications","authors":"Wilfried Daniels, J. Proença, D. Clarke, W. Joosen, D. Hughes","doi":"10.1145/2737166.2737168","DOIUrl":"https://doi.org/10.1145/2737166.2737168","url":null,"abstract":"This paper proposes the concept of refraction, a principled means to lower the cost of managing reflective meta-data for pervasive systems. While prior work has demonstrated the benefits of reflective component-based middleware for building open and reconfigurable applications, the cost of using remote reflective operations remains high. Refractive components address this problem by selectively augmenting application data flows with their reflective meta-data, which travels at low cost to refractive pools, which serve as loci of inspection and control for the distributed application. Additionally reactive policies are introduced, providing a mechanism to trigger reconfigurations based on incoming reflective meta-data. We evaluate the performance of refraction in a case-study of automatic configuration repair for a real-world pervasive application. We show that refraction reduces network overhead in comparison to the direct use of reflective operations while not increasing development overhead. To enable further experimentation with the concept of refraction, we provide RxCom, an open-source refractive component model and supporting runtime environment.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126845070","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

Measuring the superfluous functionality in software components 测量软件组件中多余的功能

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737180

Marcus Kessel, C. Atkinson

{"title":"Measuring the superfluous functionality in software components","authors":"Marcus Kessel, C. Atkinson","doi":"10.1145/2737166.2737180","DOIUrl":"https://doi.org/10.1145/2737166.2737180","url":null,"abstract":"One of the drawbacks of a pragmatic, white box approach to the reuse of software is that reusable components often have more built-in functionality than is needed for a particular (re)usage scenario. This functionality either has to be invasively removed by changing the source code of the component, with the corresponding risk of errors, or has to be incorporated into a new project where it essentially pollutes the code base. While this may not be an immediate problem, over time such unneeded, polluting functionality can decrease the understandability of software and make it harder to maintain. The degree of superfluous functionality built into a component, when considered for a new use for which it was not initially intended, is therefore a useful metric which should be taken into account when choosing components to reuse. For example, it can be used as an input for a code search engine's ranking algorithm. In this paper we present a family of metrics for measuring the superfluous functionality within software components from the perspective of specific (re)use scenarios, describe how these metrics can be calculated, and investigate their utility as a differentiating measure to help developers choose which components to reuse.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127499849","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}

引用次数: 4

Architectural abstractions for hybrid programs 混合程序的体系结构抽象

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737167

I. Ruchkin, B. Schmerl, D. Garlan

{"title":"Architectural abstractions for hybrid programs","authors":"I. Ruchkin, B. Schmerl, D. Garlan","doi":"10.1145/2737166.2737167","DOIUrl":"https://doi.org/10.1145/2737166.2737167","url":null,"abstract":"Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation. However, currently these aspects are often intertwined in mostly monolithic hybrid programs, which are difficult to understand, change, and organize. These issues can be addressed by component-based engineering, making hybrid modeling more practical. This paper lays the foundation for using architectural models to provide component-based benefits to developing hybrid programs. We build formal architectural abstractions of hybrid programs and formulas, enabling analysis of hybrid programs at the component level, reusing parts of hybrid programs, and automatic transformation from views into hybrid programs and formulas. Our approach is evaluated in the context of a robotic collision avoidance case study.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131402571","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

Object-oriented component-based design using behavioral contracts: application to railway systems 基于行为契约的面向对象组件设计:在铁路系统中的应用

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737171

Sebti Mouelhi, Khalid Agrou, Samir Chouali, H. Mountassir

引用次数: 3

Employing domain knowledge for optimizing component communication 应用领域知识优化组件通信

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737172

M. Kit, F. Plášil, V. Matena, T. Bures, Ondrej Kovac

引用次数: 3

A reconfigurable component model for HPC 一个可重构的高性能计算组件模型

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-05-04 DOI: 10.1145/2737166.2737169

V. Lanore, Christian Pérez

引用次数: 8