构件组装及其形式化推导研究

• 作者: 任洪敏 钱乐秋
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 基于构件的软件工程 构件组装 组装推导 软件体系结构 进程演算
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1066-1074
• 页数: 9页
• 分类号: TP311
• 字数: 9131字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱乐秋	复旦大学计算机科学与技术系	61	1658	21.0	39.0
2	任洪敏	复旦大学计算机科学与技术系	6	323	5.0	6.0