摘要: 为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。
关键词:
构件,
动态演化,
行为一致性,
进程代数,
主动请求接口
Abstract: 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.
Key words:
component,
dynamic evolution,
behavior consistency,
process algebra,
initiate request interface
中图分类号:
马 川;申利民;王 涛. 基于构件动态演化的行为一致性验证方法[J]. 计算机工程, 2010, 36(06): 80-83.
MA Chuan; SHEN Li-min; WANG Tao. Behavior Consistency Verification Method Based on Component Dynamic Evolution[J]. Computer Engineering, 2010, 36(06): 80-83.