| Vol-224 © 2006 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

# EPK 2006
Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten

### 5. Workshop der Gesellschaft für Informatik e.V. (GI)
und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)"
Wien, 30. November - 01. Dezember 2006.

Edited by

### Markus Nüttgens *
Frank J. Rump +
Jan Mendling -

* Universität Hamburg, Fakultät Wirtschafts- und Sozialwissenschaften, D-20146 Hamburg
+ Fachhochschule Oldenburg/Ostfriesland/Wilhelmshaven, Fachbereich Technik, D-26723 Emden
- Vienna University of Economics and Business Administration, Institute of Information Systems and New Media, 1090 Wien Österreich

EPK 2006 Proceedings

## Table of Contents

Fachbeiträge
1. Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten (S. 7-24)
   O. Thomas, M. Fellmann
2. Towards EPC Semantics based on State and Context (S. 25-48)
   J. Mendling, W. v. d. Aalst
3. Fuzzy-EPK-Modelle: Attributierung und Regelintegration (S. 49-68)
   O. Thomas, T. Dollmann
4. Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG (S. 69-84)
   V. Gruhn, R. Laue
5. Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping
   to BPEL (S. 85-104)
   O. Kopp, T. Unger, F. Leymann
6. Integration of EPC-related Tools with ProM (S. 105-120)
   P. Barborka, L. Helm, G. Köldorfer, J. Mendling, G. Neumann, B. v. Dongen,
   E. Verbeek, W. v.d. Aalst
7. Using BPEL processes defined by Event-driven Process Chains (S. 121-136)
   C. Simon, J. Freiheit, S. Olbrich
   Diskussionsbeiträge
8. Transformation of Use Cases to EPC Models (S. 137-156)
   D. Lübke
9. Verifying Properties of (Timed) Event Driven Process Chains by Transformation to
   Hybrid Automata (S. 157-176)
   S. Denne
10. A Comparison of (e)EPCs and UML 2 Activity Diagrams (S. 177-188)
    H. Störrle
11. Berechnung von Komplexitätsmetriken für ereignisgesteuerte Prozessketten (189-202)
    V. Gruhn, R. Laue, F. Meyer

submitted by M. Nüttgens, V. Klochkov, 18-Dec-2006
published on CEUR-WS.org, 19-Dec-2006
correction in editor list by V. Klochkov, 19-Dec-2006