2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems最新文献

筛选
英文 中文
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems CQML:面向方面的建模,用于模块化和编织基于组件的系统中的QoS关注点
Sumant Tambe, Akshay Dabholkar, A. Gokhale
{"title":"CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems","authors":"Sumant Tambe, Akshay Dabholkar, A. Gokhale","doi":"10.1109/ECBS.2009.24","DOIUrl":"https://doi.org/10.1109/ECBS.2009.24","url":null,"abstract":"Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant concerns of decomposition while treating nonfunctional or quality of service (QoS) concerns as an after thought. Such frameworks lack a strong decoupling between the modeling of the system's structural composition and their QoS requirements. This lack of QoS modularization limits (1) reusability of such frameworks, (2) ease of maintenance when new non-functional characteristics are added, and (3) independent evolution of the modeling frameworks along both the structural and non-functional dimensions. This paper describes Component QoS Modeling Language (CQML), which is a reusable, extensible, and aspect-oriented modeling approach that provides strong separation between the structural and non-functional dimensions. CQML supports independent evolution of structural as well as QoS metamodel of composition modeling languages. The join point model of CQML enables declarative QoS aspect modeling and supports automatic weaving of structural changes effected by QoS requirements. We evaluate the capabilities of CQML for a variety of structural modeling languages and provide quantitative results indicating the modeling effort saved in automating the weaving of QoS concerns.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124215179","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}
引用次数: 13
Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf Products 商品现货排序混合模型的权衡与灵敏度分析
H. Ibrahim, B. Far, A. Eberlein
{"title":"Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf Products","authors":"H. Ibrahim, B. Far, A. Eberlein","doi":"10.1109/ECBS.2009.47","DOIUrl":"https://doi.org/10.1109/ECBS.2009.47","url":null,"abstract":"Despite its popularity, The COTS-based development still faces some challenges, in particular the evaluation and selection process in which uncertainty plays a major role. A hybrid model, composed of the analytic hierarchy process (AHP) and Bayesian Belief Network (BBN), is proposed to evaluate and rank various COTS candidates while explicitly considering uncertainty. Several input parameters such as weights assigned to evaluation criteria, relative scores for various COTS candidates, and prior belief about the satisfaction of various attributes associated with the evaluation criteria need to be estimated. The estimation process of these input parameters is subject to uncertainty that limits the applicability of the model’s results. In this paper, we apply sensitivity analysis to check the validity and robustness of the model. Further, we apply tradeoff analysis to explore the impact of relaxing one criterion in order to achieve an increase in another criterion that is considered as more desirable in a particular project context. A digital library system is used as a case study to illustrate how the proposed tradeoff and sensitivity analysis was performed.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127947006","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}
引用次数: 6
Structured Formalization of Service-Oriented Specifications 面向服务规范的结构化形式化
Markus Herrmannsdoerfer, S. Rittmann, B. Schätz
{"title":"Structured Formalization of Service-Oriented Specifications","authors":"Markus Herrmannsdoerfer, S. Rittmann, B. Schätz","doi":"10.1109/ECBS.2009.23","DOIUrl":"https://doi.org/10.1109/ECBS.2009.23","url":null,"abstract":"We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus supporting especially the development of distributed systems. We introduce a core set of concepts for the specification of basic services as well as for the combination of those to complex functionality. The result is an expressive mechanism for structured behavioral specifications. While basically independent from specific notations, we demonstrate the application of those concepts using (High-level) Message Sequence Charts and Mode Diagrams for the specification of services and their combination. We illustrate the approach using a simple telephone system as a running example.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122418359","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
Viewpoints in the Smart Home Product Line 智能家居产品线中的观点
M. Jäger, Ludger Fiege
{"title":"Viewpoints in the Smart Home Product Line","authors":"M. Jäger, Ludger Fiege","doi":"10.1109/ECBS.2009.39","DOIUrl":"https://doi.org/10.1109/ECBS.2009.39","url":null,"abstract":"In product lines for systems engineering a number of different viewpoints on the modeled system have to maintained, comprising both software-related viewpoints and domain-specific views on hardware and environment. A major engineering challenge is to maintain model transformations and code generators working on these viewpoints. This paper proposes an engineering approach that explicitly describes the relation between viewpoints. We use these descriptions to better modularize transformations and thus improve the maintainability of MDD tool chains. This is shown within a smart home case study, which combines building automation and software engineering.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129396442","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
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications 并发产品线应用程序中特性的验证、动态调整和组合
Nasreddine Aoumeur, Kamel Barkaoui, G. Saake
{"title":"Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications","authors":"Nasreddine Aoumeur, Kamel Barkaoui, G. Saake","doi":"10.1109/ECBS.2009.48","DOIUrl":"https://doi.org/10.1109/ECBS.2009.48","url":null,"abstract":"With the pressing in-time-market towards customizedservices, software product lines (SPL) are increasinglycharacterizing most of software landscape. SPL are mainly structured through offered features, where consistent composition and dynamic variability are the driving forces. We contribute to these two challenging problems when distribution and correctness are at stake. First, we soundly specify and validate any feature-oriented requirements using a component-based Petri nets framework referred to as Co-Nets. For rapid-prototyping, we semantically interpret in true-concurrent rewriting logic. For consistently composing features, a flexible feature-algebra is proposed. Finally, for runtime adaptability and integration of features, we leverage Co-Nets with an explicit aspectual-level, where features can be dynamically (un)woven on running components. The approach is thoroughly explained using a feature-intensive multi-lift system.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114266820","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
Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training 在计算机辅助腹腔镜手术训练中定义空间区域
Chuan Feng, J. Rozenblit, A. Hamilton, A. Wytyczak-Partyka
{"title":"Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training","authors":"Chuan Feng, J. Rozenblit, A. Hamilton, A. Wytyczak-Partyka","doi":"10.1109/ECBS.2009.18","DOIUrl":"https://doi.org/10.1109/ECBS.2009.18","url":null,"abstract":"To provide appropriate guidance in minimally invasive surgical training (and potentially an additional safety measure in the operating room), we propose a model called a \"No-Fly Zone\" based on the situational awareness enhancing system. By defining the configuration space of the instrument, a collision free region is defined. If an intrusion occurs into the no-fly region space, the system provides audio, visual, and haptic feedback to reinforce an appropriate maneuver. The proposed method is intended to refine surgical skills and to improve the patient safety. Usability experiment will be performed to test the system.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132138770","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}
引用次数: 14
Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical Training 运动结构三维重建在计算机指导外科训练中的应用
A. Wytyczak-Partyka, J. Nikodem, R. Klempous
{"title":"Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical Training","authors":"A. Wytyczak-Partyka, J. Nikodem, R. Klempous","doi":"10.1109/ECBS.2009.38","DOIUrl":"https://doi.org/10.1109/ECBS.2009.38","url":null,"abstract":"The following paper presents the effects of work on evaluating application of structure-from-motion 3D reconstruction algorithms to the purpose of computer-guided surgical training.In the paper a system for laparoscopic surgery training is presented. The key part of the system is a novel approach to training, where a 3D model of the operating fields serves as a base of the interaction between the trainee and the system. Outline of the 3D processing pipeline is presented, results are shown and discussed.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123687982","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}
引用次数: 1
A Systematic Process for Implementing Gateways for Test Tools 实现测试工具网关的系统过程
Jessica Díaz, Agustín Yagüe, J. Garbajosa
{"title":"A Systematic Process for Implementing Gateways for Test Tools","authors":"Jessica Díaz, Agustín Yagüe, J. Garbajosa","doi":"10.1109/ECBS.2009.40","DOIUrl":"https://doi.org/10.1109/ECBS.2009.40","url":null,"abstract":"Test automation is facing a new challenge because tools, as well as having to provide conventional test functionalities, must be capable to interact with ever more heterogeneous complex systems under test (SUT). The number of existing software interfaces to access these systems is also a growing number. The problem cannot be analyzed only from a technical or engineering perspective; the economic perspective is as important. This paper presents a process to systematically implement gateways which support the communication between test tools and SUTs with a reduced cost. The proposed solution does not preclude any  interface protocol at the SUT side. This process is supported using a generic architecture of a  gateway defined on top of  OSGi. Any test tool can communicate with the gateway through a unique defined interface. To communicate the gateway and the SUT, basically, the driver corresponding to the SUT software interface has to be loaded.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116255226","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
Application Capturing and Performance Estimation in an Holistic Design Environment 整体设计环境下的应用程序捕获和性能评估
M. Rashid, B. Pottier
{"title":"Application Capturing and Performance Estimation in an Holistic Design Environment","authors":"M. Rashid, B. Pottier","doi":"10.1109/ECBS.2009.29","DOIUrl":"https://doi.org/10.1109/ECBS.2009.29","url":null,"abstract":"The objective of the hArtes (Holistic Approach to Reconfigurable real Time Embedded Systems) is to provide a tool set that facilitates the management of entire design flow. Despite of its improved design productivity, the two bottleneck are: (1) capturing initial application specifications in the specified graphical tool and (2)Cycle accurate performance estimation in design space exploration.We propose: (1) a transformation methodology for converting reference sequential C code to data-flow specifications and (2) a design space exploration framework based on cycle accurate performance estimation. The proposed transformation methodology is based on functions reorganization and variables definitions. The proposed design space exploration framework consists of two design loops: computational architecture selection loop and communication architecture selection loop. Before entering into these loops, it is critical to estimate the performance of application function blocks. We propose a performance estimation methodology by performing simulations at CABA (Cycle Accurate Bit Accurate) level. Instead of simulating the entire application, each function block is instrumented and executed on the target simulation platform and the resulting information is stored in a performance estimation library. Experimentation with H.264 video encoding applicationproves the viability of the proposed transformation methodology. Validation and performance evaluations for performance estimation technique are done by extending theSoCLib library of simulation models.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"385 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120870079","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
Optimisation Process for Maintaining Evolvability during Software Evolution 软件演化过程中维护可演化性的优化过程
Robert Brcina, Stephan Bode, Matthias Riebisch
{"title":"Optimisation Process for Maintaining Evolvability during Software Evolution","authors":"Robert Brcina, Stephan Bode, Matthias Riebisch","doi":"10.1109/ECBS.2009.20","DOIUrl":"https://doi.org/10.1109/ECBS.2009.20","url":null,"abstract":"Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexible in order to retain the ability to be extended by additional new features or to be changed. To maintain this ability, known as evolvability, the architecture of such software systems and its evolution must be continuously controlled and, if necessary improved. Existing design methodologies do not provide sufficient support for controlling the evolvability. One reason for this is, that in comparison with software maintainability, evolvability characteristics are hardly defined. This paper discusses evolvability, and introduces a quality model for it. Furthermore, a meta-model-based process for controlling and optimising the evolvability characteristics of software baselines is presented. The feasibility of this approach is shown by a case study based on the results from its implementation in large industrial projects.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116104616","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}
引用次数: 23
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信