Austauschbarkeit von Services
Final Report Abstract
Dieses Projekt hat eine zentrale Fragestellung service-orientierter Architekturen behandelt: Wann kann ein Service S gegen einen Service S' ausgetauscht werden? Wir haben diese Frage anhand von Modellen für Services diskutiert. Diese Modelle betonen den Kontrollfluss asynchron kommunizierender Services, die zudem interne, von außen unsichtbare Schritte (r-Schritte) enthalten können. Damit ist unser Ansatz im Vergleich zu vielen anderen Ansätzen deutlich näher an der Realität service-orientierter Architekturen. Austauschbarkeit ist ein parametrisierter Begriff. Er hängt immer von Eigenschaften ab, die der neue Prozess bei der Komposition mit Prozessen der Umgebung erhalten soll. In diesem Projekt wurden dafür unterschiedliche Terminierungseigenschaften untersucht, sowie die Durchführung oder der Ausschluss vorgegebener Szenarien. Für alle im Projekt diskutierten Austauschbarkeitsbegriffe haben wir Entscheidungsalgorithmen konstruiert und implementiert. Dazu gibt es wenige alternative Arbeiten. In Bezug auf einige Austauschbarkeitsbegriffe ist es gelungen, Services P zu charakterisieren, die gegen einen gegebenen Service S austauschbar sind. Im Projekt wurden Regeln zur Transformation von Services konstruiert, die die Austauschbarkeit erhalten. Diese Regeln verallgemeinern Arbeiten von Basten und Van der Aalst, die nur das Einfügen und Löschen interner Aktionen vorsehen. Mit unseren Regeln kann beispielsweise auch die Reihenfolge von Sende- und Empfangsaktionen vertauscht werden. Alle unseren Entscheidungsalgorithmen basieren auf dem in der Arbeitsgruppe entwickelten Konzept der Bedienungsanleitung eines Service S. Sie charakterisiert alle fehlerfrei interagierende Partner von S. Viele Konzepte und ihre Anwendungen wurden gemeinsam mit anderen Wissenschaftlern erzielt und publiziert.
Publications
- A Price of Service in a Compositional SOA Framework. Computer Science Report 07/16, Technische Universiteit Eindhoven, The Netherlands, July 2007
Kees M. van Hee, Natalia Sidorova, Christian Stahl, and H. M. W. Verbeek
- Challenges in a service-oriented world. ERCIMNews, 70:28-29, July 2007
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl
- From public views to private views - correctness-by-design for services. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, Lecture Notes in Computer Science. Springer-Verlag, September 2007
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf
- Services as a paradigm of computation. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 pf Lecture Notes in Computer Science, pages 521-538. Springer-Verlag, September 2007
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl
- An approach to tackle livelock-freedom in SOA. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany September26-27,2008, volume 380 of CEUR Workshop Proceedings, pages 69-74. CEUR-WS.org, September 2008
Christian Stahl and Karsten Wolf
- Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng., 64(1 ):38-54, January 2008
Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg
- Covering places and transitions in open nets. In Marlon Dumas and Manfred Reichert, 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 116-131. Springer-Verlag, September 2008
Christian Stahl and Karsten Wolf
- Extending the compatibility notion for abstract WS-BPEL processes. In Wei-Ying Ma, Andrew Tomkins, and Xiaodong Zhang, editors, Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pages 785-794. ACM, April 2008
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf
