| 基于进程代数的构件动态演化行为一致性研究 |
| |
| 引用本文： | 申利民,马川,王涛. 基于进程代数的构件动态演化行为一致性研究[J]. 计算机应用研究, 2009, 26(4): 1345-1348 |
| |
| 作者姓名： | 申利民 马川 王涛 |
| |
| 作者单位： | 燕山大学,信息科学与工程学院,河北,秦皇岛,066004;燕山大学,信息科学与工程学院,河北,秦皇岛,066004;燕山大学,信息科学与工程学院,河北,秦皇岛,066004 |
| |
| 基金项目： | 河北省自然科学基金资助项目（F2008000861） |
| |
| 摘 要： | 为了保证构件在动态演化时的行为一致性，提出了一种基于进程代数的构件模型，形式化描述了构件及其对外交互协议，引入了对外主动请求接口和内部连接，并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后，通过一个构件化系统的实例来说明所提出方法的可行性。
|
| 关 键 词： | 构件 动态演化 进程代数 行为一致性 主动请求接口 |
Research on behavioral consistency of component dynamic evolution based on process algebra |
| |
| SHEN Li-min,MA Chuan,WANG Tao. Research on behavioral consistency of component dynamic evolution based on process algebra[J]. Application Research of Computers, 2009, 26(4): 1345-1348 |
| |
| Authors: | SHEN Li-min MA Chuan WANG Tao |
| |
| Affiliation: | Information Science & Engineering Institute;Yanshan University;Qinhuangdao Hebei 066004;China |
| |
| Abstract: | To ensure behavioral consistency of components during dynamic evolution, defined a component model based on process algebra which formally specified the components and their interaction behaviors. Introduced the initiate request port and internal connection into the model, and then presented a set of rules and arithmetic to verify the behavioral consistency. Finally, presented an example of component-based system to illustrate the feasibility of the approach. |
| |
| Keywords: | component dynamic evolution process algebra(PA) behavioral consistency initiate request port |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
