摘要： 借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。
关键词:
基于构件的软件工程,
软件体系结构,
构件接口模型,
接口规约,
行为协议
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.
中图分类号:
任洪敏;张敬周;钱乐秋;. 面向体系结构的构件接口模型及其形式化规约[J]. , 2005, 31(23): 77-79.
REN Hongmin1,ZHANG Jingzhou2,QIAN Leqiu2. Architecture Oriented Component Interface Model and Its Formal Specification[J]. , 2005, 31(23): 77-79.