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

A component model to manage the heterogeneity and dynamism in mobile applications 一个组件模型，用于管理移动应用程序中的异构性和动态性

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

C. Escoffier, P. Lalanda, O. Günalp

引用次数: 3

Real-time multi-core components for cyber-physical systems 用于网络物理系统的实时多核组件

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

M. Wahler, M. Oriol, A. Monot

引用次数: 2

Matchbox: a framework for dynamic configuration of service matching processes 火柴盒:用于动态配置服务匹配过程的框架

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

Marie Christin Platenius, Wilhelm Schäfer, Svetlana Arifulina

{"title":"Matchbox: a framework for dynamic configuration of service matching processes","authors":"Marie Christin Platenius, Wilhelm Schäfer, Svetlana Arifulina","doi":"10.1145/2737166.2737174","DOIUrl":"https://doi.org/10.1145/2737166.2737174","url":null,"abstract":"Service discovery in global software markets is performed by brokers who act as intermediaries between service requesters and service providers. In order to discover services, brokers apply service matching for determining whether the specification of a provided service satisfies the requester's requirements. Brokers can already choose between a lot of different service matching approaches considering different service properties (structural, behavioral, and non-functional properties). Different matching approaches can be combined into configurable matching processes leading to a high matching quality (e.g., accurate matching results). However, this combination and configuration is a manual procedure and has to be repeated for different requesters' or market requirements regarding matching quality. In this paper, we propose our framework MatchBox, which supports a broker in reusing existing matching approaches and combining them in a model-driven way based on a reconfigurable model of the matching process. Using this reconfigurable model, MatchBox takes care of control and dataflow between matching approaches and executes the modeled processes automatically. As a case study, we integrated eleven matchers into MatchBox to demonstrate that it remains flexibility and reduces effort for a broker at the same time.","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"47 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":"129458596","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

Stochastic contracts for runtime checking of component-based real-time systems 基于组件的实时系统运行时检查的随机契约

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Pub Date : 2015-01-10 DOI: 10.1145/2737166.2737173

Chandrakana Nandi, A. Monot, M. Oriol

{"title":"Stochastic contracts for runtime checking of component-based real-time systems","authors":"Chandrakana Nandi, A. Monot, M. Oriol","doi":"10.1145/2737166.2737173","DOIUrl":"https://doi.org/10.1145/2737166.2737173","url":null,"abstract":"This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two types of properties: functional and real-time. For functional properties, a standard approach for ensuring correctness is Design by Contract: annotating programs with executable pre- and postconditions. We extend contracts for specifying real-time properties. In the industry, components are often bought from vendors and meant to be used off-the-shelf which makes it very difficult to determine their execution times and express related properties. We present a solution to this problem by using statistical inference for estimating the properties. The contract framework allows application developers to express contracts like “the execution time of component X lies within standard deviations from the mean execution time”. Experiments based on industrial case studies show that this framework can be smoothly integrated into existing control applications, thereby increasing their reliability while having an acceptable execution time overhead (less than 10%).","PeriodicalId":359460,"journal":{"name":"2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116667099","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