Technischer Bericht TR-2007-04

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)
Kontaktoliver.kopp@iaas.uni-stuttgart.de
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen
Projekt(e)Tools4BPEL
Eingabedatum19. November 2007
   Publ. Informatik