relation: http://eprints.imtlucca.it/419/
title: A WSDL-Based Type System for WS-BPEL
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Ciancarini, Paolo
contributor: Wiklicky, Herbert
date: 2006
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/419/1/wsc_coordination_2006a.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/11767954_10
relation: 10.1007/11767954_10