Process instantiation

Data and Knowledge Engineering

Volumn 68, Issue 9, 2009, Pages 777-792

  Decker, G ^a   Mendling, J ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Business process modeling; Events; Process instantiation; Workflow patterns

Indexed keywords

BUSINESS PROCESS MODELING; CORRECTNESS CRITERION; DESIGN ALTERNATIVES; EMPIRICAL INVESTIGATION; EVENT DRIVEN PROCESS CHAIN; EVENTS; PROCESS INSTANTIATION; PROCESS MODEL; PROCESS MODELING LANGUAGE; THEORETICAL POINTS; WORKFLOW PATTERNS;

LINGUISTICS; SEMANTICS;

MANAGEMENT;

EID: 67349230132     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2009.02.013     Document Type: Article

References (36)

1. Petri C. Fundamentals of a theory of asynchronous information flow. 1962 IFIP Congress, Amsterdam (1962), North-Holland 386-390
2. Lohmann N., Massuthe P., Stahl C., and Weinberg D. Analyzing interacting WS-BPEL processes using flexible model generation. Data and Knowledge Engineering 64 (2008) 38-54
3. Aalst W. Verification of workflow nets. In: Azéma P., and Balbo G. (Eds). Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science vol. 1248 (1997), Springer-Verlag 407-426
4. G. Keller, M. Nüttgens, A.W. Scheer, Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerter Prozessketten (EPK)", Heft 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany, 1992.
5. Davis R. Business Process Modelling With Aris: A Practical Guide (2001), Springer
6. Object Management Group, Unified Modeling Language: Superstructure, Technical Report Version 2.1.1, Object Management Group, 2007.
7. Aalst W., and Hofstede A. YAWL: yet another workflow language. Information Systems 30 (2005) 245-275
8. Aalst W., Hofstede A., Kiepuszewski B., and Barros A. Workflow patterns. Distributed and Parallel Databases 14 (2003) 5-51
9. A. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M. Ford, Y. Goland, A. Guizar, N. Kartha, C. Liu, R. Khalaf, D. Koenig, M. Marin, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, A. Yiu, Web Services Business Process Execution Language Version 2.0, Committee Specification, 31 January 2007, OASIS, 2007.
10. Object Management Group (OMG), Business Process Modeling Notation, V1.1, Technical Report, 2008.
11. Weske M. Business Process Management: Concepts, Languages, Architectures (2007), Springer-Verlag
12. Mendling J., Verbeek H., Dongen B., Aalst W., and Neumann G. Detection and prediction of errors in EPCs of the SAP reference model. Data and Knowledge Engineering 64 (2008) 312-329
13. Mendling J., Neumann G., and Aalst W. Understanding the occurrence of errors in process models based on metrics. In: Meersman R., and Tari Z. (Eds). OTM Conference 2007, Proceedings, Part I. Lecture Notes in Computer Science vol. 4803 (2007), Springer 113-130
14. Mendling J. Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. Lecture Notes in Business Information Processing vol. 6 (2008), Springer
15. N. Russell, A. Hofstede, W. Aalst, N. Mulyar, Workflow Control-Flow Patterns: A Revised View, BPM Center Report BPM-06-22, BPMcenter.org, 2006.
16. Ouyang C., Dumas M., Breutel S., and ter Hofstede A. Translating standard process models to BPEL. In: Dubois E., and Pohl K. (Eds). Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, June 5-9, 2006, Proceedings. Lecture Notes in Computer Science vol. 4001 (2006), Springer 417-432
17. Mendling J., Lassen K., and Zdun U. Transformation strategies between block-oriented and graph-oriented process modelling languages. International Journal of Business Process Integration and Management 3 (2008)
18. Aalst W., and Lassen K. Translating unstructured workflow processes to readable BPEL: theory and implementation. Information and Software Technology 50 (2008) 131-159
19. Decker G., and Mendling J. Instantiation semantics for process models. In: Dumas M., Reichert M., and Shan M.C. (Eds). BPM. Lecture Notes in Computer Science vol. 5240 (2008), Springer 164-179
20. Kühne T. Matters of (meta-) modeling. Software and Systems Modeling 5 (2006) 369-385
21. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE 77 (1989) 541-580
22. Luckham D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (2001), Addison-Wesley
23. Rump F. Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung. Analyse und Ausführung von EPKs (1999), Teubner Verlag
24. Mendling J., and Aalst W. Formalization and verification of EPCs with OR-joins based on state and context. In: Krogstie J., Opdahl A., and Sindre G. (Eds). Proceeding of the 19th Conference on Advanced Information Systems Engineering (CAiSE 2007). Lecture Notes in Computer Science vol. 4495 (2007), Springer-Verlag, Trondheim, Norway 439-453
25. Scheer A.W., Thomas O., and Adam O. Process modeling using event-driven process chains. Process Aware Information Systems: Bridging People and Software Through Process Technology (2005), Wiley Publishing 119-146
26. Carzaniga A., Rosenblum D., and Wolf A. Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems 19 (2001) 332-383
27. Curran T., Keller G., and Ladd A. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Enterprise Resource Planning Series (1997), Prentice Hall PTR, Upper Saddle River
28. Keller G., and Teufel T. SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping (1998), Addison-Wesley
29. J. Mendling, H. Reijers, How to define activity labels for business process models? in: A. Oberweis, W. Hesse (Eds.), Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems (SIGSAND Europe 2008), Marburg, Germany, Lecture Notes in Informatics, 2008.
30. Eshuis R., and Wieringa R. Tool support for verifying uml activity diagrams. IEEE Transactions on Software Engineering 30 (2004) 437-447
31. Puhlmann F., and Weske M. Investigations on soundness regarding lazy activities. In: Dustdar S., Fiadeiro J., and Sheth A. (Eds). Business Process Management, Fourth International Conference, BPM 2006. Lecture Notes in Computer Science vol. 4102 (2006), Springer-Verlag 145-160
32. Dehnert J., and Aalst W. Bridging the gap between business models and workflow specifications. International Journal of Cooperative Information Systems 13 (2004) 289-332
33. A. Barros, G. Decker, M. Dumas, F. Weber, Correlation patterns in service-oriented architectures, Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering (FASE), LNCS 4422, pp. 245-259, Braga, Portugal, March 2007, Springer Verlag.
34. van der Aalst W.M.P., Aldred L., Dumas M., and ter Hofstede A.H.M. Design and implementation of the yawl system. In: Persson A., and Stirna J. (Eds). CAiSE. Lecture Notes in Computer Science vol. 3084 (2004), Springer 142-159
35. Müller D., Reichert M., and Herbst J. A new paradigm for the enactment and dynamic adaptation of data-driven process structures. In: Bellahsene Z., and Léonard M. (Eds). CAiSE. Lecture Notes in Computer Science vol. 5074 (2008), Springer 48-63
36. Aalst W., Weske M., and Grünbauer D. Case handling: a new paradigm for business process support. Data and Knowledge Engineering 53 (2005) 129-162