Equivalences of BPMN processes

Service Oriented Computing and Applications

Volumn 3, Issue 3, 2009, Pages 189-204

  Lam, V S W ^a  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

BPMN; Equivalence classification; Process equivalence

Indexed keywords

BPMN; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESS MODELLING; EQUIVALENCE CLASSIFICATION; GRAPHICAL REPRESENTATIONS; PROCESS EQUIVALENCE; RESEARCH PROBLEMS; WORK-FLOWS;

GRAPHIC METHODS;

ENTERPRISE RESOURCE MANAGEMENT;

EID: 70349478628     PISSN: 18632386     EISSN: 18632394     Source Type: Journal    
DOI: 10.1007/s11761-009-0048-5     Document Type: Article

References (21)

1. OMG (2006) Business process modeling notation specification, February 2006. http://www.bpmn.org/. Accessed 28 December 2007
2. OMG (2008) Business process modeling notation, v1.1, January 2008. http://www.bpmn.org/. Accessed 7 January 2009
3. Havey M (2005) Essential business process modeling. O'Reilly Media, Inc., Sebastopol
4. 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
5. 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
6. 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
7. 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
8. Puhlmann F (2007) Soundness verification of business processes specified in the pi-calculus. In: CoopIS 2007. LNCS, vol 4803, pp 6-23
9. Briais S (2005) The ABC User's Guide, 2005. http://lamp.epfl.ch/~sbriais/abc/abc_ug.pdf. Accessed 17 February 2008
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. Hoare CAR (1985) Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs
17. Formal Systems (Europe) Ltd. (2003) Failures-divergence refinement: FDR2 user manual, May 2003. http://www.fsel.com/fdr2_download.html. Accessed 20 January 2005
18. 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
19. Eder J, Gruber W, Pichler H (2005) Transforming workflow graphs. In: First international conference on interoperability of enterprise software and applications, pp 23-25
20. Lam VSW (2008) Theory for classifying equivalences of UML activity diagrams. IET Softw J 2(5): 391-403
21. Lam VSW Formal analysis of BPMN models: a NuSMV-based approach. (submitted)