Syntax and semantics of event-driven process chains (EPCs);Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK)

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-21, Issue , 2002, Pages 64-77

  Nüttgens, Markus ^a   Rump, Frank J ^b  

^a UNIVERSITY OF TRIER   (Germany)

^b Fachbereich Technik   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85134579600     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)

1. van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains, in: Backhouse, R.C.; Baeten, J.C.M. (Hrsg.): Computing Science Reports 98/01, Eindhoven University of Technology, Eindhoven 1998.
2. van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains, in: Information and Software Technology 41(1999)10, S. 639-650. URL: http://tmitwww.tm.tue.nl/staff/wvdaalst/Publications/p74.pdf (2002-08-15)
3. Becker, J.; Rosemann; M.; Schütte, G.: Grundsätze ordnungsmäßiger Modellierung, Wirtschaftsinformatik, 37(1995)5, S. 435-445.
4. Chen, R.; Scheer, A.-W.: Modellierung von Prozeßketten mittels Petri-Netz-Theorie, in: Scheer, A.-W. (Hrsg.): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 107, Saarbrücken 1994.
5. Dehnert, J.: Four Systematic Steps Towards Sound Business Process Models, Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Gesellschaft ISST, Berlin 2001, pp. 55-64. URL: http://cis.cs.tu-berlin.de/~dehnert/Publikationen/Foursteps.ps (2002-08-15)
6. Dehnert, J.; Rittgen, P.: Relaxed Soundness of Business Processes, Proceedings of the 13th Conference on Advanced Information Systems Engineering (CAISE'01), Dittrich, K.L. and Geppert, A. and Norrie, M.C. (Eds.), Springer, LNCS 2068, Interlaken, Switzerland, 2001, pp. 157-170. URL: http://cis.cs.tu-berlin.de/~dehnert/Publikationen/CAISE01.ps (2002-08-15)
7. Heimig, I.: Grammatikbasierte Beschreibung von Geschäftsprozessen - Methodik für das strukturierte Verarbeiten von Modellen, Deutscher Universitätsverlag, Wiesbaden 2002.
8. Hoffmann, W.; Scheer, A.-W.; Hoffmann, M.: Überführung strukturierter Modellierungsmethoden in die Object Modelling Technique (OMT), in: Scheer, A.W. (Hrsg.): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 114, Saarbrücken 1995.
9. Keller, G. & Partner: SAP/R3 prozeßorientiert anwenden. Iteratives Prozeß-Prototyping mit Ereignisgesteuerten Prozeßketten und Knowledge Maps, Addison Wesley Longman, Bonn et al. 1999.
10. Keller, G.; Nüttgens, M.; Scheer, A.-W.: Semantische Prozeßmodellierung auf der Grundlage "Ereignisgesteuerter Prozeßketten (EPK)", in: Scheer, A.-W. (Hrsg.): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, Saarbrücken 1992. URL: http://www.iwi.uni-sb.de/iwi-hefte/heft089.zip (2002-08-15)
11. Langner, P.; Schneider, C.; Wehler, J.: Ereignisgesteuerte Prozeßketten und Petri-Netze, in: Valk, R.; Jantzen, M. (Hrsg.): Bericht Nr. 196, Fachbereich Informatik der Universität Hamburg, Hamburg 1997. URL: http://medoc.informatik.unihamburg.de/Dienst/Repository/2.0/Body/ncstrl.uhamburg_cs%2FB-196/postscript (2002-08-15)
12. Langner, P.; Schneider, C.; Wehler, J.: Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen, in: Wirtschaftsinformatik, 39(1997)5, S. 479-489.
13. Langner, P.; Schneider, C.; Wehler, J.: Ereignisgesteuerte Prozeßketten (EPKs) und Petri-Netze, in: Desel, J.; Reichel, H. (Hrsg.): Grundlagen der Parallelität, Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der INFORMATIK'97, Technische Berichte der TU Dresden, Fakultät Informatik, Dresden 1997.
14. Langner, P.; Schneider, C.; Wehler, J.: Relating Event-Driven Process Chains to Boolean Nets, Ludwig-Maximilians-Universität München, Institut für Informatik, Technischer Bericht 9707, München 1997. URL: www.pst.informatik.unimuenchen.de/personen/wehler/tecrep3.ps (2002-08-15)
15. Langner, P.; Schneider, C.; Wehler, J.: Petri Net Based Certification of Event driven Process Chains, in: Desel, J.; Silva, M. (Hrsg.): Application and Theory of Petri Nets 1998, Lecture notes in Computer Science Vol. 1420, (Springer) Berlin et al. 1998, S. 286-305.
16. Moldt, D., Rodenhagen, J.: Ereignisgesteuerte Prozeßketten und Petrinetze zur Modellierung von Workflows, in: Giese, H.; Philippi, S. (Hrsg.): Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Proceedings (Münster, 13.-14. November 2000), 8. Workshop des Arbeitskreises "Grundlagen objektorientierter Modellierung" (GROOM) der GI-Fachgruppe 2.1.9 ("Objektorientierte Softwareentwicklung"), Bericht Nr. 24/00-I, Münster 2000, S. 57-63. URL: http://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/papers/Moldt.pdf (2002-08-15)
17. Moll, M.: Formalisierung und Konsistenzprüfung des R/3-Referenzmodells, Diplomarbeit im Studiengang Informatik an der TU Clausthal (Prof. Möller), Clausthal 1996.
18. Rittgen, P.: Vom Prozessmodell zum Elektronischen Geschäftsprozess, in: Frank, U.; Hampe, F.: Arbeitsberichte des Instituts für Wirtschaftsinformatik, Nr. 17, Koblenz-Landau 1999. URL: http://www.uni-koblenz.de/~rittgen/Nr17.pdf (2002-08-15)
19. Rittgen, P.: Modified EPCs and Their Formal Semantics, in: Frank, U.; Hampe, F.: Arbeitsberichte des Instituts für Wirtschaftsinformatik, Nr. 19, Koblenz-Landau 1999. URL: http://www.uni-koblenz.de/~rittgen/Nr19.pdf (2002-08-15)
20. Rittgen, P.: Objektorientierte Analyse mit EMK, in: Sinz, E.J. (Hrsg.): Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung 1999 (Bamberg, 14.-15.10.1999), Rundbrief der GI-Fachgruppe 5.10 6(1999)1, S. 8-23. URL: http://www.uni-koblenz.de/~rittgen/mobis99.pdf (2002-08-15)
21. Rittgen, P.: From Process Model to Electronic Business Process, in: European Conference on Information Systems ECIS 1999, June 23 - 25, Copenhagen Business School, Copenhagen, Denmark, proceedings, volume II, 1999, pp. 616 ff. URL: http://www.uni-koblenz.de/~rittgen/ecis99.pdf (2002-08-15)
22. Rittgen, P.: Paving the Road to Business Process Automation, European Conference on Information Systems (ECIS) 2000, Vienna, Austria, July 3 - 5, 2000, pp. 313-319. URL: http://www.uni-koblenz.de/~rittgen/ecis00.pdf (2002-08-15)
23. Rittgen, P.: EMC - A Modeling Method for Developing Web-based Applications, International Conference of the International Resources Management Association (IRMA) 2000, Anchorage, Alaska, USA, May 21 - 24, 2000, pp. 135-140. http://www.uni-koblenz.de/~rittgen/irma00.pdf (2002-08-15)
24. Rittgen, P.: Quo vadis EPK in ARIS? Ansätze zu syntaktischen Erweiterungen und einer formalen Semantik, in: WIRTSCHAFTSINFORMATIK 42(2000)1, S. 27-35. URL: http://www.uni-koblenz.de/~rittgen/ZWI00.pdf (2002-08-15)
25. Rodenhagen, J.: Darstellung ereignisgesteuerter Prozeßketten (EPK) mit Hilfe von Petrinetzen, Diplomarbeit Universität Hamburg Fachbereich Informatik (Prof. Valk), Hamburg 1997.
26. Rosemann, M.: Komplexitätsmanagement in Prozeßmodellen - Methodenspezifische Gestaltungsempfehlungen für die Informationsmodellierung, Dissertation Universität Münster (Prof. Becker), in: Scheer, A.-W. (Hrsg.): Schriften zur EDV-orientierten Betriebswirtschaftslehre, Gabler, Wiesbaden 1996.
27. Rump, F.J.: Ereignisgesteuerte Prozeßketten zur formal fundierten Geschäftsprozeßmodellierung, in: Informationssystem-Achitekturen, Rundbrief des GIFachausschusses 5.2, 2(1995)2, S. 94-96.
28. Rump. F.J.: Erreichbarkeitsgraphbasierte Analyse ereignisgesteuerter Prozeßketten, Technischer Bericht Fachbereich Informatik Universität Oldenburg, Oldenburg 1997.
29. th Annual Database Conference DATASEM'97, Brno, Czech republic, October 1997.
30. Rump, F.J.: Analyse ereignisgesteuerter Prozeßketten (EPK), in: Desel, J.; Reichel, H. (Hrsg.): Grundlagen der Parallelität, Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der INFORMATIK'97, Technische Berichte der TU Dresden, Fakultät Informatik, Dresden 1997
31. Rump, F.: Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten - Formalisierung, Analyse und Ausführung von EPKs, Teubner, Stuttgart et al.1999.
32. Scheer, A.-W.: ARIS - Vom Geschäftsprozeß zum Anwendungssystem, 4. Aufl., (Springer) Berlin et al. 1998.
33. Scheer, A.-W.: ARIS - Modellierungsmethoden, Metamodelle, Anwendungen, 4. Aufl., (Springer) Berlin et al. 2001.
34. v. Uthmann, Chr.: Nutzenpotentiale der Petrinetztheorie für die Erweiterung der Anwendbarkeit Ereignisgesteuerter Prozeßketten, Workshop der Arbeitsgruppe "Formalisierung und Analyse Ereignisgesteuerter Prozeßketten (EPK)", Universität Oldenburg, Oldenburg 1997. URL: http://www.wi.uni-muenster.de/is/mitarbeiter/ischut/epkpn.pdf (2002-08-15)
35. v. Uthmann, Chr.: Machen Ereignisgesteuerte Prozeßketten (EPK) Petrinetze für die Geschäftsprozeßmodellierung obsolet?, in: EMISA FORUM (Hrsg.): Mitteilungen der GI-Fachgruppe "Entwicklungsmethoden für Informationssysteme und deren Anwendung", 1(1998), S. 100-107.
36. Volkmer, M.: Entwicklung objektorientierter Analysemodelle für Informationssysteme auf Grundlage von Prozessmodellen, Shaker, Aachen 1997.
37. Weikum, G.; Wodtke, D.; Kotz Dittrich, A.; Muth, P.; Weißenfels, J.: Spezifikation, Verifikation und verteilte Ausführung von Workflows in MENTOR, in: Informatik Forschung und Entwicklung, 1(1997)12, Springer, Berlin et al. 1997. URL: http://www-dbs.cs.uni-sb.de/papers/ife97.ps (2002-08-15)
38. Wodtke, D.: Modellbildung und Architektur von verteilten Workflow-Management-Systemen, Infix, Sankt Augustin 1997.
39. Zukunft, O.; Rump, F.: From Business Modelling to Workflow Management: An Integrated Approach, in: Scholz-Reiter, B.; Stickel, E. (Hrsg.): Business Process Modelling, Springer, Berlin et al. 1996, S. 3-22.