基于扩展Petri网模型的BPMN形式化

作     者：李宗花 周晓峰 吴克力 陈伏兵 LI Zong-hua;ZHOU Xiao-feng;WU Ke-li;CHEN Fu-bing

作者机构：河海大学计算机与信息学院南京211100 淮阴师范学院计算机科学与技术学院淮安223300 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2016年第43卷第11期

页      面：40-48页

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家科技支撑计划(2013BAB05B00 2013BAB06B04) 国家自然科学基金(41471425) 淮安市科技支撑计划(HAS2015005-1)资助 

主　　题：BPMN模型 模型形式化 Petri网 模型转换 

摘      要：BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。