Abstract
Notwithstanding the business process modelling notation (BPMN) has gained increasing popularity in the context of business process management; a foundation for verifying the equivalences of BPMN processes remains an open research problem. The capacity to prove that two structurally different graphical representations of a business process are behaviourally equivalent using mathematical founded methods is important during the modelling and design of workflows. In this study, various forms of equivalences are formally defined and studied.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
OMG (2006) Business process modeling notation specification, February 2006. http://www.bpmn.org/. Accessed 28 December 2007
OMG (2008) Business process modeling notation, v1.1, January 2008. http://www.bpmn.org/. Accessed 7 January 2009
Havey M (2005) Essential business process modeling. O’Reilly Media, Inc., Sebastopol
Bog A, Puhlmann F, Weske M (2007) 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 17 February 2008
Bog A, Puhlmann F (2006) 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/PiSimulator_openBPM.pdf. Accessed 9 January 2009
Bog A (2006) Introduction to the PiVizTool. Hasso Plattner Institute, University of Potsdam, 2006. http://bpt.hpi.uni-potsdam.de/pub/Piworkflow/Simulator/piviztool-intro.pdf. Accessed 13 January 2009
Bog A (2006) 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 13 January 2009
Puhlmann F (2007) Soundness verification of business processes specified in the pi-calculus. In: CoopIS 2007. LNCS, vol 4803, pp 6–23
Briais S (2005) The ABC User’s Guide, 2005. http://lamp.epfl.ch/~sbriais/abc/abc_ug.pdf. Accessed 17 February 2008
Ou-Yang C, Lin YD (2008) BPMN-based business process model feasibility analysis: A Petri Net approach. Int J Prod Res 46(14): 3763–3781
Ratzer AV, Wells L, Lassen HM, Laursen M, Qvortrup JF, Stissing MS, Westergaard M, Christensen S, Jensen K (2003) CPN tools for editing, simulating, and analysing coloured petri nets. In: ICATPN 2003. LNCS, vol 2679. Springer, Berlin, pp 450–462
Raedts I, Petkovic M, Usenko YS, van der Werf JM, Groote JF, Somers L (2007) Transformation of BPMN models for behaviour analysis. In: MSVVEIS 2007, pp 126–137
Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and analysis of BPMN process models using Petri Nets. Preprint (2007); available at http://eprints.qut.edu.au/archive/00007115/01/7115.pdf. Accessed 6 July 2008
Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and automated analysis of BPMN process models. Preprint (2007); available at http://eprints.qut.edu.au/archive/00006859/. Accessed 6 July 2008
Wong PYH, Gibbons J (2008) A process semantics for BPMN. In: Proceedings of 10th international conference on formal engineering methods. LNCS 5256, pp 355–374
Hoare CAR (1985) Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs
Formal Systems (Europe) Ltd. (2003) Failures-divergence refinement: FDR2 user manual, May 2003. http://www.fsel.com/fdr2_download.html. Accessed 20 January 2005
Gruber W (2003) Modelling and transformation of workflows with temporal constraints. PhD thesis, Vienna University of Technology, 2003. http://www.isys.uni-klu.ac.at/PDF/2003-0178-WLG.pdf. Accessed 13 January 2009
Eder J, Gruber W, Pichler H (2005) Transforming workflow graphs. In: First international conference on interoperability of enterprise software and applications, pp 23–25
Lam VSW (2008) Theory for classifying equivalences of UML activity diagrams. IET Softw J 2(5): 391–403
Lam VSW Formal analysis of BPMN models: a NuSMV-based approach. (submitted)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lam, V.S.W. Equivalences of BPMN processes. SOCA 3, 189–204 (2009). https://doi.org/10.1007/s11761-009-0048-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11761-009-0048-5