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

摘要：

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

关键词：基于构件的软件工程、软件体系结构、构件接口模型、接口规约、行为协议

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：新材料领域项目2001AA1100241

在线出版日期：2006-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：67-69