| 着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 |
| |
| 引用本文： | 门鹏,段振华.着色Petri网模型检测工具的扩展及其在Web服务组合中的应用[J].计算机研究与发展,2009,46(8). |
| |
| 作者姓名： | 门鹏 段振华 |
| |
| 作者单位： | 西安电子科技大学计算理论与技术研究所,西安,710071 |
| |
| 基金项目： | 国家自然科学基金项目，教育部高等学校博士学科点基金项目 |
| |
| 摘 要： | Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具--CPN Tools--中使用ML(meta language)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的.
|
| 关 键 词： | 着色Petri网 Web服务组合 形式化验证 模型检测 时序逻辑 |
Extension of Model Checking Tool of Colored Petri Nets and Its Applications in Web Service Composition |
| |
| Men Peng,Duan Zhenhua.Extension of Model Checking Tool of Colored Petri Nets and Its Applications in Web Service Composition[J].Journal of Computer Research and Development,2009,46(8). |
| |
| Authors: | Men Peng Duan Zhenhua |
| |
| Affiliation: | Institute of Computing Theory and Technology;Xidian University;Xi'an 710071 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
