Semantics and analysis of business process models in BPMN

被引：418
作者：
Dijkman, Remco M. [2 ]
Dumas, Marlon [1 ,3 ]
Ouyang, Chun [1 ]
机构：
[1] Queensland Univ Technol, Fac Informat Technol, Brisbane, Qld 4001, Australia
[2] Eindhoven Univ Technol, Dept Technol Management, NL-5600 MB Eindhoven, Netherlands
[3] Univ Tartu, Inst Comp Sci, EE-50409 Tartu, Estonia
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 2008年 / 50卷 / 12期
关键词：
Business process modelling and analysis; BPMN; Petri nets;
D O I：
10.1016/j.infsof.2008.02.006
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with semantic errors. Such errors are especially serious, because errors in the early phases of systems development are among the most costly and hardest to correct. The ability to statically check the semantic correctness of models is thus a desirable feature for modelling tools based on BPMN. Accordingly, this paper proposes a mapping from BPMN to a formal language, namely Petri nets, for which efficient analysis techniques are available. The proposed mapping has been implemented as a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMN models. The formalisation also led to the identification of deficiencies in the BPMN standard specification. (c) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：1281 / 1294
页数：14
相关论文
共 23 条
  • [1] [Anonymous], 7115 QUEENSL U TECHN
  • [2] [Anonymous], BUS PROC MOD NOT BPM
  • [3] Billington J, 2003, LECT NOTES COMPUT SC, V2679, P483
  • [4] DIJKMAN RM, 2006, WP181 BETA EINDH U T
  • [5] *FORM SYST EUR LTD, 1998, FAIL DIV REF FDR2 US
  • [6] Hinz S, 2005, LECT NOTES COMPUT SC, V3649, P220, DOI 10.1007/11538394_15
  • [7] JORDAN D, 2007, WEB SERVICES BUSINES
  • [8] Fundamentals of control flow in workflows
    Kiepuszewski, B
    ter Hofstede, AHM
    van der Aalst, WMP
    [J]. ACTA INFORMATICA, 2003, 39 (03) : 143 - 209
  • [9] Lu SY, 2006, THEOR COMPUT SCI, V353, P71, DOI 10.1016/j.tcs.2005.10.035
  • [10] *OMG, 2005, UN MOD LANG SUP UML
123