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

DESIGN AND IMPLEMENTATION OF FRAMEWORK FOR FILE CONVERSION FROM BPEL TO PNML

作　　者：刘士喜[1] 胡晓静[1] 

机构地区：[1]滁州学院计算机与信息工程学院,安徽滁州239000

出　　处：《计算机应用与软件》2013年第5期60-64,共5页Computer Applications and Software

基　　金：国家自然科学基金项目(61170059);安徽省高校省级科学研究项目(KJ2011B117;KJ2012Z282);滁州学院自然科学基金资助项目(2010KJ016B;2011KJ008B)

摘　　要：针对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.

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

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