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

• 作者: 吴克力 周晓峰 李宗花 陈伏兵
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: BPMN模型 模型形式化 Petri网 模型转换
• 年，卷（期）: 2016,（11）
• 页码范围: 40-48
• 页数: 9页
• 分类号: TP301
• 字数: 8493字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.11.008

摘要

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的执行结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周晓峰	河海大学计算机与信息学院	36	446	9.0	20.0
2	吴克力	淮阴师范学院计算机科学与技术学院	29	75	5.0	7.0
3	李宗花	河海大学计算机与信息学院	13	48	5.0	6.0
5	陈伏兵	淮阴师范学院计算机科学与技术学院	14	448	9.0	14.0