Automatische Synthese von Verhaltensadaptern zwischen Services

• Applicants: Professor Dr. Wolfgang Reisig; Professor Dr. Karsten Wolf
• Subject Area: Software Engineering and Programming Languages
• Term: from 2008 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 57095390

• Final Report Year: 2010

Final Report Abstract

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.

Publications

• 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