Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.最新文献_第4页

Personal autonomic computing self-healing tool 个人自主计算自我修复工具

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316741

Roy Sterritt, Saulai Chung

引用次数: 26

Towards a model-driven architecture for autonomic systems 为自治系统建立模型驱动的体系结构

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316739

D. Gračanin, S. Bohner, M. Hinchey

引用次数: 31

A service-oriented software architecture for mobile agent toolkits 面向服务的软件体系结构，用于移动代理工具包

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316746

Peter Braun, Ingo Müller, Sven Geisenhainer, Volkmar Schau, W. Rossak

引用次数: 10

A concept of an integrated development environment for reactive systems 响应式系统的集成开发环境的概念

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316704

I. Velikic, M. Popovic, V. Kovacevic

引用次数: 7

Supporting evolutionary development by feature models and traceability links 通过特性模型和可追溯性链接支持进化开发

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316721

Matthias Riebisch

{"title":"Supporting evolutionary development by feature models and traceability links","authors":"Matthias Riebisch","doi":"10.1109/ECBS.2004.1316721","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316721","url":null,"abstract":"During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur, i.e. in terms of maintainability and understandability. The lack of traceability of the impact of changed requirements in the software enhances this effect. Traceability links have been proposed as a link between the requirements and the different parts of a solution. In practical use, these links are difficult to establish and maintain. Currently, tools cannot effectively support these links due to human-required decisions. This paper introduces feature models as an intermediate element for linking requirements to design models. They enable a more appropriate bridging of the different levels of abstraction. Feature models group sets of requirements to a feature and enable a modeling of the variability of requirements. The feature models structure traceability links between requirements, design elements and implementation parts. This leads to lower efforts of establishing and maintaining the links. Furthermore, descriptions of design decisions can be attached to the links. Industrial experience with this approach shows its support for the evolutionary development of large software systems, especially in the improved comprehension of the changes by the developers.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132025411","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}

引用次数: 52

Non-functional refinement of computer based systems architecture 基于计算机的系统体系结构的非功能细化

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316696

M. Denford, J. Leaney, T. O'Neill

{"title":"Non-functional refinement of computer based systems architecture","authors":"M. Denford, J. Leaney, T. O'Neill","doi":"10.1109/ECBS.2004.1316696","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316696","url":null,"abstract":"Architecture based refinement is an important technique for ensuring efficiency, effectiveness and correctness in the practical design of complex computer based systems. With a few exceptions, current methods of architectural refinement focus on functional behaviour and fail to address nonfunctional requirements throughout the refinement process. A best practices approach to refinement would address both functional and nonfunctional requirements such that the refinement of an abstract into a concrete (implementation) architecture ensures that both sets of requirements are met. We propose a method that focuses on the nonfunctional requirements while still addressing the functional requirements throughout refinement. The method has a formal underpinning in abstract data types (based on term rewriting) which are used to represent the architectures throughout the refinement process and to place pre and post conditions on the refinements. In addition to this, the method uses nonfunctional requirement calculators to check the nonfunctional qualities of the architecture as refinement proceeds. Reflection on the practice of the method suggests that it may be possible to extend the architectural style idea to provide reusable refinement schema for the design of certain nonfunctional qualities into architectural patterns. The example considers reliability and performance in the refinement of a client server architectural pattern. The method does not aim to replace or fully automate the work of the designer. It aims to augment the design process and aid the designer in performing their tasks. It seeks to provide certain guidance for the designer that will help them make the right design decisions, and correct certain classes of errors.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126512709","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}

引用次数: 17

Modeling and simulation of stability and support operations (SASO) 稳定与支持作业(SASO)建模与仿真

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316678

Liana Suantak, F. Momen, J. Rozenblit, D. Hillis, M. Barnes, Jerry Schlabach

引用次数: 7

Formal specification of shared variables using CSP 使用CSP的共享变量的正式规范

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316701

Frantisek Scuglik

引用次数: 1

Hand-written vs. MOF-based metadata repositories: the SOFA experience 手写与基于mof的元数据存储库:SOFA体验

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316716

P. Hnetynka, Michal Píse

引用次数: 17

Verification of emergent behaviors in swarm-based systems 基于群体的系统中突现行为的验证

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316730

C. Rouff, A. Vanderbilt, M. Hinchey, W. Truszkowski, J. Rash

引用次数: 23