Student Thesis STUD-2246

BibliographyGao, Yangyang: Implementierung einer Datenflussanalyse für WS-BPEL 2.0.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Student Thesis No. 2246 (2010).
54 pages, german.
CR-SchemaF.3.2 (Semantics of Programming Languages)
H.4.1 (Office Automation)
Abstract

BPEL ist eine Sprache, um Geschäftsprozesse zu definieren. Daten können durch geteilte Variablen behandelt werden. Die Datenflussanalyse kann in der BPEL angewendet werden, um Datenabhängigkeiten in einem Prozess zu bestimmen. In dieser Arbeit wird die Datenflussanalyse von [Bre08] durch das Programm realisiert und kann durch die komplette Semantik von WS-BPEL 2.0 unterstützt werden. In der Arbeit wird zuerst ein Überblick über Business Process Execution Language 2.0 gegeben. Wie die unterschiedlichen Aktivitäten zu den Variablenelemente geschrieben werden, wird detailliert vorgestellt. Dann wird die Datenflussanalyse erklärt, innerhalb werden einige wichtige Definitionen z. B. der writes Zustand, DPE usw. und die Funktion joinCondition vorgestellt. Schließlich wird die Implementierung der Algorithmen durch Klassendiagramme und Sequenzdiagramme dargestellt. Die Testprogramme werden eingegeben und die Fehler von den Algorithmen werden korrigiert.

Full text and
other links
PDF (1206694 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Superviser(s)Kopp, Oliver
Entry dateMarch 30, 2010
   Publ. Computer Science