German presentation of IAAS' contributions to the Tools4BPEL project

1. Abschlusspräsentation am 5. März 2009
Schwerpunkt B:
Komposition von Services
Oliver Kopp, Frank Leymann
Institute of Architecture of Application Systems
kopp@iaas.uni-stuttgart.de

2. Schwerpunkt B: Komposition
von Services
© Oliver Kopp 2

3. Agenda
Paket B1 Strukturierung partnerübergreifender
Geschäftsprozesse
Modellierung von Choreographien
Paket B2 Autonomie
Zusammenhang von Choreographien mit Unterprozessen
Paket B3 Fehlerbehandlung
Modellierung von Partner-übergreifender Fehlerbehandlung
Paket B4 Geschäftsprozessübergreifende Transaktionen
Modellierung von Partner-übergreifender Transaktionen
Entstandene Werkzeuge
Präsentiert von Oliver Kopp 3

4. B1.1 Suprozesse
Klassischer Unterprozess Erweiterter Unterprozess
Gemeinsamkeiten
Ein logischer Eingang
Ein logischer Ausgang
Abhängig vom Lebenszyklus des Aufrufers
Präsentiert von Oliver Kopp 4

5. B1.2: Verzahnung durch Choreographien
Mehrere
Teilnehmer
Nachrichten-
austausch
zwischen den
Teilnehmern
Präsentiert von Oliver Kopp 5

6. Situation zu Beginn des Projekts
Choreographien
können auf einer
abstrakten Ebene
definiert werden
Orchestrierungen
können in WS-BPEL
spezifiziert werden
Wie muss eine (auf
BPEL basierende)
Choreographie-
Sprache beschaffen
sein?
Präsentiert von Oliver Kopp 6

7. Heutige Situation
BPEL4Chor als
Austauschformat für
Choreographien
Interesse von Seiten
der Industrie
Präsentiert von Oliver Kopp 7

8. BPEL4Chor
BPEL wird zur Beschreibung des lokalen
Verhaltens wiederverwendet
Hinzugekommen: Globale Verbindung, Grounding
Präsentiert von Oliver Kopp 8

9. Reisebuchung
Idenditifkation von Lücken in BPMN zur Beschreibung
von Choreographien
Erweiterung von BPMN um entsprechende Konstrukte
(türkis)
Präsentiert von Oliver Kopp 9

10. B1.3 Einsatzgebiete
Choreographie als …
Vertrag zwischen mehreren Partnern über das
Geschäft
Vorschrift zur Implementierung mehrerer Partner
Compliance
Referenzmodell zur Implementierung
Globale Sicht auf bestehende Interaktion
BPEL-Prozess als …
Vorschrift zur Implementierung eines Partners
Beschreibung des Verhaltens eines Partners
Präsentiert von Oliver Kopp 10

11. B2.1 Autonomie-Grade
Die Airline als Unterprozess
Scope mit einem logischen Eingang und
Ausgang
Präsentiert von Oliver Kopp 11

12. Autonomie-Grade: Taxonomie
Taxonomie
Präsentiert von Oliver Kopp 12

13. Verwendung
Einzelner
Service
Sub-
prozess
Angabe mittels WS-Policy
Präsentiert von Oliver Kopp 13

14. B2.2 Autonomie-Assertions
<iaas:datasharing>
<variable>
//variable[@name=quot;requestquot;]
</variable>
</iaas:datasharing>
<iaas:suspend />
Präsentiert von Oliver Kopp 14

15. B2.3 Abgleich von Autonomie-Policies
Werkzeug zum Modellieren von Policies und
Assertions
Werkzeug enthält Algorithmen zum Abgleich
Präsentiert von Oliver Kopp 15

16. B3.1 Szenarien zur Propagation von Fehlern
Produktion benötigt
Teile
verschiedener
Zulieferer
Was passiert bei
einem Fehler bei
den
Teileherstellern?
Präsentiert von Oliver Kopp 16

17. Bisherige Lösung
Fehlerbehandlung direkt in BPEL modellieren
Präsentiert von Oliver Kopp 17

18. B3.2: Sprachelemente zur Propagation
Lösung:
Choreography
Spheres
Innere Sphere:
Die internen
Fehler des
Zulieferers
werden von der
Produktion
behandelt
Präsentiert von Oliver Kopp 18

19. B3.3 Abschluss der Fehlerbehandlung
Präsentiert von Oliver Kopp 19

20. B4.1: Infektion von Partnerprozessen
in-out-Operation
Falls X kompensiert werden soll, wird mittels WS-
BusinessActivity “compensate” auf “op1” aufgerufen
Alteranative: Direktes Modellieren von “compensate”
als Operation
Präsentiert von Oliver Kopp 20

21. B4.2: Wechselwirkung mit lokalen Transaktionen
Aktivität X ist nun Teil von
zwei Transaktionen
WS-BA-Protokoll deckt
diesen Fall nicht ab
Erweiterung von WS-BA
notwendig
Präsentiert von Oliver Kopp 21

22. B4.3: Einheitliche Modellierung
Choreography
Spheres
Innere Sphere: Die
internen Fehler
des Zulieferers
werden von der
Produktion
behandelt
Äußere Sphere:
falls bei „build
product“ ein Fehler
passiert, wird
diese sphere
kompensiert
Präsentiert von Oliver Kopp 22

23. Entstandene Tools
Web-basierter Editor für den Lebenszyklus von
Choreographien
BPMN+ und Transformation auf BPEL4Chor
BPEL4Chor
BPEL
Editor for WS-Policies
Wird in einem Team von 9 Studenten zu einem
Framework weiterentwickelt
Verteilte Entwicklungsumgebung für WS-Policies
Integration in einem Enterprise-Service Bus (Apache
ServiceMix, OpenSource)
Präsentiert von Oliver Kopp 23

24. Tools und die Integration mit den Partnern
Präsentiert von Oliver Kopp 24

25. Zusammenfassung und Anknüpfungspunkte
Industrie-Standard BPEL zu der
Choreographiesprache BPEL4Chor erweitert
Autonomiegrade
Fehlerbehandlung und Kompensation
Web-basierte Prozessmodellierung mittels BPMN
Abbildung auf BPEL4Chor
BPEL und BPEL4Chor als Austauschformat mit den
Analysewerkzeugen der HU Berlin
Choreography-Compliance
Überwachung der Choreographie durch einen
Enterprise-Service-Bus
Präsentiert von Oliver Kopp 25

26. End of Document

27. Entstandene
Veröffentlichunen
© Oliver Kopp 27

28. Zeitschriftenbeiträge
Decker, Gero; Kopp, Oliver; Leymann, Frank; Weske,
Mathias: Interacting services: from specification to
execution. In: Data & Knowledge Engineering, Elsevier
Science Publishers, 2009.
Kopp, Oliver; Leymann, Frank: Choreography Design
Using WS-BPEL. In: Lohmet, David B. (Hrsg): Bulletin of
the IEEE Computer Society Technical Committee on Data
Engineering. Vol. 31(3), IEEE Computer Society Press,
2008.
Khalaf, Rania; Kopp, Oliver; Leymann, Frank: Maintaining
Data Dependencies Across BPEL Process Fragments. In:
International Journal of Cooperative Information Systems
(IJCIS). Vol. 17(3), World Scientific, 2008.
Decker, Gero; Kopp, Oliver; Barros, Alistair: An
Introduction to Service Choreographies. In: Information
Technology. Vol. 50(2), 2008, Oldenbourg Verlag.
Präsentiert von Oliver Kopp 28

29. Konferenzbeiträge
Wieland, Matthias; Martin, Daniel; Kopp, Oliver; Leymann, Frank: SOEDA: A Methodology
for Specification and Implementation of Applications on a Service-Oriented Event-Driven
Architecture. In: Proceedings of the 12th International Conference on Business
Information Systems (BIS 2009). Poznan, Poland April 27-29, 2009
Kopp, Oliver; Martin, Daniel; Wutke, Daniel; Leymann, Frank: On the Choice Between
Graph-Based and Block-Structured Business Process Modeling Languages. In:
Modellierung betrieblicher Informationssysteme (MobIS 2008). Saarbrücken, Germany,
November 27 - 28, 2008
Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Deriving Explicit Data Links in WS-BPEL
Processes. In: Proceedings of the International Conference on Services Computing,
Industry Track, SCC 2008
Decker, Gero; Kopp, Oliver; Leymann, Frank; Pfitzner, Kerstin; Weske, Mathias: Modeling
Service Choreographies using BPMN and BPEL4Chor. In: Proceedings of the 20th
International Conference on Advanced Information Systems Engineering (CAiSE '08),
2008
Khalaf, Rania; Kopp, Oliver; Leymann, Frank: Maintaining Data Dependencies Across
BPEL Process Fragments. In: Krämer, Bernd J. (Hrsg); Lin, Kwei-Jay (Hrsg);
Narasimhan, Priya (Hrsg): Service-Oriented Computing - ICSOC 2007
Decker, Gero; Kopp, Oliver; Leymann, Frank; Weske, Matthias: BPEL4Chor: Extending
BPEL for Modeling Choreographies. In: IEEE Computer Society (Hrsg): Proceedings of
the IEEE 2007 International Conference on Web Services (ICWS 2007), Salt Lake City,
Utah, USA, July 2007
Präsentiert von Oliver Kopp 29

30. Workshopbeiträge
Kopp, Oliver; Leymann, Frank: Do We Need Internal Behavior in Choreography Models?. Proceedings of the 1st Central-
European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009
Kopp, Oliver; Wieland, Matthias; Leymann, Frank: Towards Choreography Transactions. Proceedings of the 1st Central-
European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009
Kopp, Oliver; Wetzstein, Branimir; Mietzner, Ralph; Pottinger, Stefan; Karastoyanova, Dimka; Leymann, Frank: A Model-
Driven Approach to Implementing Coordination Protocols in BPEL. In: 1st International Workshop on Model-Driven
Engineering for Business Process Management (MDE4BPM 2008)
Lohmann, Niels; Kopp, Oliver: Tools4BPEL4Chor. In: YR-SOC 2008
Kopp, Oliver; van Lessen, Tammo; Nitzsche, Jörg: The Need for a Choreography-aware Service Bus. In: YR-SOC 2008
Kopp, Oliver; Eberle, Hanna; Leymann, Frank; Unger, Tobias: From Process Models to Business Landscapes. In:
Nüttgens, Markus (Hrsg); Rump, Frank J. Rump (Hrsg); Gadatsch, Andreas (Hrsg): EPK 2007:
Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten
Lohmann, Niels; Kopp, Oliver; Leymann, Frank; Reisig, Wolfgang: Analyzing BPEL4Chor: Verification and Participant
Synthesis. In: Dumas, Marlon (Hrsg); Heckel, Reiko (Hrsg): Web Services and Formal Methods, Forth International
Workshop, WS-FM 2007 Brisbane, Australia
Pfitzner, Kerstin; Decker, Gero; Kopp, Oliver; Leymann, Frank: Web Service Choreography Configurations for BPMN.
Proceedings of the 3rd International Workshop on Engineering Service-Oriented Application (WESOA'2007)
Decker, Gero; Kopp, Oliver; Puhlmann, Frank: Service Referrals in BPEL-based Choreographies. In: Gorton, Stephen
(Hrsg); Solanki, Monika (Hrsg); Reiff-Marganiec, Stephen (Hrsg): Proceedings of the 2nd European Young Researchers
Workshop on Service Oriented Computing (YR-SOC 2007)
Wieland, Matthias; Kopp, Oliver; Nicklas, Daniela; Leymann, Frank: Towards Context-Aware Workflows. In: Pernici,
Barbara (Hrsg); Gulla, Jon Atle (Hrsg): CAiSE´07 Proceedings of the Workshops and Doctoral Consortium Vol.2,
Trondheim, Norway, June 11-15th, 2007
Kopp, Oliver; Unger, Tobias; Leymann, Frank: Nautilus Event-driven Process Chains: Syntax, Semantics, and their
mapping to BPEL. In: Nüttgens, M. (Hrsg); Rump, F.J. (Hrsg); Mendling, J. (Hrsg): Proceedings of the 5th GI Workshop
on Event-Driven Process Chains (EPK 2006)
Präsentiert von Oliver Kopp 30

31. Technische Berichte
Wieland, Matthias; Martin, Daniel; Kopp, Oliver; Leymann,
Frank: Events Make Workflows Really Useful, Technischer
Bericht Nr. 2008/09
Reimann, Peter; Kopp, Oliver; Decker, Gero; Leymann, Frank:
Generating WS-BPEL 2.0 Processes from a Grounded
BPEL4Chor Choreography, Technischer Bericht Nr. 2008/07
Kopp, Oliver; Mietzner, Ralph; Leymann, Frank: Abstract
Syntax of WS-BPEL 2.0, Technischer Bericht Nr. 2008/06
Kopp, Oliver; Wetzstein, Branimir; Mietzner, Ralph; Unger,
Tobias; Pottinger, Stefan; Karastoyanova, Dimka; Michael,
Sabine; Leymann, Frank: A Model-Driven Approach to
Implementing Coordination Protocols in BPEL, Technischer
Bericht Nr. 2008/02
Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Reaching
Definitions Analysis Respecting Dead Path Elimination
Semantics in BPEL Processes, Technischer Bericht Nr.
2007/04
Präsentiert von Oliver Kopp 31

32. Sonstiges
Geplant: Eine Dissertation
Weiterentwicklung des WS-Policy-Editors in
einem Studienprojekt
9 Studenten für ein Jahr
Präsentiert von Oliver Kopp 32