| 一种有效的分布式构件交互性质验证方法 |
| |
| 引用本文： | 杨琛,房鼎益,陈晓江.一种有效的分布式构件交互性质验证方法[J].西北大学学报,2007,37(3):384-388. |
| |
| 作者姓名： | 杨琛 房鼎益 陈晓江 |
| |
| 作者单位： | 西北大学信息科学与技术学院 陕西西安710127 |
| |
| 基金项目： | 陕西省自然科学基金;航空基础科学基金 |
| |
| 摘 要： | 目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法——状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响应交互模型作为例证,证明上述算法比传统算法更有效。结论该算法缩小了组合模型的状态空间,提高了验证效率。
|
| 关 键 词： | 分布式系统 构件交互 π-演算 标记转移系统 活性 安全性 |
| 文章编号： | 1000-274X（2007）03-0384-05 |
| 修稿时间： | 2006-01-12 |
A new verification method of distributed component interaction |
| |
| YANG Chen,FANG Ding-yi,CHEN Xiao-jiang.A new verification method of distributed component interaction[J].Journal of Northwest University(Natural Science Edition),2007,37(3):384-388. |
| |
| Authors: | YANG Chen FANG Ding-yi CHEN Xiao-jiang |
| |
| Abstract: | |
| |
| Keywords: | labelled transition system w-calculus liveness property safety property component interaction protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
