|
|||||
|
|
| BPEL到PNML文件转换框架的设计与实现 | |
| 作者单位： | ;1.滁州学院计算机与信息工程学院 |
| 摘 要： | 针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。 |
DESIGN AND IMPLEMENTATION OF FRAMEWORK FOR FILE CONVERSION FROM BPEL TO PNML |
|
| Abstract: | |
| Keywords: | Web服务组合 Petri网 BPEL4WS PNML |