| 基于构件动态演化的行为一致性验证方法 |
| |
| 引用本文： | 马川,申利民,王涛.基于构件动态演化的行为一致性验证方法[J].计算机工程,2010,36(6):80-83. |
| |
| 作者姓名： | 马川 申利民 王涛 |
| |
| 作者单位： | 1. 燕山大学信息科学与工程学院,秦皇岛,066004
2. 河北科技师范学院欧美学院,秦皇岛,066004 |
| |
| 基金项目： | 国家自然科学基金资助项目(60873008);;河北省自然科学基金资助项目(F2008000861) |
| |
| 摘 要： | 为了保证构件在动态演化中的行为一致性，避免不合法的构件演化，提出一种基于进程代数的构件模型，引入对外主动请求接口和内部连接，形式化描述构件及其对外交互协议，给出相关定理和验证算法。实例证明，该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性，以及运行时行为完整性。
|
| 关 键 词： | 构件 动态演化 行为一致性 进程代数 主动请求接口 |
| 修稿时间： | |
Behavior Consistency Verification Method Based on Component Dynamic Evolution |
| |
| MA Chuan,SHEN Li-min,WANG Tao.Behavior Consistency Verification Method Based on Component Dynamic Evolution[J].Computer Engineering,2010,36(6):80-83. |
| |
| Authors: | MA Chuan SHEN Li-min WANG Tao |
| |
| Affiliation: | (1. College of Information Science and Engineering, Yanshan University, Qinhuangdao 066004;2. E&A College, Hebei Normal University of Science & Technology, Qinhuangdao 066004) |
| |
| 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. |
| |
| Keywords: | component dynamic evolution behavior consistency process algebra initiate request interface |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
