A WSDL-Based Type System for Asynchronous WS-BPEL Processes

Download Now
Provided by: Springer Healthcare
Topic: Big Data
Format: PDF
The authors tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. They focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. They present this language as a process calculus like formalism, that they call WS-CALCULUS, for which they define an operational semantics and a type system. The semantics provides a precise operational model of programs, while the type system forces a clean programming discipline for integrating collaborating services.
Download Now

Find By Topic