BPEL到PNML文件转换框架的设计与实现

摘要

Aiming at Petri net automatic modelling issue in Web service composition process,we take Web service composition process as the studying object,adopt BPEL4WS as the Web service composition process description language,design and implement a framework for converting BPEL files to PNML (Petri net markup language) files,so as to realise automatic Petri net modelling of Web services composition process.The framework makes use of XSLT to achieve the file conversion from BPEL to PNML based on XML,and the conversion result is imported into Petri net tool which supports the PNML,the Petri net modelling is automatically implemented.The effectiveness of the framework is validated in conjunction with an example of Web service composition.%针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模.该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模.结合一个Web服务组合实例,验证该框架的有效性.