文献类型：期刊文章

作　　者：任洪敏[1] 钱乐秋[1]

机构地区：[1]复旦大学计算机科学与技术系,上海200433

出　　处：《软件学报》

基　　金：国家高技术研究发展计划(863)~~

年　　份：2003

卷　　号：14

期　　号：6

起止页码：1066-1074

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2003397651644)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.

关 键 词：软件工程 构件组装  组装推导  软件体系结构 进程演算  

分 类 号：TP311]