A WSDL-Based Type System for WS-BPEL

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (2006)

Preview

PDF - Accepted Version Download (203kB) | Preview

Abstract

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.

Item Type:	Book Section
Identification Number:	10.1007/11767954_10
Additional Information:	©Springer-Verlag Berlin Heidelberg 2006. The original publication is available at www.springerlink.com
Funders:	Supported by EU within the FP6-2004-IST-FET Proactive project SENSORIA proposal contract number 016004.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 31 not found.
Date Deposited:	15 Jun 2011 08:43
Last Modified:	11 Jul 2011 14:35
URI:	http://eprints.imtlucca.it/id/eprint/419

Actions (login required)

Edit Item