基于Petri网的语义Web服务流程一致性验证

摘要：

提出一种基于Petri 网的语义Web 服务流程一致性验证方法.该方法将语义Web 服务流程转换为Petri 网模型,通过分析Petri 网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2 个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性.通过一个实际案例验证了该方法的正确性和有效性.

关键词：语义Web服务、Web服务流程验证、业务流程建模、Petri网

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家"863"计划基金资助项目2007AA01Z130;天津市应用基础研究基金资助重点项目08JCZDJC19800

在线出版日期：2010-12-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：27-30