基于Petri网的Web服务组合建模与验证

• 作者: 丁冲冲 李婷婷
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: WEB服务 PETRI网 可达树 WEB服务组合 验证
• 年，卷（期）: 2014,（5X）
• 页码范围: 3509-3511
• 页数: 3页
• 分类号: TP393.09

摘要

该文首先提出了基于Petri网的Web服务组合建模方法,对服务组合进行形式化建模,然后采用可达树作为分析工具,对服务组合模型的可达性,活性,有界性等特性进行验证分析。最后通过一个具体的实例说明此方法的应用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁冲冲	南京财经大学信息工程学院	5	6	1.0	2.0
2	李婷婷	南京财经大学信息工程学院	6	12	2.0	3.0