Instantiation semantics for process models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5240 LNCS, Issue , 2008, Pages 164-179

  Decker, Gero ^a   Mendling, Jan ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; PROCESS ENGINEERING; SEMANTICS;

CORRECTNESS CRITERION; DESIGN ALTERNATIVES; PROCESS MODEL; PROCESS MODELING LANGUAGE; THEORETICAL POINTS; WORKFLOW PATTERNS;

MODELING LANGUAGES;

EID: 57049119596     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85758-7_14     Document Type: Conference Paper

References (27)

1. Petri, C.: Fundamentals of a Theory of Asynchronous Information Flow, In: 1962 IFIP Congress, pp. 386-390. North-Holland, Amsterdam (1962)
2. Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting ws-bpel processes using flexible model generation. Data Knowl. Eng. 64, 38-54 (2008)
3. van der Aalst, W.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
4. Keller, G., Nüttgens, M., Scheer, A.W.: 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)
6. Object Management Group: UML 2.0 Superstructure Specification (2005)
7. van der Aalst, W., ter Hofstede, A.: YAWL: Yet Another Workflow Language. Information Systems 30, 245-275 (2005)
8. van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases 14, 5-51 (2003)
9. Alves, A., et al.: Web services business process execution language 2.0 (2007)
10. Object Management Group: Business Process Modeling Notation (2006)
11. Weske, M.: Business Process Management. Springer, Heidelberg (2007)
12. Mendling, J., Verbeek, H., van Dongen, B., van der Aalst, W., Neumann, G.: Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data & Knowledge Engineering 64, 312-329 (2008)
13. Mendling, J., Neumann, G., van der Aalst, W.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 113-130. Springer, Heidelberg (2007)
14. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)
15. Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. BPM Center Report BPM-06-22 (2006)
16. Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.: Translating standard process models to bpel. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 417-432. Springer, Heidelberg (2006)
17. Mendling, J., Lassen, K., Zdun, U.: Transformation strategies between block-oriented and graph-oriented process modelling languages. International Journal of Business Process Integration and Management 3 (2008)
18. van der Aalst, W., Lassen, K.: Translating unstructured workflow processes to readable bpel: theory and implementation. Inf. Softw. Techn. 50, 131-159 (2008)
19. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77, 541-580 (1989)
20. Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, Reading (2001)
21. Rump, F.: Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozess-ketten - Formalisierung, Analyse und Ausführung von EPKs. Teubner (1999)
22. Mendling, J., van der Aalst, W.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439-453. Springer, Heidelberg (2007)
23. Scheer, A.W., Thomas, O., Adam, O.: Process Modeling Using Event-Driven Process Chains. In: Process Aware information Systems, pp. 119-146 (2005)
24. Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. Software Eng. 30, 437-447 (2004)
25. Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 145-160. Springer, Heidelberg (2006)
26. Dehnert, J., Aalst, W.: Bridging The Gap Between Business Models And Workflow Specifications. International J. Cooperative Inf. Syst. 13, 289-332 (2004)
27. Barros, A., Decker, G., Dumas, M., Weber, F.: Correlation patterns in service-oriented architectures. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 245-259. Springer, Heidelberg (2007)