A Precise Execution Semantics for BPMN

IAENG International Journal of Computer Science

Volumn 39, Issue 1, 2012, Pages 20-33

  Lam, Vitus S W ^a  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Behavioural semantics; BPMN; Execution semantics; Linear temporal logic

Indexed keywords

BPMN; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; ENCODINGS; EXECUTION SEMANTICS; FORMAL ANALYSIS; HIGH CONFIDENCE; LINEAR TEMPORAL LOGIC; PROTOTYPICAL IMPLEMENTATION;

EMBEDDED SYSTEMS; ENTERPRISE RESOURCE MANAGEMENT; SEMANTICS; TEMPORAL LOGIC;

ADMINISTRATIVE DATA PROCESSING;

EID: 84860772654     PISSN: 1819656X     EISSN: 18199224     Source Type: Journal    
DOI: None     Document Type: Article

References (47)

1. OMG, " Business process modeling notation, v1.1," Jan. 2008, http://www.bpmn.org/; accessed January 7, 2009.
2. S. White and D. Miers, BPMN Modeling and Reference Guide. Future Strategies Inc., 2008.
3. OMG, " Business process modeling notation, v1.2," Jan. 2009, http://www.bpmn.org/; accessed February 13, 2010.
4. O. M. Group, " OMG unified modeling languageTM(OMG UML), superstructure version 2.2," Feb. 2009, http://www.omg.org/spec/UML/2.2/Superstructure; accessed Feb 13, 2010.
5. E. Clarke, O. Grumberg, and D. Peled, Model Checking. MIT Press, 1999.
6. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd ed. Cambridge University Press, 2004.
7. I. Raedts, M. Petkovic, Y. Usenko, J. van der Werf, J. Groote, and L. Somers, " Transformation of BPMN models for behaviour analysis," in MSVVEIS 2007, 2007, pp. 126-137.
8. R. Dijkman, M. Dumas, and C. Ouyang, " Semantics and analysis of business process models in BPMN," Information and Software Technology, vol. 50, no. 12, pp. 1281-1294, 2008.
9. A. Ratzer, L. Wells, H. Lassen, M. Laursen, J. Qvortrup, M. Stissing, M. Westergaard, S. Christensen, and K. Jensen, " CPN tools for editing, simulating, and analysing coloured petri nets." in ICATPN 2003, ser. LNCS 2679. Springer-Verlag, 2003, pp. 450-462.
10. C. Ou-Yang and Y. Lin, " BPMN-based business process model feasibility analysis: A Petri Net approach," International Journal of Production Research, vol. 46, no. 14, pp. 3763-3781, 2008.
11. R. Milner, J. Parrow, and D. Walker, " A calculus of mobile process (Parts I and II)," Information and Computation, vol. 100, pp. 1-77, 1992.
12. R. Milner, " The polyadic π-calculus: A tutorial," in Logic and Algebra of Specification, Proceedings of International NATO Summer School, vol. 94. Springer-Verlag, 1993, pp. 203-246.
13. C. Hoare, Communicating Sequential Processes. Prentice-Hall, 1985.
14. A. Bog, Introduction to PiVizTool, Hasso Plattner Institute, University of Potsdam, 2006, http://bpt.hpi.uni-potsdam.de/pub/Piworkflow/Simulator/piviztool-intro.pdf; accessed January 13, 2009.
15. A. Bog, " A visual environment for the simulation of business processes based on the pi-calculus," Master's thesis, Hasso Plattner Institute, University of Potsdam, 2006, http://bpt.hpi.uni-potsdam.de/pub/Public/FrankPuhlmann/AnjaBogThesisFinal.pdf; accessed January 13, 2009.
16. A. Bog and F. Puhlmann, " A tool for the simulation of π-calculus systems," in Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, 2006, http://bpt.hpi.uni-potsdam.de/pub/Public/FrankPuhlmann/PiSimulatoropenBPM.pdf; accessed January 9, 2009.
17. A. Bog, F. Puhlmann, and M. Weske, " The PiVizTool: Simulating choreographies with dynamic binding," in Demo Session of the 5th International Conference on Business Process Management, 2007, http://bpt.hpi.uni-potsdam.de/pub/Public/FrankPuhlmann/bpm2007-piviztool.pdf; accessed February 17, 2008.
18. F. Puhlmann, " Soundness verification of business processes specified in the pi-calculus," in CoopIS 2007, ser. LNCS 4803, 2007, pp. 6-23.
19. S. Briais, The ABC User's Guide, 2005, http://lamp.epfl.ch/~sbriais/abc/abcug.pdf; accessed February 17, 2008.
20. P. Wong and J. Gibbons, " A process semantics for BPMN," in Proceedings of the 10th International Conference on Formal Engineering Methods, ser. LNCS 5256, 2008, pp. 355-374.
21. P. Wong and J. Gibbons, " Verifying business process compatibility," in Proceedings of the 8th International Conference on Quality Software, 2008, pp. 126-131.
22. F. S. E. Ltd., Failures-Divergence Refinement: FDR2 User Manual, May 2003, http://www.fsel.com/fdr2download.html; accessed January 20, 2005.
23. P. Wong and J. Gibbons, " A relative timed semantics for BPMN," Electronic Notes in Theoretical Computer Science, vol. 229, no. 2, pp. 59-75, 2009.
24. P. Wong and J. Gibbons, " Formalisations and applications of BPMN," Science of Computer Programming, 2009.
25. R. Cavada, A. Cimatti, E. Olivetti, M. Pistore, and M. Roveri, NuSMV 2.1 User Manual, 2002, http://nusmv.irst.itc.it; accessed January 20, 2005.
26. V. Lam, " Formal analysis of BPMN models: A NuSMV-based approach," International Journal of Software Engineering and Knowledge Engineering, vol. 20, no. 7, pp. 987-1023, 2010.
27. M. Dumas, A. Grosskopf, T. Hettel, and M. Wynn, " Semantics of standard process models with OR-joins," in OTM 2007, ser. LNCS 4803, 2007, pp. 41-58.
28. E. B̈orger and B. Thalheim, " A method for verifiable and validatable business process modeling," in Advances in Software Engineering, Lipari Summer School 2007, ser. LNCS 5316, 2008, pp. 59-115.
29. A. Grosskopf, " xBPMN: Formal control flow specification of a BPMN-based process execution language," Master's thesis, Hasso Plattner Institute, University of Potsdam, 2007, http://www.myhpi.de/~alexander.grosskopf/xBPMNthesis.pdf; accessed November 14, 2010.
30. V. Lam, " Equivalences of BPMN processes," Service Oriented Computing and Applications, vol. 3, no. 3, pp. 189-204, 2009.
31. D. Auer, V. Geist, and D. Draheim, " Extending BPMN with submit/response-style user interaction modeling," in CEC 2009, 2009, pp. 368-374.
32. S. Mazanek and M. Hanus, " Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language," Journal of Visual Languages and Computing, vol. 22, no. 1, pp. 66-89, 2011.
33. L. Sánchez-González, F. Ruiz, F. García, and J. Cardoso, " Towards thresholds of control flow complexity measures for BPMN models," in SAC '11, 2011, pp. 1445-1450.
34. O. Kopp, F. Leymann, D. Schumm, and T. Unger, " On BPMN process fragment auto-completion," in ZEUS 2011, 2011, pp. 58-64.
35. R. M̈uller and A. Rogge-Solti, " BPMN for healthcare processes," in ZEUS 2011, 2011, pp. 65-72.
36. F. Maggi, M. Montali, M. Westergaard, and W. van der Aalst, " Monitoring business constraints with linear temporal logic: An approach based on colored automata," in BPM 2011, ser. LNCS 6896, 2011, pp. 132-147.
37. M. Gambini, M. La Rosa, S. Migliorini, and A. ter Hofstede, " Automated error correction of business process models," in BPM 2011, ser. LNCS 6896, 2011, pp. 148-165.
38. R. Jagadeesh Chandra Bose and W. van der Aalst, " Abstractions in process mining: A taxonomy of patterns," in BPM 2009, ser. LNCS 5701, 2009, pp. 159-175.
39. J. Carmona, J. Cortadella, and M. Kishinevsky, " Divide-and-conquer strategies for process mining," in BPM 2009, ser. LNCS 5701, 2009, pp. 327-343.
40. R. Jagadeesh Chandra Bose and W. van der Aalst, " Trace alignment in process mining: Opportunities for process diagnostics," in BPM 2010, ser. LNCS 6336, 2010, pp. 227-242.
41. D. Fahland and W. van der Aalst, " Simplifying mined process models: An approach based on unfoldings," in BPM 2011, ser. LNCS 6896, 2011, pp. 362-378.
42. M. Pesic, H. Schonenberg, and W. van der Aalst, " Declarative workflow," in Modern Business Process Automation, 2010, pp. 175-201.
43. M. Westergaard, " Better algorithms for analyzing and enacting declarative workflow languages using LTL," in BPM 2011, ser. LNCS 6896, 2011, pp. 83-98.
44. R. Khalaf and F. Leymann, " Coordination for fragmented loops and scopes in a distributed business process," in BPM 2010, ser. LNCS 6336, 2010, pp. 178-194.
45. V. Lam, " Foundation for equivalences of BPMN models," submitted for publication.
46. H. V̈olzer, " A new semantics for the inclusive converging gateway in safe processes," in BPM 2010, ser. LNCS 6336, 2010, pp. 294-309.
47. OMG, " Business Process Model and Notation (BPMN), version 2.0," Jan. 2011, http://www.omg.org/spec/BPMN/2.0; accessed May 23, 2011.