Projekt : Geschäftsprozessmodellierung und -management

Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Prof. Dr. Valk, Professor
Dr. Michael Köhler-Bußmeier, PD
Dr. Lawrence Cabac, Wissenschaftlicher Mitarbeiter
Sofiane Bendoukha, Doktorand
Dr. Heiko Rölke, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Jan Ortmann, ehemaliger Wissenschaftlicher Mitarbeiter
Sven Offermann, ehemaliger Wissenschaftlicher Mitarbeiter , Doktorand
Dr. Christine Reese, ehemalige Doktorandin
Dr. Kolja Markwardt (geb. Lehmann)

Laufzeit: seit 01/2003

Schlagworte: E-Learning; Petrinetze; Modellierung

Ziele: Die Modellierung von Geschäftsprozessen durch objektorientierte Petrinetze wird untersucht. Hier werden insbesondere die Arbeiten von O. Kummer zu Referenznetzen, von D. Moldt zur objektorientierten Modellierung und von R. Valk zu Objektpetrinetzen für diese Anwendung aufgegriffen. Diese objetorientierte Verortung ist hier von besonderem Interesse, da anders als in bisherigen Arbeiten zum Thema "Workflow" die Modellierung der ausführenden Funktionseinheiten und beschränkenden Betriebsmittel aufgenommen wird. Das Werkzeug Renew wurde um spezifische Konstrukte erweitert, so dass eine Push/Pull-Architektur für verteilte und nebenläufige Workflowanwendungen mit einer zentralen Steuerung implementiert werden kann.

Die Realisierung eines Zugangs- und Rollenkonzeptes sowie einer Workflowunterstützung wurde konzeptionell und technisch abgeschlossen. Die Einbettung in eine agentenorientierte Umgebung wurde in einem ersten partiellen Prototypen implementiert. Im Vordergrund der aktuellen Arbeiten standen die Verteilung des WFMC-konformen WFMS. Dies wird mit Hilfe einer agentenorientierten Implementierunt durchgeführt. Für das aktuelle Gebiet der Workflow-Muster wurde eine Referenznetz-basierte Semantik entwickelt. An einer Verallgemeinerung wird gearbeitet. Eine agentenorientierte Interpretation des Referenzmodells der Workflowmanagementcoalition (WfMC) wurde prototypisch implementiert. An der Anbindung an Webservice-basierte Systeme wird weiter gearbeitet. Dazu wird die Generierung von Petrinetzen aus OWL-S Beschreibungen und umgekehrt bearbeitet. Weiterhin wird an der konzeptionellen und praktischen Einbettung von BPEL gearbeitet.

Publikationen:

2008

Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges , Lawrence Cabac , and Daniel Moldt.
Introducing a process infrastructure for agent systems.
In Mehdi Dastani, Amal El Fallah, João Leite, and Paolo Torroni, editors, LADS'007 Languages, Methodologies and Development Tools for Multi-Agent Systems, volume 5118 of Lecture Notes in Artificial Intelligence, pages 225-242, 2008.
Revised Selected and Invited Papers.

2007

Michael Köhler and Heiko Rölke.
Web service orchestration with super-dual object nets.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 263-280. Springer-Verlag, 2007.

Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
Electronic Notes in Theoretical Computer Science, 175:119-134, June 2007.  [link]

2006

Michael Köhler, Daniel Moldt, and Jan Ortmann.
Dynamic service composition: A Petri-net based approach.
In Y. Manolopoulos, J. Filipe, P. Constantopoulos, and J. Cordeiro, editors, Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006) - Software Agents and Internet Computing, pages 159-165, 2006.

2005

Michael Köhler and Berndt Farwer.
Petri net processes for zero-safe nets.
Fundamenta Informaticae, 67:1-11, 2005.

Michael Köhler and Jan Ortmann.
Service modelling based on high-level Petri nets.
In Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), 2005.

Michael Köhler and Jan Ortmann.
Formal aspects for service modelling based on high-level Petri nets.
In International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 2005.

2004

Daniel Moldt and Jan Ortmann.
DaGen: A tool for automatic translation from DAML-S to high-level Petri nets.
In Michel Wermelinger and Tiziana Margaria-Steffen, editors, Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings, volume 2984 of Lecture Notes in Computer Science, pages 209-213, Berlin, Heidelberg, New York, 2004. Springer-Verlag.

Daniel Moldt and Jan Ortmann.
Konzeptuelle Modellierung web-basierter Prozessabläufe in Multiagentensystemen.
In Bernhard Rumpe and Wolfgang Hesse, editors, Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings, volume 45 of LNI. GI, 2004.

Daniel Moldt and Jan Ortmann.
Konzeptuelle Modellierung web-basierter Prozesse und ihre Ausführung in Multiagentensystemen.
In Modellierung 2004, Praktischer Einsatz von Modellen; Workshop W4: ``Ontologien in der und für die Softwaretechnik'', Marburg, 2004.  [link]

TODO: Braker/Moldt: Funktionsorientierter Modellierungsansatz

2003

C. Girault and Rüdiger Valk, editors.
Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, Berlin, Heidelberg, New York, 2003. Springer-Verlag.

Daniel Moldt and Heiko Rölke.
Pattern based workflow design using reference nets.
In Wil van der Aalst, Arthur ter Hofstede, and Mathias Weske, editors, Proceedings of International Conference on Business Process Management, Eindhoven, NL, volume 2678 of Lecture Notes in Computer Science, pages 246-260. Springer-Verlag, 2003.

2002

Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche.
Implementation of workflow systems using reference nets - security and operability aspects.
In Kurt Jensen, editor, Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Ny Munkegade, Bldg. 540, DK-8000 Aarhus C, Denmark, August 2002. University of Aarhus, Department of Computer Science.
DAIMI PB: Aarhus, Denmark, August 28-30, number 560.

Gabriela Lindemann, Daniel Moldt, Mario Paolucci, and Bin Yu, editors.
Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02) as part of AAMAS 2002, number FBI-HH-M-318/02 in Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten, Vogt-Kölln Str. 30, D-22527 Hamburg, 2002.

2000

Carsten Döhring, Daniel Moldt, and Ingrid Wetzel.
Strukturbedingte Kooperationsformen in Geschäftsprozessen.
In Herrad Schmidt, editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung 2000, pages 85-105, Siegen, 2000.

Olaf Kummer, Annette Laue, Matthias Liedtke, Daniel Moldt, and Heiko Rölke.
Höhere Petrinetze zur kompakten Modellierung und Implementierung von Verhalten.
In Holger Giese and Stephan Philippi, editors, Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM, Techreport 24/00-I, pages 27-32. Universität Münster, 2000.
Verfügbar unter urlhttp://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/ urlprogramm.html.

Daniel Moldt and Jörg Rodenhagen.
Ereignisgesteuerte Prozeßketten und Petrinetze zur Modellierung von Workflows.
In Giese and Philippi (Hrsg.), Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, pages 57-63.

Daniel Moldt and Rüdiger Valk.
Object-oriented Petri nets in business process modeling.
In Wil van der Aalst, Jörg Desel, and Andreas Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, number 1806 in Lecture Notes in Computer Science, pages 254-273, Berlin, Heidelberg, New York, 2000. Springer-Verlag.

1999

Wil van der Aalst, Daniel Moldt, Rüdiger Valk, and Frank Wienberg.
Enacting interorganizational workflows using nets in nets.
In Jörg Becker, Michael zur Mühlen, and Michael Rosemann, editors, Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Münster, Nov. 9th 1999, Working Paper Series of the Department of Information Systems, pages 117-136, University of Münster, Department of Information Systems, Steinfurter Str. 109, 48149 Münster, 1999.
Working Paper No. 70.