Automatische Synthese von Verhaltensadaptern zwischen Services

• Antragsteller: Professor Dr. Wolfgang Reisig; Professor Dr. Karsten Wolf
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2008 bis 2012
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 57095390

• Erstellungsjahr: 2010

Zusammenfassung der Projektergebnisse

Ein Service ist ein in sich geschlossener Dienst, der aus einer Kontrollstruktur, einer Kommunikationsschnittstelle und einer Identifikation besteht. Mehrere Services lassen sich über Service-orientierte Architekturen lose miteinander verbinden und bilden somit einen komplexeren Service. Ziel einer solchen Architektur ist es, Services mit bestimmten Funktionalitäten automatisch aufzufinden und anschließend zu verbinden. Durch die unabhängige Entwicklung verschiedener Services ist es jedoch schwierig oder sogar unmöglich, diese Services miteinander zu verbinden. Als Beitrag zur Lösung dieses Problems haben wir Technologien entwickelt, mit deren Hilfe ein Adapter (Vermittlerservice, Mediator) automatisch synthetisiert werden kann. Dieser Adapter wird so zwischen zwei Services geschaltet, dass sie über den Adapter miteinander verbunden werden und somit einen komplexen funktionierenden Service bilden können. Wir haben für das Problem der Synthese von Adaptern theoretische Grundlagen geschaffen und Lösungsmöglichkeiten anhand Petrinetz-basierter Modelle für Services studiert. Die Ergebnisse sind in Form frei zugänglicher Werkzeuge allgemein nutzbar.

Projektbezogene Publikationen (Auswahl)

• Correcting Deadlocking Service Choreographies Using a Simulation- Based Graph Edit Distance. In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 132-147, September 2008. Springer-Verlag
  Niels Lohmann
  
• Another Approach to Service Instance Migration. In Luciano Baresi, Chi-Hung Chi, and Jun Suzuki, editors, Service-Oriented Computing - ICSOC 2009, 7th International Conference, Stockholm, Sweden, November 24-27, 2009. Proceedings, volume 5900 of Lecture Notes in Computer Science, pages 607-621, November 2009. Springer-Verlag
  Nannette Liske, Niels Lohmann, Christian Stahl, and Karsten Wolf
  
• Set Algebra for Service Behavior: Applications and Constructions. In Umeshwar Dayal, Johann Eder, Jana Koehler, and Hajo Reijers, editors, Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings, volume 5701 of Lecture Notes in Computer Science, pages 193-210, September 2009. Springer-Verlag
  Kathrin Kaschner and Karsten Wolf
  
• Simple Composition of Nets. In Giuliana Franceschinis and Karsten Wolf, editors, Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, volume 5606 of Lecture Notes in Computer Science, Paris, France, pages 23-42, June 2009. Springer-Verlag
  Wolfgang Reisig