...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of systems and software >An Architectural Approach To The Correct And Automatic Assembly Of Evolving Component-based Systems
【24h】

An Architectural Approach To The Correct And Automatic Assembly Of Evolving Component-based Systems

机译：正确且自动组装不断发展的基于组件的系统的体系结构方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Software components are specified, designed and implemented with the intention to be reused, and they are assembled in various contexts in order to produce a multitude of software systems. However, in the practice of software development, this ideal scenario is often unrealistic. This is mainly due to the lack of an automatic and efficient support to predict properties of the assembly code by only assuming a limited knowledge of the properties of single components. Moreover, to make effective the component-based vision, the assembly code should evolve when things change, i.e., the properties guaranteed by the assembly, before a change occurs, must hold also after the change. Glue code synthesis approaches technically permit one to construct an assembly of components that guarantees specific properties but, practically, they may suffer from the state-space explosion phenomenon. In this paper, we propose a Software Architecture (SA) based approach in which the usage of the system SA and of SA verification techniques allows the system assembler to design architectural components whose interaction is verified with respect to the specified properties. By exploiting this validation, the system assembler can perform code synthesis by only focusing on each single architectural component, hence refining it as an assembly of actual components which respect the architectural component observable behaviour. In this way code synthesis is performed locally on each architectural component, instead of globally on the whole system interactions, hence reducing the state-space explosion phenomenon. The approach can be equally well applied to efficiently manage the whole reconfiguration of the system when one or more components need to be updated, still maintaining the required properties. The specified and verified system SA is used as starting point for the derivation of glue adaptors that are required to apply changes in the composed system. The approach is firstly illustrated over an explanatory example and is then applied and validated over a real-world industrial case study.
机译：指定，设计和实施软件组件的目的是要重用它们，并在各种情况下组装它们，以产生大量的软件系统。但是，在软件开发的实践中，这种理想情况通常是不现实的。这主要是由于缺乏自动和有效的支持来仅通过假设单个组件的属性的有限知识来预测汇编代码的属性。而且，为了使基于组件的视觉效果有效，当事物发生变化时，汇编代码应该不断发展，即，在发生变化之前，组件保证的属性必须在发生变化后也保持不变。胶水代码合成方法在技术上允许人们构造能够保证特定属性的组件的组合，但是实际上，它们可能会遭受状态空间爆炸现象的困扰。在本文中，我们提出了一种基于软件体系结构（SA）的方法，其中系统SA和SA验证技术的使用使系统组装人员可以设计针对特定属性进行了交互验证的体系结构组件。通过利用此验证，系统组装人员可以仅关注每个单个体系结构组件来执行代码合成，从而将其完善为尊重体系结构组件可观察到的行为的实际组件的组合。这样，代码合成在每个体系结构组件上本地执行，而不是在整个系统交互上全局执行，因此减少了状态空间爆炸现象。当需要更新一个或多个组件时，该方法同样可以很好地应用于有效管理系统的整个重新配置，同时仍保持所需的属性。指定并经过验证的系统SA用作派生胶水适配器的起点，而胶水适配器是在组成的系统中应用更改所必需的。该方法首先在一个说明性示例中进行了说明，然后在实际的工业案例研究中得到应用和验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号