Technical Report TR-2007-04

BibliographyKopp, 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-SchemaF.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)
Contactoliver.kopp@iaas.uni-stuttgart.de
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Project(s)Tools4BPEL
Entry dateNovember 19, 2007
   Publ. Computer Science