Bibliograph. Daten | Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Technischer Bericht Informatik Nr. 2007/04. 33 Seiten, englisch.
|
CR-Klassif. | F.3.2 (Semantics of Programming Languages) H.4.1 (Office Automation)
|
Kurzfassung | BPEL is not aware of explicit data dependencies. In this report, we present an algorithm that automatically determines such data dependencies. Especially, we consider dead-path-elimination (DPE) behavior defined in BPEL which allows reducing the number of data dependencies when compared to approaches not dealing with DPE.
|
Volltext und andere Links | PDF (478545 Bytes)
|
Kontakt | oliver.kopp@iaas.uni-stuttgart.de |
Abteilung(en) | Universität Stuttgart, Institut für Architektur von Anwendungssystemen
|
Projekt(e) | Tools4BPEL
|
Eingabedatum | 19. November 2007 |
---|