| 构件组装及其形式化推导研究 |
| |
| 引用本文： | 任洪敏,钱乐秋. 构件组装及其形式化推导研究[J]. 软件学报, 2003, 14(6): 1066-1074 |
| |
| 作者姓名： | 任洪敏 钱乐秋 |
| |
| 作者单位： | 复旦大学,计算机科学与技术系,上海,200433 |
| |
| 基金项目： | Supported by the National High-Tech Research and Development Plan of China under Grant No.2001AA1100241 (国家高技术研究发展计划(863)) |
| |
| 摘 要： | 基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.
|
| 关 键 词： | 基于构件的软件工程 构件组装 组装推导 软件体系结构 进程演算 |
| 收稿时间： | 2002-07-04 |
| 修稿时间： | 2002-07-04 |
Research on Component Composition and Its Formal Reasoning |
| |
| REN Hong-Min and QIAN Le-Qiu. Research on Component Composition and Its Formal Reasoning[J]. Journal of Software, 2003, 14(6): 1066-1074 |
| |
| Authors: | REN Hong-Min and QIAN Le-Qiu |
| |
| Abstract: | |
| |
| Keywords: | component based software engineering component composition compositional reasoning software architecture process calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
