EINE VOLLSTÄNDIGE FORMALE SEMANTIK FÜR DIE WEB SERVICE BESCHREIBUNGSSPRACHE BPEL 2.0 |
|
|||||
Reachability anaysis in continuous-time Markov decision processes Logics towards POMDP with and/or without rewards Energy consumption in Ad-Hoc and Sensor Networks Stochastic Interfaces An eclipse environment for Modest (finished) Analysis of an Airbag Control Unit (finished) Titel der Arbeit Eine vollständige formale Semantik für die Web Service Beschreibungssprache BPEL 2.0 Inhalt 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. Vorraussetzungen Grundkenntnisse in Semantik, speziell in operationeller Semantik sind hilfreich. Kenntnisse in Geschäftsprozessen oder -modellen werden für die Arbeit nicht benötig. Status Verfügbar Kontakt Verweise PUT LINKS TO PAPERS/WEBPAGES ETC IN AN ITEMIZED LIST. |
||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |