基于Petri网的Web服务组合模型描述和验证

• 作者: 孙亚民 张佩云 黄波
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: Web服务 Petri网 服务组合 服务组合验证
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 短文
• 页码范围: 2872-2876
• 页数: 5页
• 分类号: TP391
• 字数: 5335字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2007.12.060

摘要

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙亚民	南京理工大学计算机科学与技术学院	117	1149	19.0	28.0
2	张佩云	南京理工大学计算机科学与技术学院	12	218	7.0	12.0
3	黄波	南京理工大学计算机科学与技术学院	37	257	8.0	15.0