Logo eprints

A WSDL-based type system for asynchronous WS-BPEL processes

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011)

Full text not available from this repository.


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.

Item Type: Article
Identification Number: 10.1007/s10703-010-0110-0
Additional Information: © Springer Science+Business Media, LLC 2010. The original publication is available at www.springerlink.com. The work presented in this paper is a much extended and revised version of Lapadula A, Pugliese R, Tiezzi F (2006) A WSDL-based type system for WS-BPEL. In: COORDINATION. LNCS, vol 4038. Springer, Berlin, pp 145–163. http://eprints.imtlucca.it/id/eprint/419
Funders: Partially supported by EU Project “Software Engineering for Service-Oriented Overlay Computers” (SENSORIA), IST-2005-016004.
Uncontrolled Keywords: Web services – WSDL – WS-BPEL – Process calculi – Type systems
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 14:39
Last Modified: 11 Jul 2011 14:35
URI: http://eprints.imtlucca.it/id/eprint/401

Actions (login required)

Edit Item Edit Item