EINE VOLLSTÄNDIGE FORMALE SEMANTIK FÜR DIE WEB SERVICE BESCHREIBUNGSSPRACHE BPEL 2.0

Eine vollständige formale Semantik für die Web Service Beschreibungssprache BPEL 2.0

Web Services sind ein neues Modell, um Geschäfte über das Internet

abzuwickeln. Ein Beispiel für einen Geschäftsprozess ist ein

Online-Buchladen, in dem ein Kunde Bücher bestellen kann. Während

dieses Geschäftsvorgangs müssen einige Geschäftsvorgänge erledigt und

Entscheidungen getroffen werden, wie z.B. Zahlungsabwicklung,

Buchversand oder Abbruch der Bestellung. Und auf Seiten des Buchladens

muss dies alles vollautomatisch erfolgen.

Solche Web Services werden in speziellen Sprachen spezifiziert und

auch implementiert. Der de facto Standard dafür ist BPEL 2.0.

Um Web Services adäquat abbilden zu können, brauch BPEL eine schiere

Anzahl von verschiedenen Sprachfeatures mit teils kniffliger

Semantik. Die BPEL Spezifikation selbst bietet jedoch keine formale

Beschreibung der Semantik, sondern verlässt sich dabei auf textuelle

Beschreibungen.

In einer aktuellen Arbeit haben wir einen besonders interessanten

Teil der Sprache formalisiert. Beinahe alle anderen Aspekte der

Sprache wurden in einer anderen Arbeit formal erfasst.

Das Ziel dieser Bachelorarbeit ist es, die beiden Semantiken zu einer

vollständigen Semantik für BPEL 2.0 zusammenzuführen.

Grundkenntnisse in Semantik, speziell in operationeller Semantik sind hilfreich. Kenntnisse in Geschäftsprozessen oder -modellen werden für die Arbeit nicht benötig.

Verfügbar

Christian Eisentraut

PUT LINKS TO PAPERS/WEBPAGES ETC IN AN ITEMIZED LIST.