摘要
针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。
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.
出处
《计算机应用与软件》
CSCD
北大核心
2013年第5期60-64,共5页
Computer Applications and Software
基金
国家自然科学基金项目(61170059)
安徽省高校省级科学研究项目(KJ2011B117
KJ2012Z282)
滁州学院自然科学基金资助项目(2010KJ016B
2011KJ008B)
