Web服务组合的Petri网自动生成方法

摘要：

　　本文针对Petri网理论与方法在服务计算中的应用，从Web服务执行的角度，在定义Web服务组合的Petri网的基础上，给出Web服务组合的Petri网的自动生成方法。首先对Web服务的Petri网描述，通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签，得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL (Ontology Web Language)描述，其中PNML部分描述Petri网的网结构，OWL部分描述Petri网中各库所元素的语义标记；进一步，在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上，确定各子Web服务的Petri网之间的可融合库所，通过执行可融合库所之间的库所融合操作，将各子Web服务的Petri网合并得到Web服务组合的Petri网，为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提。

关键词： 计算机网络 网络服务 程序设计 语义标签

作者: 马炳先 相东明 张正明

作者单位: 山东省网络环境智能计算技术重点实验室,山东 济南 250022 济南大学 信息科学与工程学院,山东 济南 250022 山东省网络环境智能计算技术重点实验室,山东 济南 250022

会议类型: 国内会议

会议名称: 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

会议地点: 济南

会议语种:中文

页码: 1-9

在线出版日期: 2011-08-18（万方平台首次上网日期，不代表论文的发表时间）