作　　者： ; ; ;

机构地区： 燕山大学信息科学与工程学院

出　　处： 《计算机工程》 2010年第6期80-83,共4页

摘　　要： 为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。 To ensure behavior consistency of components during dynamic evolution and avoid illegal evolution, this paper proposes a component model based on process algebra. It introduces initiate request port and internal connection into the model to formally describe the components and their interaction protocol, gives some theorems and verification algorithm. Example proves that this component model can verify the component interface compatibility, exterior interactive behavioral consistency and run-time behavioral integrity in dynamic evolution.

关 键 词： 构件 动态演化 行为一致性 进程代数 主动请求接口

领　　域： [自动化与计算机技术] [自动化与计算机技术]