Tools4BPEL Abschlusspräsentation

Oliver Kopp, Frank LeymannInstitute of Architecture of Application Systems

[email protected]

Schwerpunkt B:Komposition von Services

Abschlusspräsentation am 5. März 2009

© Oliver Kopp 2

Schwerpunkt B: Komposition von Services

Präsentiert von Oliver Kopp

Agenda

Paket B1 Strukturierung partnerübergreifender Geschäftsprozesse

Modellierung von Choreographien

Paket B2 AutonomieZusammenhang von Choreographien mit Unterprozessen

Paket B3 FehlerbehandlungModellierung von Partner-übergreifender Fehlerbehandlung

Paket B4 Geschäftsprozessübergreifende TransaktionenModellierung von Partner-übergreifender Transaktionen

Entstandene Werkzeuge

3


B1.1 Suprozesse

Klassischer Unterprozess

4

Erweiterter Unterprozess

GemeinsamkeitenEin logischer EingangEin logischer AusgangAbhängig vom Lebenszyklus des Aufrufers

Präsentiert von Oliver Kopp 5

B1.2: Verzahnung durch Choreographien

Mehrere TeilnehmerNachrichten-austausch zwischen den Teilnehmern


Situation zu Beginn des Projekts

Choreographien können auf einer abstrakten Ebene definiert werdenOrchestrierungen können in WS-BPEL spezifiziert werdenWie muss eine (auf BPEL basierende) Choreographie-Sprache beschaffen sein?

6


Heutige Situation

BPEL4Chor als Austauschformat für Choreographien

Interesse von Seiten der Industrie

7


BPEL4Chor

8

BPEL wird zur Beschreibung des lokalen Verhaltens wiederverwendetHinzugekommen: Globale Verbindung, Grounding


Reisebuchung

Idenditifkation von Lücken in BPMN zur Beschreibung von ChoreographienErweiterung von BPMN um entsprechende Konstrukte(türkis)

9


B1.3 Einsatzgebiete

Choreographie als …Vertrag zwischen mehreren Partnern über das GeschäftVorschrift zur Implementierung mehrerer Partner

Compliance

Referenzmodell zur ImplementierungGlobale Sicht auf bestehende Interaktion

BPEL-Prozess als …Vorschrift zur Implementierung eines PartnersBeschreibung des Verhaltens eines Partners

10


B2.1 Autonomie-Grade

Die Airline als Unterprozess

Scope mit einem logischen Eingang und Ausgang

11


Autonomie-Grade: Taxonomie

12

Taxonomie


Verwendung

13

EinzelnerService

Sub-prozess

Angabe mittels WS-Policy


B2.2 Autonomie-Assertions

14

<iaas:datasharing><variable>//variable[@name="request"]

</variable></iaas:datasharing>

<iaas:suspend />


B2.3 Abgleich von Autonomie-Policies

Werkzeug zum Modellieren von Policies und AssertionsWerkzeug enthält Algorithmen zum Abgleich

15


B3.1 Szenarien zur Propagation von Fehlern

16

Produktion benötigt Teile verschiedener ZuliefererWas passiert bei einem Fehler bei den Teileherstellern?


Bisherige Lösung

17

Fehlerbehandlung direkt in BPEL modellieren


B3.2: Sprachelemente zur Propagation

18

Lösung: Choreography SpheresInnere Sphere: Die internen Fehler des Zulieferers werden von der Produktion behandelt


B3.3 Abschluss der Fehlerbehandlung

19


B4.1: Infektion von Partnerprozessen

Falls X kompensiert werden soll, wird mittels WS-BusinessActivity “compensate” auf “op1” aufgerufenAlteranative: Direktes Modellieren von “compensate” als Operation

20

in-out-Operation


B4.2: Wechselwirkung mit lokalen Transaktionen

Aktivität X ist nun Teil von zwei TransaktionenWS-BA-Protokoll deckt diesen Fall nicht abErweiterung von WS-BA notwendig

21


B4.3: Einheitliche Modellierung

22

ChoreographySpheresInnere Sphere: Die internen Fehler des Zulieferers werden von der Produktion behandeltÄußere Sphere: falls bei „buildproduct“ ein Fehler passiert, wird diese spherekompensiert


Entstandene Tools

Web-basierter Editor für den Lebenszyklus von Choreographien

BPMN+ und Transformation auf BPEL4ChorBPEL4ChorBPEL

Editor for WS-PoliciesWird in einem Team von 9 Studenten zu einem Framework weiterentwickelt

Verteilte Entwicklungsumgebung für WS-PoliciesIntegration in einem Enterprise-Service Bus (Apache ServiceMix, OpenSource)

23


Tools und die Integration mit den Partnern

24


Zusammenfassung und Anknüpfungspunkte

Industrie-Standard BPEL zu der Choreographiesprache BPEL4Chor erweitert

AutonomiegradeFehlerbehandlung und Kompensation

Web-basierte Prozessmodellierung mittels BPMNAbbildung auf BPEL4ChorBPEL und BPEL4Chor als Austauschformat mit den Analysewerkzeugen der HU Berlin

Choreography-ComplianceÜberwachung der Choreographie durch einen Enterprise-Service-Bus

25

End of Document

© Oliver Kopp 27

Entstandene Veröffentlichunen


Zeitschriftenbeiträge

Decker, Gero; Kopp, Oliver; Leymann, Frank; Weske, Mathias: Interacting services: from specification toexecution. In: Data & Knowledge Engineering, ElsevierScience Publishers, 2009.Kopp, Oliver; Leymann, Frank: Choreography Design Using WS-BPEL. In: Lohmet, David B. (Hrsg): Bulletin ofthe IEEE Computer Society Technical Committee on Data Engineering. Vol. 31(3), IEEE Computer Society Press, 2008.Khalaf, Rania; Kopp, Oliver; Leymann, Frank: MaintainingData 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.

28

http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-07&mod=0&engl=&inst=IAAS

http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-07&mod=0&engl=&inst=IAAS

http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-21&mod=0&engl=0&inst=IAAS







KonferenzbeiträgeWieland, 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, 2009Kopp, 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, 2008Kopp, 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 2008Decker, 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 2007Decker, 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

29

http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-09&mod=0&engl=0&inst=IAAS














WorkshopbeiträgeKopp, 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, 2009Kopp, 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, 2009Kopp, 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 2008Kopp, Oliver; van Lessen, Tammo; Nitzsche, Jörg: The Need for a Choreography-aware Service Bus. In: YR-SOC 2008Kopp, 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 ProzesskettenLohmann, 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, AustraliaPfitzner, 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, 2007Kopp, 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)

30
















Technische BerichteWieland, 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 GroundedBPEL4Chor Choreography, Technischer Bericht Nr. 2008/07Kopp, Oliver; Mietzner, Ralph; Leymann, Frank: Abstract Syntax of WS-BPEL 2.0, Technischer Bericht Nr. 2008/06Kopp, Oliver; Wetzstein, Branimir; Mietzner, Ralph; Unger, Tobias; Pottinger, Stefan; Karastoyanova, Dimka; Michael, Sabine; Leymann, Frank: A Model-Driven Approach toImplementing Coordination Protocols in BPEL, Technischer Bericht Nr. 2008/02 Kopp, Oliver; Khalaf, Rania; Leymann, Frank: ReachingDefinitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes, Technischer Bericht Nr. 2007/04

31

http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2008-09&mod=0&engl=0&inst=IAAS











Sonstiges

Geplant: Eine DissertationWeiterentwicklung des WS-Policy-Editors in einem Studienprojekt

9 Studenten für ein Jahr

32

http://www.iaas.uni-stuttgart.de/lehre/vorlesung/2008_ss/stupro_wespe/