Bibliography | Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Technical Report Computer Science No. 2007/04. 33 pages, english.
|
CR-Schema | F.3.2 (Semantics of Programming Languages) H.4.1 (Office Automation)
|
Abstract | 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.
|
Full text and other links | PDF (478545 Bytes)
|
Contact | oliver.kopp@iaas.uni-stuttgart.de |
Department(s) | University of Stuttgart, Institute of Architecture of Application Systems
|
Project(s) | Tools4BPEL
|
Entry date | November 19, 2007 |
---|