首页> 外文OA文献 >Towards an architectural approach for the dynamic and automatic composition of software components
【2h】

Towards an architectural approach for the dynamic and automatic composition of software components

机译:迈向动态和自动组成软件组件的体系结构方法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Roughly speaking, a component-based software system is an assembly of reusable components, designed to meet the system requirements identified during the architecting phase. Components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to produce a multitude of software systems. The correct functioning of a component-based system depends on both the properties of the single components and the properties of the assembly code. One main problem in component assembly is related to the ability to establish properties on the assembly code by only assuming a limited knowledge of the single component properties. Our answer to this problem is a Software Architecture (SA) based approach in which standard and synthesis-oriented architectural analysis are combined together in order to efficiently and correctly assemble a system out of a set of already implemented components. Our method model-checks the SA of the system respect to desired requirements and assumes the SA as starting point for the synthesis-oriented process. This process is performed to automatically derive a dynamic and correct component assembly. Although in the system life-cycle components change the SA does not change (if the requirements still remain unmodified). Thus, the SA can be used as starting point for deriving adaptors to correctly replace (at run-time) components in the composed system.
机译:粗略地说,基于组件的软件系统是可重用组件的组合,旨在满足架构阶段确定的系统要求。为了重用,指定,设计和实现了组件,并在各种情况下进行了组装,以产生大量的软件系统。基于组件的系统的正确功能取决于单个组件的属性和汇编代码的属性。组件组装中的一个主要问题与通过仅假设单个组件属性的有限知识在组装代码上建立属性的能力有关。我们对这个问题的答案是一种基于软件体系结构(SA)的方法,其中将标准和面向综合的体系结构分析组合在一起,以便从一组已经实现的组件中高效而正确地组装一个系统。我们的方法根据期望的要求对系统的SA进行模型检查,并假设SA是面向合成过程的起点。执行此过程以自动得出动态且正确的组件装配体。尽管在系统生命周期组件中进行了更改,但SA不会更改(如果要求仍然保持不变)。因此,SA可以用作派生适配器以正确替换(在运行时)组成系统中组件的起点。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号