Diploma Thesis DIP-2726

BibliographyBreier, Sebastian: Extended Data-flow Analysis on BPEL Processes.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2726 (2008).
107 pages, english.
CR-SchemaF.3.2 (Semantics of Programming Languages)
H.4.1 (Office Automation)
KeywordsBPEL; Data Flow; Data Flow Analysis; Web Service; WSDL
Abstract

This work uses an abstract interpretation of BPEL to analyse data flow of BPEL processes.

Full text and
other links
PDF (1367246 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
ContactSebastian.Breier@gmx.net
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Superviser(s)Kopp, Oliver
Project(s)Tools4BPEL
Entry dateJuly 22, 2008
   Publ. Computer Science