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

Research on Component Composition Based on Linear Logic

作　　者：谢兄[1] 张维石[1] 

机构地区：[1]大连海事大学计算机科学与技术学院,辽宁大连116026

出　　处：《小型微型计算机系统》2008年第5期797-800,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60573087)资助

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

关 键 词：基于构件的软件工程 软件构件 构件组装 构件适应 形式化描述 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]