%0 Journal Article
%T Research on Component Composition and Its Formal Reasoning<br>构件组装及其形式化推导研究
%A REN Hong-Min
%A QIAN Le-Qiu
%A <br>任洪敏
%A 钱乐秋
%J 软件学报
%D 2003
%I 
%X 基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.
%K component based software engineering
%K component composition
%K compositional reasoning
%K software architecture
%K process calculus<br>基于构件的软件工程
%K 构件组装
%K 组装推导
%K 软件体系结构
%K 进程演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=DEAD7739DFA4BB4D&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=B31275AF3241DB2D&sid=63025EFC6CC49145&eid=CD794621A184DC14&journal_id=1000-9825&journal_name=软件学报&referenced_num=63&reference_num=18