eprintid: 419
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/04/19
datestamp: 2011-06-15 08:43:00
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-15 08:43:00
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: A WSDL-Based Type System for WS-BPEL
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2006. The original publication is available at www.springerlink.com
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. 
date: 2006
date_type: published
series: Lecture Notes in Computer Science
volume: 4038
publisher: Springer
pagerange: 145-163
id_number: 10.1007/11767954_10
refereed: TRUE
isbn: 3-540-34694-5
book_title: COORDINATION
editors_name: Ciancarini, Paolo
editors_name: Wiklicky, Herbert
official_url: http://dx.doi.org/10.1007/11767954_10
funders: Supported by EU within the FP6-2004-IST-FET Proactive project SENSORIA proposal contract number 016004.
citation:   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)  
document_url: http://eprints.imtlucca.it/419/1/wsc_coordination_2006a.pdf