Projekt : Web-Engineering
|
|
|
|
|
Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Dr. Michael Köhler-Bußmeier, PD
Dr. Jan Ortmann, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Christine Reese, ehemalige Doktorandin
Laufzeit: seit 01/2003
Schlagworte: Web services; Prozess-Ontologien; Agenten; Prozessbeschreibungssprachen
Ziele: Bei Analyse, Entwurf und Implementierung von Softwaresystemen im Kontext des Internets sind Web-basierte Technologien notwendig. Gearbeitet wird an einem agentenbasierten Ansatz, der sich speziell auf die aktuellen technologischen Mittel des Inernets abstützt. Eine Einbettung erfolgte so zum Beispiel für die automatische Umsetzung von DAML-S bzw. OWL-S Beschreibungen in Referenznetze bzw. MULAN-Protokolle. Prozessontologien ermöglichen die Beschreibung von Diensten auf semantischer Ebene, was das Auffinden dieser Dienste anhand einer Konzeptualisierung erlaubt. Zudem wurde für Prozessbeschreibungssprachen wie BPEL4WS, XPDL etc. an einer petrinetzbasierten Umsetzung gearbeitet.
An einer spezifischen Einbettung des FIPA-konformen Mulan - Frameworks in die Web-Umgebung wird gearbeitet. Ein Gateway basierend auf dem Axis Framework wurde für Mulan/Capa implementiert. So konnte eine leistungsfähige protoptypische Verbindung von Web- und Agententechnologie geschaffen werden. Verbindungen zwischen Agenten und MAS als konzeptionelle Grundlage für Web-Technologie basierte Implementierungen wurden weiter zu einem Web-Engineering-Ansatz der Systementwicklung weiter entwickelt. Insbesondere formal fundierte Modellierungsverfahren, die den Nachweis von Eigenschaften wie z. B. Verklemmungsfreiheit erlauben, wurden untersucht.
Publikationen:
- 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] - Michael Köhler and Heiko Rölke.
- 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 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. - Michael Köhler and Jan Ortmann.
- 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.
A conceptual and practical framework for web-based processes in multi-agent systems.
In Liz Sonenberg and Charles Sierra, editors, 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pages 1464-1465. Computer Society, 2004.- 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, Jan Ortmann, and Sven Offermann.
A proposal for Petri net based web service application modeling.
In Nora Koch, Piero Fraternali, and Martin Wirsing, editors, Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, volume 3140 of Lecture Notes in Computer Science, pages 93-97. Springer-Verlag, 2004. - Daniel Moldt and Jan Ortmann.