TY  - CHAP
T2  - COORDINATION
EP  - 163
ID  - eprints419
N1  - ©Springer-Verlag Berlin Heidelberg 2006. The original publication is available at www.springerlink.com
UR  - http://dx.doi.org/10.1007/11767954_10
AV  - public
TI  - A WSDL-Based Type System for WS-BPEL
N2  - 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. 
M1  - 4038
SN  - 3-540-34694-5
ED  - Ciancarini, Paolo
ED  - Wiklicky, Herbert
Y1  - 2006///
SP  - 145
T3  - Lecture Notes in Computer Science
PB  - Springer
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
ER  -