计算机工程 ›› 2010, Vol. 36 ›› Issue (06): 80-83.doi: 10.3969/j.issn.1000-3428.2010.06.026

• 软件技术与数据库 • 上一篇    下一篇

基于构件动态演化的行为一致性验证方法

马 川1,申利民1,王 涛2   

  1. (1. 燕山大学信息科学与工程学院,秦皇岛 066004;2. 河北科技师范学院欧美学院,秦皇岛 066004)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-03-20 发布日期:2010-03-20

Behavior Consistency Verification Method Based on Component Dynamic Evolution

MA Chuan1, SHEN Li-min1, WANG Tao2   

  1. (1. College of Information Science and Engineering, Yanshan University, Qinhuangdao 066004;2. E&A College, Hebei Normal University of Science & Technology, Qinhuangdao 066004)
  • Received:1900-01-01 Revised:1900-01-01 Online:2010-03-20 Published:2010-03-20

摘要: 为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。

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

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

中图分类号: