摘要
设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.
The research presents a Petri Net-based modeling and verification approach for BPEL process. The translation is guided by the syntax of BPEL. Where each is translated into a Petri net pattern and the collection of pattern forms Petri Net semantics for BPEL. After the transformation, Petri Net modeling is saved in PNML document which is the standard interchange format of Petri net. Petri net tools which support PNML file as input can be used to verify the process. And this guarantees that the problems of BPEL process such as unreachable activity can be detected before it is deployed. This research result using the Petri Net-based verification approach for Web services composition can enssure the correctness of Web services composition flow design and enhance the reliability of Web services composition.
出处
《西安建筑科技大学学报（自然科学版）》
CSCD
北大核心
2012年第2期295-299,共5页
Journal of Xi'an University of Architecture & Technology(Natural Science Edition)
基金
国家2008年下一代互联网业务试商用及设备产业化专项(CNGI2008-060)
国家科技支撑计划资助项目(2008BAH37B05060)
