共 3 条
构件组装及其形式化推导研究
被引：83
作者：
任洪敏
钱乐秋
机构：
[1] 复旦大学计算机科学与技术系
[2] 复旦大学计算机科学与技术系 上海
来源：
关键词：
基于构件的软件工程;
构件组装;
组装推导;
软件体系结构;
进程演算;
D O I：
10.13328/j.cnki.jos.2003.06.006
中图分类号：
TP311.5 [软件工程];
学科分类号：
081202 ;
0835 ;
摘要：
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.
引用
收藏
页码：1066 / 1074
页数：9
相关论文