| 基于着色Petri网的BPEL建模与验证 |
| |
| 作者姓名： | 门鹏 段振华 |
| |
| 作者单位： | 1.西安电子科技大学计算机学院;2.西安电子科技大学计算机学院,陕西,西安,710071 |
| |
| 基金项目： | 国家自然科学基金;教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 目的为了保证使用商业过程执行语言（BPEL）描述的Web服务组合的正确性。方法用着色Petri网（CP-nets）对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。
|
| 关 键 词： | 着色Petri网 BPEL Web services |
| 文章编号： | 1000-274X（2007）06-0986-05 |
| 收稿时间： | 2007-03-21 |
| 修稿时间： | 2007-03-21 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《西北大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西北大学学报(自然科学版)》下载全文 |
