面向体系结构的构件接口模型及其形式化规约

被引：7

作者：

任洪敏 ^{[1
]}

张敬周 ^{[2
]}

钱乐秋 ^{[2
]}

机构：

[1] 上海海事大学计算机系

[2] 复旦大学计算机科学系软件工程实验室

来源：

关键词：

基于构件的软件工程; 软件体系结构; 构件接口模型; 接口规约; 行为协议;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。

引用

页码：67 / 69

页数：3