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

Architecture Oriented Component Interface Model and Its Formal Specification

作　　者：任洪敏[1] 张敬周[2] 钱乐秋[2] 

机构地区：[1]上海海事大学计算机系,上海200135 [2]复旦大学计算机科学系软件工程实验室,上海200433

出　　处：《计算机工程》2005年第23期67-69,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2001AA1100241)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]