摘要
构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。
Component composition is one of the emphasis of research in component based software development. It can greatly improve the efficiency and quality in software development. Currently, most of the component composition technology is implemented under the condition of "successful traces", ignoring the check on the correctness of composition. This paper optimizes the component interface-connection technique, and adopts formal methods to describe and deduce the problems about components and their composition. Based on this work, a mapping algorithm is brought out to implement the automatic conversion from composition specification to glue code. The research makes preparations for formal analysis on component composition and the validation of the correctness of composition.
出处
《计算机科学》
CSCD
北大核心
2006年第7期253-256,共4页
Computer Science
基金
高校博士点专项科研基金([2003]172)资助
关键词
基于构件的软件开发
构件组装
接口连接式组装
组装推导
Component-based software development, Component composition, Interface connection composition, COmposition deduce