<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A WSDL-based type system for asynchronous WS-BPEL processes"^^ . "We 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. We focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. We present this language as a process calculus-like formalism, that we call ws-calculus, for which we 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. We prove that the operational semantics of ws-calculus and the type system are ‘sound’ and apply our approach to some illustrative examples. We expect that our formal development can be used to make the relationship between WS-BPEL programs and the associated WSDL documents precise and to support verification of their conformance. "^^ . "2011" . "38" . "2" . . "Springer"^^ . . . "Formal Methods in System Design"^^ . . . "09259856" . . . . . . . . . . . . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . . . . "HTML Summary of #401 \n\nA WSDL-based type system for asynchronous WS-BPEL processes\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .