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 条
  • [11] OMG, 2002, OMG XML MET INT XMI
  • [12] OUYANG C, INT J WEB S IN PRESS
  • [13] Formal semantics and analysis of control flow in WS-BPEL
    Ouyang, Chun
    Verbeek, Eric
    van der Aalst, Wil M. P.
    Breutel, Stephan
    Dumas, Marlon
    ter Hofstede, Arthur H. M.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 67 (2-3) : 162 - 198
  • [14] Puhlmann F, 2006, LECT NOTES COMPUT SC, V4102, P145
  • [15] van der Aalst W. M. P., 2002, DAIMI, V560, P1
  • [16] YAWL: yet another workflow language
    van der Aalst, WMP
    ter Hofstede, AHM
    [J]. INFORMATION SYSTEMS, 2005, 30 (04) : 245 - 275
  • [17] Verification of workflow task structures: A Petri-net-based approach
    van der Aalst, WMP
    ter Hofstede, AHM
    [J]. INFORMATION SYSTEMS, 2000, 25 (01) : 43 - 69
  • [18] Workflow patterns
    Van der Aalst, WMP
    Ter Hofstede, AHM
    Kiepuszewski, B
    Barros, AP
    [J]. DISTRIBUTED AND PARALLEL DATABASES, 2003, 14 (01) : 5 - 51
  • [19] Formalization and verification of event-driven process chains
    van der Aalst, WMP
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) : 639 - 650
  • [20] van Dongen BF, 2005, LECT NOTES COMPUT SC, V3536, P444
123