Structural patterns for soundness of business process models

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2006, Pages 116-125

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

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; INDUSTRY; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS;

CAUSAL FOOTPRINTS; EVENTDRIVEN PROCESS CHAINS; FORMAL PROCESS MODELLING LANGUAGES; MULTIPLE TERMINATION PATTERN;

FINANCIAL DATA PROCESSING;

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

References (24)

1. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification of Properties: An Approach based on Temporal Logic. In R. Meersman and Z. Tari et al., editors, OTM Conferences 2005, volume 3760 of Lecture Notes in Computer Science, pages 130-147. Springer-Verlag, Berlin, 2005.
3. W.M.P. van der Aalst, J. Desel, and E. Kindler. On the semantics of EPCs: A vicious circle. In M. Nüttgens and F. J. Rump, editor, Proc. of the 1st GI-Workshop on Business Process Management with Event-Driven Process Chains (EPK 2002), Trier, Germany, pages 71-79, 2002.
4. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns. Distributed and Parallel Databases, 14(1):5-51, 2003.
5. W.M.P. van der Aalst and M. Pesic. Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware. BPM Center Report BPM-06-09, BPMcenter.org, 2006.
6. N. Cuntz, J. Freiheit, and E. Kindler. On the Semantics of EPCs: Faster Calculation for EPCs with Small State Spaces. In M. Nuettgens and F.J. Rump, editors, Proceedings of Fourth Workshop on Event-Driven Process Chains (WI-EPK 2005), pages 7-23, Hamburg, Germany, December 2005. Gesellschaft fuer Informatik, Bonn.
7. T. Curran and G. Keller A. Ladd. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Enterprise Resource Planning Series. Prentice Hall PTR, Upper Saddle River, 1997.
8. J. Dehnert and W.M.P. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems, 13(3):289-332, 2004.
9. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.
10. B.F van Dongen, A.K.A. 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 Application and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
11. B.F. van Dongen, H.M.W Verbeek, and W.M.P. van der Aalst. Verification of EPCs: Using reduction rules and Petri nets. In Conference on Advanced Information Systems Engineering (CAiSE 2005), volume 3520 of Lecture Notes in Computer Science, pages 372-386. Springer-Verlag, Berlin, 2005.
12. H. Eertink, W Janssen, P Oude Luttighuis, W. B. Teeuw, and C. A. Vissers. A business process design language. In FM '99: Proceedings of the World Congress on Formal Methods in the Development of Computing Systems-Volume I, pages 76-95, London, UK, 1999. Springer-Verlag.
13. J. Esparza and M. Silva. Circuits, Handles, Bridges and Nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 210-242. Springer-Verlag, Berlin, 1990.
14. R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555-600, 1996.
15. G. Keller, M. Nüttgens, and A.W. Scheer. Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbrücken, 1992.
16. G. Keller and T Teufel. SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, 1998.
17. E. Kindler. On the semantics of EPCs: Resolving the vicious circle. In J. Desel and B. Pernici and M. Weske, editor, Business Process Management, 2nd International Conference, BPM 2004, volume 3080 of Lecture Notes in Computer Science, pages 82-97, 2004.
18. E. Kindler. On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. Data and Knowledge Engineering, 56(1):23-40, 2006.
19. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
20. 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, BPMcenter.org, 2006.
21. J. Mendling, G. Neumann, and M. Nüttgens. The Workflow Handbook 2005, chapter A Comparison of XML Interchange Formats for Business Process Modelling, pages 185-198. Future Strategies Inc., 2005.
22. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
23. W Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
24. H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Verifying workflows with cancellation regions and OR-joins: An approach based on invariants. BETA Working Paper Series, WP 156, Eindhoven University of Technology, Eindhoven, The Netherlands, 2006.