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

Automatic Generation of Petri Net for Web Services Composition

作　　者：马炳先[1,2] 相东明 张正明 

机构地区：[1]山东省网络环境智能计算技术重点实验室,济南250022 [2]济南大学信息科学与工程学院,济南250022

出　　处：《小型微型计算机系统》2013年第2期332-337,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60903099)资助;山东省优秀中青年科学家奖励基金项目(BS2009DX012)资助;山东省高等学校科技计划项目(J09LG14)资助

摘　　要：针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(OntologyWeb Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.Automatic approach to get Petri net model of web service composition is put forward in this paper. Each web service within the web service composition has its Petli net that described in PNML （ Petri net Markup Language） ＋ OWL （ Ontology Web Lan- guage） ,where PNML part describes the Petri net structure and OWL part shows out their domain ontology definitions （ semantic markups） of place elements within the Petri net. Based on the input/output interaction related places elements among web service Pe- tri nets, through place fusion operation, merging sub-web service Petal nets, we can get the Petri net model of web service composi- tion, this work proposes the necessary precondition for practical application of Petri net in the context of service computing.

关 键 词：WEB服务 PETRI网 PNML OWL 服务组合 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]