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

∗ Web服务组合的Petri 网自动生成方法  1+，2 1 1 马炳先 , 相东明 , 张正明 (山东省网络环境智能计算技术重点实验室,山东 济南 250022)1 (济南大学 信息科学与工程学院,山东 济南 250022)2 摘 要： 针对 Petri 网理论与方法在服务计算中的应用，从Web 服务执行的角度，在定义 Web 服务 组合的 Petri 网的基础上，给出Web 服务组合的 Petri 网的自动生成方法。首先对Web 服务的 Petri 网 描述，通过利用 Web 服务的输入、输出等元素的本体定义为 Petri 网中相应库所元素添加语义标签， 得到 Web 服务的 Petri 网的PNML(Petri net Markup Language)+OWL (Ontology Web Langua