一种基于线性逻辑的构件组装方法研究

Research on Component Composition Based on Linear Logic

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.

Software component composition is widely recognized to be a crucial problem in component-based software engineering. In this paper,the component model which has the pre-condition and the post-condition and three composition architectures including sequential architecture ,alternative architecture and parallel architecture are described in linear logic. The approach of component composition can be given automatically according to the available component and the composition architectures in theorem prove. The complex eomponent＇s specification can be made automatically from the adapted components＇ specifications. The proposed approach in the paper improves the ability of specification and analysis of system to component adaptation and 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.