Automatische Generierung von Bedienungsanleitungen für Services

• Applicant: Professor Dr. Karsten Wolf
• Subject Area: Theoretical Computer Science
• Term: from 2007 to 2011
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 39297755

• Final Report Year: 2009

Final Report Abstract

Ein Service ist ein Artefakt, das aus eine Kontrollstruktur, einer Kommunikationsschnittstelle und einer Identifikation besteht. Zweck eines Service ist die Erbringungeines in sjch geschlossenen Dienstes. Services lassen sich über service-orientierte Architekturen lose mit einander verbinden. Sie können so z. B. zu komplexeren Services zusammengefasst werden. Zukünftig wird zu einer service-orientierten Architektur auch das automatische auffinden und Verbinden passender Services gehören. Zu diesem Zweck muss für einen Service die möglichst vollständige Information darüber veröffentlicht werden, wie mit ihm korrekt zusammengearbeitet werden kann - eine Bedienungsanleitung. In diesem Projekt wurden Bedienungsanleitungen um mehrere Aspekte erweitert. Das zugrundeliegende Kompatibilitätskriterium sowie das Nachrichtenmodell des Services kann variiert werden. Es ist möglich, die Menge der charakterisierten Services gezielt einzuschränken und so die Suche nach kompatiblen Services zu verfeinern. Weiterhin werden verteilte Umgebungen unterstützt, in denen ein Service gleichzeitig mit mehreren unabhängigen Services interagiert. Zuletzt wurde ein Prototyp entwickelt, der die Ergebnisse des Projektes effizient umsetzt und sie praktisch anwendbar macht.

Publications

• Behavioral constraints for services. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, volume 4714 of Lecture Notes in Computer Science, pages 271-287. Springer-Verlag, September 2007
  Niels Lohmann, Peter Massuthe, and Karsten Wolf
  
• An approach to tackle livelock-freedom in SOA. In Niels Lohmann and Karsten Wolf, editors, 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26-27, 2008, Proceedings, volume 380 of CEUR Workshop Proceedings, pages 69-74. CEUR-WS.org, September 2008
  Christian Stahl and Karsten Wolf
  
• Automatic test case generation for services. In Monika Solanki, Barry Norton, and Stephan Reiff-Marganiec, editors, 3rd Young Researchers Workshop on Service Oriented Computing, YR-SOC 2008, London, UK, 12-13 June 2008, Proceedings, pages 21-26, London, UK, June 2008. Imperial College
  Kathrin Kaschner and Niels Lohmann
  
• Covering places and transitions in open nets. In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors. Business Process Managernent, 6th international Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 116- 131. Springer-Verlag, September 2008
  Christian Stahl and Karsten Wolf
  
• Decompositional calculation of operating guidelines using free choice conflicts. In Niels Lohmann and Karsten Wolf, editors, 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26-27, 2008, Proceedings, volume 380 of CEUR Workshop Proceedings, pages 63-68. CEUR-WS.org, September 2008
  Niels Lohmann
  
• Automatic test case generation for interacting services. In George Feuerlicht and Winfried Lamersdorf, editors, Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, volume 5472 of Lecture Notes in Computer Science, pages 66-78. Springer-Verlag, April 2009
  Kathrin Kaschner and Niels Lohmann
  
• Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng., 68(9):819-833, September 2009
  Christian Stahl and Karsten Wolf
  
• Does my service have unspecified behavior? In Oliver Kopp and Niels Lohmann, editors. Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3,2009, volume 438 of CEUR Workshop Proceedings, pages 22-28. CEUR-WS.org, March 2009
  Kathrin Kaschner and Niels Lohmann
  
• Petrifying operating guidelines for services. In Stephen Edwards and Walter Vogler, editors. Ninth International Conference on Application of Concurrency to System Design (ACSD 2009), 1-3 July 2009, Augsburg, Germany, pages 80-88. IEEE Computer Society, June 2009
  Niels Lohmann and Karsten Wolf
  
• Realizability is controllability. In Oliver Kopp and Niels Lohmann, editors. Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, pages 61-67. CEUR-WS.org, March 2009
  Niels Lohmann and Karsten Wolf
  
• Realizability is controllability. In Oliver Kopp and Niels Lohmann, editors. Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, pages 61-67. CEUR-WS.org, March 2009
  Niels Lohmann and Karsten Wolf
  
• Verifying livelock freedom in an SOA scenario. In Stephen Edwards and Walter Vogler, editors. Ninth International Conference on Application of Concurrency to System Design (ACSD 2009), 1-3 July 2009, Augsburg, Germany, pages 168-177. IEEE Computer Society, June 2009
  Karsten Wolf, Christian Stahl, Janine Ott, and Robert Danitz
  
• Wendy: a tool to synthesize partners for services. Technical report, Universität Rostock, 2009
  Niels Lohmann and Daniela Weinberg