构件适应和组装的形式化语义描述

Formal specification of component adaptation and composition

构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。

Software component adaptation is widely recognized to be a crucial problem in component-based software engineering. In this paper,the conditions of component adaptation architecture are analyzed.A component model and three composition architectures are described in formal semantic,including sequential architecture,alternative architecture and parallel architecture. The proposed architecture obtains the semant/cs of the component requested which has the pre-condition and the post-condition and dynamically composes the requested components based on the condition of the architecture applications.The complex component＇s specification can be made automatically from the adapted components＇ specifications.The proposed approach in the paper offers a guarantee to the formal analysis of component composition and the validation of the proper component composition. At last the future works are listed.