| 基于Petri网的Web服务组合模型描述和验证 |
| |
| 引用本文： | 张佩云,黄波,孙亚民.基于Petri网的Web服务组合模型描述和验证[J].系统仿真学报,2007,19(12):2872-2876. |
| |
| 作者姓名： | 张佩云 黄波 孙亚民 |
| |
| 作者单位： | 南京理工大学计算机科学与技术学院,南京,210094 |
| |
| 基金项目： | 教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.
|
| 关 键 词： | Web服务 Petri网 服务组合 服务组合验证 |
| 文章编号： | 1004-731X（2007）12-2872-05 |
| 收稿时间： | 2006-05-14 |
| 修稿时间： | 2006-05-142006-11-12 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
