<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A WSDL-Based Type System for WS-BPEL"^^ . "We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL. To this aim, first we select an expressive subset of WS-BPEL, with special concern for modeling the interactions among web service instances in a network context, and define its operational semantics. We call ws-calculus the resulting formalism. Then, we put forward a rigorous typing discipline that formalizes the relationship existing between ws-calculus terms and the associated WSDL documents and supports verification of their compliance. We prove that the type system and the operational semantics of ws-calculus are ‘sound’ and apply our approach to an example application involving three interacting web services. "^^ . "2006" . . "4038" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Herbert"^^ . "Wiklicky"^^ . "Herbert Wiklicky"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Paolo"^^ . "Ciancarini"^^ . "Paolo Ciancarini"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . . . . . "A WSDL-Based Type System for WS-BPEL (PDF)"^^ . . . . . . . . . . . "wsc_coordination_2006a.pdf"^^ . . . "A WSDL-Based Type System for WS-BPEL (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A WSDL-Based Type System for WS-BPEL (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #419 \n\nA WSDL-Based Type System for WS-BPEL\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .