Getting rid of the OR-join in business process models

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2007, Pages 3-14

  Mendling, J ^a   Van Dongen, B F ^b   Van Der Aalst, W M P ^b  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; GALLIUM ALLOYS; GRAPH THEORY; INFORMATION THEORY; LINGUISTICS; PETRI NETS; PROCESS MONITORING;

BUSINESS PROCESS MODELS; CONCEPTUAL LEVELS; CONCEPTUAL MODELS; CONCEPTUAL PROCESSES; EXECUTABLE MODELS; EXECUTION LANGUAGES; NEW APPROACHES; PETRI NET; PROCESS MODELING LANGUAGES; PROCESS MODELS; WORKFLOW SPECIFICATIONS;

OPERATING ROOMS;

EID: 47949102476     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2007.4383977     Document Type: Conference Paper

References (34)

1. W.M.P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639-650, 1999.
2. W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4): 245-275, 2005.
3. W.M.P. van der Aalst, V. Rubin, B.F. van Dongen, E. Kindler, and C.W. Günther. Process Mining: A Two-Step Approach using Transition Systems and Regions. BPM Center Report BPM-06-30, BPMcenter.org, 2006.
4. A. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M. Ford, Y. Goland, A. Guizar, N. Kartha, C.K. Liu, R. Khalaf, D. Koenig, M. Marin, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu. Web services business process execution language version version 2.0. Committee specification 31 January 2007, OASIS, 2007.
5. E. Badouel, L. Bernardinello, and P. Darondeau. The Synthesis Problem for Elementary Net Systems is NP-complete. Theoretical Computer Science, 186(1-2): 107-134, 1997.
6. E. Badouel and P. Darondeau. Theory of regions. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 529-586. Springer-Verlag, Berlin, 1998.
7. P. Barborka, L. Helm, G. Köldorfer, J. Mendling, G. Neumann, B.F. van Dongen, H.M.W. Verbeek, and W.M.P. van der Aalst. Integration of EPC-related Tools with ProM. In M. Nüttgens and F.J. Rump and J. Mendling, editor, Proceedings of the 5th GI Workshop on Business Process Management with Event-Driven Process Chains (EPK 2006), pages 105-120, Vienna, Austria, December 2006. German Informatics Society.
8. N. Busi and R. Gorrieri. A Survey on Non-interference with Petri Nets. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 328-344. Springer, 2004.
9. R. Chen and A. W. Scheer. Modellierung von Prozessketten mittels Petri-Netz-Theorie. Heft 107, Institut für Wirtschaftsinformatik, Saarbrücken, Germany, 1994.
10. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. A Region-based Theory for State Assignment in Speed- independent Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 16(8):793-812, 1997.
11. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Petrify: a Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Transactions on Information and Systems, E80-D(3):315-325, March 1997.
12. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers, 47(8):859-882, August 1998.
13. J. Dehnert and W.M.P. van der Aalst. Bridging The Gap Between Business Models And Workflow Specifications. International J. Cooperative Inf. Syst., 13(3):289-332, 2004.
14. J. Desel and W. Reisig. The Synthesis Problem of Petri Nets. Acta Informatica, 33(4):297-315, 1996.
15. B.F. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
16. M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, 2005.
17. A. Ehrenfeucht and G. Rozenberg. Partial (Set) 2-Structures - Part 1 and Part 2. Acta Informatica, 27(4):315-368, 1989.
18. G. Keller, M. Nüttgens, and A.-W. Scheer. Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerter Prozessketten (EPK)". Heft 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany, 1992.
19. G. Keller and T. Teufel. SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, 1998.
20. B. Kiepuszewski, A.H.M. ter Hofstede, and C. Bussler. On structured workflow modelling. In B. Wangler and L. Bergman, editors, Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings, volume 1789 of Lecture Notes in Computer Science, pages 431-445. Springer, 2000.
21. E. Kindler. On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering, 56(1):23-40, 2006.
22. P. Langner, C. Schneider, and J. Wehler. Petri Net Based Certification of Event driven Process Chains. In J. Desel and M. Silva, editor, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 286-305, 1998.
23. K.B. Lassen and W.M.P. van der Aalst. WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), volume 4275 of Lecture Notes in Computer Science, pages 127-144. Springer-Verlag, Berlin, 2006.
24. F. Leymann and W. Altenhuber. Managing business processes as an information resource. IBM Systems Journal, 33(2):326-348, 1994.
25. J. Mendling. Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration, 2007.
26. J. Mendling and W.M.P. van der Aalst. Formalization and Verification of EPCs with OR-Joins Based on State and Context. In J. Krogstie, A.L. Opdahl, and G. Sindre, editors, Proceedings of the 19th Conference on Advanced Information Systems Engineering (CAiSE 2007), volume 4495 of Lecture Notes in Computer Science, pages 439-453, Trondheim, Norway, 2007. Springer-Verlag.
27. J. Mendling, K.B. Lassen, and U. Zdun. Transformation strategies between block-oriented and graph-oriented process modelling languages. In F. Lehner, H. Nösekabel, and P. Kleinschmidt, editors, Multikonferenz Wirtschaftsinformatik 2006, XML4BPM Track, Band 2, pages 297-312, Passau, Germany, February 2006. GITO-Verlag Berlin.
28. J. Mendling, M. Moser, G. Neumann, H.M.W. Verbeek, B.F. van Dongen, and W.M.P. van der Aalst. A Quantitative Analysis of Faulty EPCs in the SAP Reference Model. BPM Center Report BPM-06-08, Eindhoven University of Technology, Eindhoven, 2006.
29. J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann. Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data and Knowledge Engineering (accepted), 2007.
30. M. Nüttgens and F.J. Rump. Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In J. Desel and M. Weske, editor, Proceedings of Promise 2002, Potsdam, Germany, volume 21 of Lecture Notes in Informatics, pages 64-77, 2002.
31. OMG, ed. Business Process Modeling Notation (BPMN) Specification. Final Adopted Specification, dtc/06-02-01, Object Management Group, February 2006.
32. F.J. Rump. Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung, Analyse und Ausführung von EPKs. Teubner Verlag, 1999.
33. A.-W. Scheer, O. Thomas, and O. Adam. Process Aware Information Systems: Bridging People and Software Through Process Technology, chapter Process Modeling Using EventDriven Process Chains, pages 119-146. Wiley Publishing, 2005.
34. W. Zhao, R. Hauser, K. Bhattacharya, B.R. Bryant, and F. Cao. Compiling business processes: untangling unstructured loops in irreducible flow graphs. Int. Journal of Web and Grid Services, 2(1):68-91, 2006.