Model-Driven Software Development

Transkript

1 Model-Driven Software Development BPEL 2.0 Robert Siebert Das Forschungs- und Entwicklungsprojekt OrViA wird mit Mitteln des Bundesministeriums für Bildung und Forschung (BMBF) gefördert, die innerhalb der zweiten Auswahlrunde der Forschungsoffensive Softwareengineering 2006 vergeben wurden, und vom Deutschen Zentrum für Luft- und Raumfahrt (DLR), Projektträger Informationstechnik/ Softwaresysteme betreut. 1

2 Agenda Web Services BPEL (Version 1.1) Prozessstruktur Sprachbestandteile BPEL (Version 2.0) Äktivitäten Änderungen und Erweiterungen Abstrakte Prozesse BPEL-Engines Migrationsprobleme Zusammenfassung Universität Leipzig

3 BPEL4WS - Allgemeines Business Process Execution Language Vereinigung von WSFL und Xlang Versionen 2002: : : 2.0 (geplant) formale Sprache zur Beschreibung von Geschäftsprozessen BPEL orchestriert Web Services Kommunikation Zusammenhänge Ausführungsreihenfolge Universität Leipzig

4 Web Services Web Services ist eine modulare Softwarekomponente Web Service Technology Stack Transport, XML SOAP Definiert ein Protokoll um Nachrichten über ein Netzwerk auszutauschen UDDI Unabhängiger XML-Verzeichnisdienst für die Veröffentlichung der Web Services im Internet WSDL Beschreibt die Schnittstelle eines Web Services BPEL Erweitert den Stack um eine Verhaltensbeschreibung Universität Leipzig

5 BPEL4WS - Prozesse Prozesse werden in einem XML ähnlichen format beschrieben PartnerLinks verbinden Operationen eines Dienstes, der am Geschäftsprozess beteiligt ist Variablen CorrelationSets Weisen Nachrichten eine ID für die Zuordnung zu den Instanzen zu Handler FaultHandler CompensationHandler EventHandler Aktivitäten Universität Leipzig

6 BPEL4WS - Sprachbestandteile Elementare Aktivitäten Keine Struktur Beispiele Receive, Reply Wait, Empty, Terminate Throw Assign Compensate Strukturierte Aktivitäten Bestehen aus mehreren elementaren Aktivitäten Ermöglichen komplexe Prozesse Beispiele Flow Scope While, Switch, Sequence Universität Leipzig

7 WS-BPEL 2.0 Aktivitäten I Spezifikation noch nicht fertiggestellt Entfernte Aktivitäten Partner Gruppierte mehrere partnerlinks Konzept war nur beschreibend CompensationHandler im Wurzelelement process Konnte nie aufgerufen werden Neue konditionale Aktivitäten If Ersetzt die switch Aktivität Schachtelung durch if, else, ifelse möglich RepeatUntil ForEach Universität Leipzig

8 WS-BPEL 2.0 Aktivitäten II Zusätzliche Aktivitäten Rethrow Wirft Fehler noch einmal Variablen werden zurückgesetzt Sinnvoll beim Testen mehrerer Möglichkeiten zur Fehlerbehandlung Validate Validiert Variablen gegen ihre XML-Schema Definition Stellt Konsistenz sicher OnAlarm Löst Alarm aus Zeitpunkt oder Zeitspanne und Wiederholungen einstellbar Universität Leipzig

9 WS-BPEL 2.0 Syntaktische Änderungen Viele syntaktische Änderungen Umbenennungen XML-Attribut variableaccessserializable wird zu isolated XML-Element <terminate> wird zu <exit> umbenannt XML-Attribut onmessage der Ereignisbehandlung wird zu onevent Diverses Das XML-Attribut joincondition wurde entfernt und als XML-Element innerhalb des Elementes <targets> eingeführt. Der Attributwert rendezvous des XML-Attributes initiate wird durch den Wert join ersetzt Die Angabe des Porttyps der Aktivitäten <receive>, <invoke>, <reply>, <pick> und <onevent> ist nicht länger zwingend Die URI für die Expression/Query Language wurde geändert Universität Leipzig

10 WS-BPEL 2.0 Erweiterungen I Expression / Query Language Ausdrücke sind als Elemente anstatt Attribute realisiert Boolesche Ausdruck unsigned Integer Scopes Initialisierung von Scopes Isolierte Scopes Einbettung weiterer Scopes Kontrolliert gemeinsam genutzte Variablen Kein Deadlock Links Keine Zyklen möglich Nur zwei Aktivitäten pro Link Universität Leipzig

11 WS-BPEL 2.0 Erweiterungen II Event Handler Start erst nach Abarbeitung der Startaktivität Mehrere Event Handler arbeiten mit Kopien der selben Variable Fault Handler Standardfehler für Anfrage-Antwort Operation ohne Antwort Termination Handler Auslagerung des Fehlers bpws:forcedtermination in eigenen Termination Handler Compensation Handler Mehrmaliges Aufrufen des Handlers wird ignoriert Zusätzliche <compensatescope> Aktivität Universität Leipzig

12 WS-BPEL 2.0 Datenmanipulation Umfangreiche Änderungen im Datenmodell Verwendet XML-Infosets Komplexer XML-Schematyp kann verwendet werden Vereinfachung des Datenmodells in XPath 1.0 Zugriff auf Status eines Links über $linkname Zugriff auf Variablenwert über $varname Zugriff auf komplexe Variablen über XPath möglich z.b. Anonymes Element nötig $Results zeigt dabei auf das Variablenelement AuctionResult[2] verweist auf das zweite Kindelement von AuctionResult Die wählt das Attribut des selektierten AuctionResult Elementes aus Universität Leipzig

13 WS-BPEL 2.0 Abstrakte Prozesse Abstrakte Prozesse Beschreiben die Interaktionen zum Nachrichtentausch Verstecken interne Details Bestehen aus Common Base und mehreren Profilen Common Base Legt Eigenschaften fest und wie Profile diese erweitern können Alle Konstrukte möglich Platzhalter für Aktivitäten zur Vervollständigung durch <opaqueactivity> Profile Beschreiben konkrete Anwendungsfälle Zwei Profile sind bereits definiert Abstract Process Profile for Observable Behaviour Abstract Process Profile for Templates Universität Leipzig

14 BPEL-Engines Interpretiert BPEL-Dateien und steuert die Interaktionen Geschäftsprozesse sind damit portierbar BPEL-Engines (Auszug) ActiveBPEL Agila BPEL Process Manager Enterprise Service Bus PXE Websphere Studio Application Developer Integration Edition Lediglich ActiveBPEL 2.0 unterstützt BPEL4WS 1.1 vollständig Universität Leipzig

15 Migrationsprobleme Keine Software für automatische Migration vorhanden Manuelle Migration Aufwendig bei komplexeren Geschäftsprozessen Ablauf einer möglichen Migration Einlesen und Zwischenspeichern des Geschäftsprozesses Vergleich der Spezifikation 1.1 gegen 2.0 Abweichungen protokollieren und klassifizieren Syntaktische Änderungen ersetzen Entfernen von nicht mehr existenten Elementen und Attributen Einpflegen der semantischen Änderungen, die Auswirkungen auf die Geschäftslogik haben könnten (Links, Handler, Nachrichten) Testen Universität Leipzig

16 Zusammenfassung Detailliertere Beschreibung der Spezifikation (ca. +80 Seiten) Viele Änderungen und Verbesserungen sind eingeflossen Neue Aktivitäten Syntaktische Änderungen Erweiterungen Portierbarkeit und Kompatibilität wurde gesteigert Noch keine vollständige Migrationslösung vorhanden Zukünftige Unterstützung der Spezifikation durch BPEL-Engines Universität Leipzig