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 |
|---|