gehalten am 3. März 2009 auf dem ZEUS 2009 Workshop in Stuttgart

1. Realisierbarkeitist Bedienbarkeit Niels Lohmann und Karsten Wolf ZEUS 2009 ▪ Stuttgart ▪ 2. März 2009 http://service-technology.org UNIVERSITÄT ROSTOCK

2. Choreographie globale Spezifikation von Interaktionsverhalten: Wer interagiert mit welcher Nachricht wann mit wem? Menge von erlaubten Interaktionssequenzen weitere Aspekte: Nachrichtenmodell, Endzustände nicht: internes Verhalten, Verzweigungen 2

3. Realisierbarkeit Kann Choreographie implementiert werden? ✔ 3

4. Beobachter beurteilt Interaktionssequenzen anhand Choreographie ✔ ✘ 4

5. Beobachter: Interna transformiere Choreographie indeterministischen endlichen Automaten 5

6. Beobachter-Service ändere Perspektive: Beobachter ist ein Service Beobachter-Service orchestriert die Teilnehmer 6

7. Bedienbarkeit Existenz von kompatiblen Partner-Services ? ? 7

8. * für drei Realisierbarkeits-Begriffe: vollständige Realisierbarkeit (= realizabilizy) verteilte Realisierbarkeit teilweise Realisierbarkeit (= localenforcability) Realisierbarkeit ist Bedienbarkeit Choreographie realisierbar*, falls Beobachter bedienbar 8

9. Verhalten darf von mehreren Service-Tupeln implementiert werden Verteilte Realisierbarkeit Implementierung 1 Implementierung 2 9

10. reiht sich in Hierarchie ein:echt zwischen vollständigerund teilweiser Realisierbarkeit Algorithmus gibt Diagnoseinformationen: "Lokalrunde" und "Bestellung" sind nicht unabhängig Verteilte Realisierbarkeit 10

11. verfeinere atomaren Nachrichtenaustausch: restlicher Algorithmus unverändert Voraussetzung: beschränkte Puffer Asynchrone Kommunikation 11

12. Fazit Realisierbarkeit (Eigenschaft von Choreographien) und Bedienbarkeit (Eigenschaft von Orchestrierung) sind sehr eng verwandt neuer Begriff: verteilte Realisierbarkeit einheitliche Algorithmen und Herangehensweisen Definition über Semantik, nicht über Dekomposition Kombination aus Interaction Models undInterconnected Models Ausblick Danke sehr! Gibt es fragen? 12

13. Realisierbarkeit Die Choreographie C ist realisierbar, falls Serviceautomaten A1,...,An existieren, sodass deren Komposition A1⊕∙∙∙⊕An und C die gleichen Interaktionssequenzen erzeugen. 13

14. Asynchrone Kommunikation Erweiterung des formalen Modells 14