| 面向体系结构的构件接口模型及其形式化规约 |
| |
| 引用本文： | 任洪敏,张敬周,钱乐秋.面向体系结构的构件接口模型及其形式化规约[J].计算机工程,2005,31(23):67-69. |
| |
| 作者姓名： | 任洪敏 张敬周 钱乐秋 |
| |
| 作者单位： | 1. 上海海事大学计算机系,上海,200135
2. 复旦大学计算机科学系软件工程实验室,上海,200433 |
| |
| 基金项目： | 国家“863”计划基金资助项目（2001AA1100241） |
| |
| 摘 要： | 借鉴软件体系结构的思想，提出了面向体系结构的构件接口模型，它既能表达体系结构设计的高层抽象构件，又能表达底层代码级别的实现构件。同时基于该模型，运用顺序通信进程，提出了两级构件接口行为协议规约方法，能够有效规约大粒度复杂软件构件的行为交互协议。
|
| 关 键 词： | 基于构件的软件工程 软件体系结构 构件接口模型 接口规约 行为协议 |
| 文章编号： | 1000-3428（2005）23-0067-03 |
| 收稿时间： | 2004-10-11 |
| 修稿时间： | 2004-10-11 |
Architecture Oriented Component Interface Model and Its Formal Specification |
| |
| REN Hongmin,ZHANG Jingzhou,QIAN Leqiu.Architecture Oriented Component Interface Model and Its Formal Specification[J].Computer Engineering,2005,31(23):67-69. |
| |
| Authors: | REN Hongmin ZHANG Jingzhou QIAN Leqiu |
| |
| Affiliation: | 1. Departmene of Computer Science and Technology, Shanghai Maritime University, Shanghai 200135; 2. Lab of Softwate Engineering, Department of Computer Science and Technology, Fudan University, Shanghai 200433 |
| |
| Abstract: | Inspired by thoughts of software architecture,an architecture oriented component interface model(ACIM) is proposed.It can express not only high-level abstract components at architectural design,but also implementation components at low level design.Meanwhile,based on the component interface model and using CSP,two-level formal specification of component behavior protocols is proposed to describe the behavior protocols of large-scale components. |
| |
| Keywords: | Component based software engineering Software architecture Component interface model Interface specification Behavior protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
