Semantics and analysis of business process models in BPMN

Information and Software Technology

Volumn 50, Issue 12, 2008, Pages 1281-1294

  Dijkman, Remco M ^a   Dumas, Marlon ^b,c   Ouyang, Chun ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF TARTU   (Estonia)

^c QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

BPMN; Business process modelling and analysis; Petri nets

Indexed keywords

CONFORMAL MAPPING; ERRORS; FORMAL LANGUAGES; GRAPH THEORY; INFORMATION THEORY; MARINE BIOLOGY; PETRI NETS; PROCESS ENGINEERING; SEMANTICS;

BPMN; BUSINESS PROCESS MODELLING AND ANALYSIS; BUSINESS PROCESSES; SYSTEMS DEVELOPMENT;

STATIC ANALYSIS;

EID: 51449094371     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2008.02.006     Document Type: Article

References (23)

1. van der Aalst W.M.P. Formalization and verification of event-driven process chains. Information and Software Technology 41 10 (1999) 639-650
2. van der Aalst W.M.P., and ter Hofstede A.H.M. Verification of workflow task structures: a Petri-net-based approach. Information Systems 25 1 (2000) 43-69
3. W.M.P. van der Aalst, A.H.M. ter Hofstede, Workflow patterns: on the expressive power of (Petri-net-based) workflow languages (invited talk), in: Proceedings of Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), vol. 560 of DAIMI, University of Aarhus, Demark, 2002, pp. 1-20.
4. van der Aalst W.M.P., and ter Hofstede A.H.M. YAWL: yet another workflow language. Information Systems 30 4 (2004) 245-275
5. van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 3 (2003) 5-51
6. Billington J., et al. The Petri net markup language: concepts, technology, and tools. Applications and Theory of Petri Nets 2003. Lecture Notes in Computer Science vol. 2679 (2003), Springer 483-505
7. R.M. Dijkman, Choreography-Based Design of Business Collaborations. BETA Working Paper WP-181, Eindhoven University of Technology, 2006.
8. R.M. Dijkman, M. Dumas, C. Ouyang, Formal semantics and analysis of BPMN process models. Technical Report Preprint 7115, Queensland University of Technology, 2007. Available from: .
9. van Dongen B., Alves de Medeiros A.K., Verbeek H.M.W., Weijters A.J.M.M., and van der Aalst W.M.P. The ProM framework: a new era in process mining tool support. Application and Theory of Petri Nets 2005. Lecture Notes in Computer Science vol. 3536 (2005), Springer 444-454
10. Formal Systems (Europe) Ltd., Failure-Divergences Refinement FDR2 User Manual, 1998.
11. S. Hinz, K. Schmidt, C. Stahl, Transforming BPEL to Petri nets, in: Proceedings of the International Conference on Business Process Management (BPM'2005), of Lecture Notes in Computer Science, vol. 3649, Springer, 2005, pp. 220-235.
12. D. Jordan, J. Evdemon (Eds.), Web Services Business Process Execution Language Version 2.0. OASIS Standard, April, 2007.
13. Kiepuszewski B., ter Hofstede A.H.M., and van der Aalst W.M.P. Fundamentals of control flow in workflows. Acta Informatica 39 3 (2003) 143-209
14. Lu S., Bernstein A.J., and Lewis P.M. Automatic workflow verification and generation. Theoretical Computer Science 353 1-3 (2006) 71-92
15. OMG, OMG XML Metadata Interchange (XMI) specification, Available Specification formal/02-01-01, Object Management Group, 2002.
16. OMG, Unified Modeling Language: Superstructure, UML Superstructure Specification v2.0, formal/05-07-04, Object Management Group, 2005.
17. OMG, Business Process Modeling Notation (BPMN) Version 1.0. OMG Final Adopted Specification, Object Management Group, 2006.
18. C. Ouyang, M. Dumas, A.H.M. ter Hofstede, W.M.P. van der Aalst, Pattern-based translation of BPMN process models to BPEL Web services, Accepted for publication in International Journal of Web Services Research, Idea Group Publishing. Technical report version available via: .
19. Ouyang C., Verbeek H.M.W., van der Aalst W.M.P., Breutel S., Dumas M., and ter Hofstede A.H.M. Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming 67 2-3 (2007) 162-198
20. F. Puhlmann, Matthias Weske, Investigations on soundness regarding lazy activities, in: Proceedings of the International Conference on Business Process Management (BPM'2006), Lecture Notes in Computer Science, vol. 4102, Springer, 2006, pp. 145-160.
21. WFMC, Workflow Management Coalition Workflow Standard: Workflow Process Definition Interface - XML Process Definition Language (XPDL), Technical Report, Workflow Management Coalition, 2002, Lighthouse Point, Florida, USA, 2002.
22. P.Y.H. Wong, J. Gibbons. A Process Semantics for BPMN. Preprint, Oxford University Computing Laboratory, 2007. Available from: .
23. Wynn M.T., Edmond D., van der Aalst W.M.P., and ter Hofstede A.H.M. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. Applications and Theory of Petri Nets 2005. Lecture Notes in Computer Science vol. 3536 (2005), Springer-Verlag 423-443