节点文献
YAWL到BPMN的映射研究
From YAWL Nets to BPMN Models
【摘要】 针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.
【Abstract】 According to the ambiguous OR syntaxes of YAWL,a mapping algorithm from YAWL to BPMN is presented in this paper.Some patterns(e.g.involving multiple instances,complex synchronizations or non-local withdrawals) which are not easy showed by YAWL can be presented on BPMN diagrams.The transformation benefits the analysis of model because the deployment of BPMN is simplified.A mapping algorithm plug-in is integrated in open-source process mining framework named ProM 5.2.
【关键词】 YAWL；
BPMN；
形式化仿真；
软件模型转换；
【Key words】 YAWL； BPMN； formalization simulation； conversion of software models；
【Key words】 YAWL； BPMN； formalization simulation； conversion of software models；
【基金】 国家自然科学基金项目(60473030);厦门市科技局科技计划创新项目(3502Z20103027);华侨大学科研启动基金项目(09BS514);华侨大学基本科研业务费专项基金项目(JB-ZR1130)
- 【文献出处】 厦门大学学报(自然科学版) ,Journal of Xiamen University(Natural Science) , 编辑部邮箱 ,2011年04期
- 【分类号】TP311.52
- 【被引频次】1
- 【下载频次】84