eprintid: 417
rev_number: 9
eprint_status: archive
userid: 31
dir: disk0/00/00/04/17
datestamp: 2011-06-15 08:30:11
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-15 08:30:11
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: Regulating Data Exchange in Service Oriented Applications
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2007. The original publication is available at www.springerlink.com
abstract: We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining data exchanges in terms of sets of service partner names attachable to each single datum. Service programmers explicitly write only the annotations necessary to specify the wanted policies for communicable data, while a type inference system (statically) derives the minimal additional annotations that ensure consistency of services initial configuration. Then, the language dynamic semantics only performs very simple checks to authorize or block communication. We prove that the type system and the operational semantics are sound. As a consequence, we have the following data protection property: services always comply with the policies regulating the exchange of data among interacting services. We illustrate our approach through a simplified but realistic scenario for a service-based electronic marketplace. 
date: 2007
date_type: published
series: Lecture Notes in Computer Science
volume: 4767
publisher: Springer
pagerange: 223-239
id_number: 10.1007/978-3-540-75698-9_15
refereed: TRUE
isbn: 978-3-540-75697-2
book_title: International Symposium on Fundamentals of Software Engineering (FSEN 2007)
editors_name: Arbab, Farhad
editors_name: Sirjani, Marjan
official_url: http://dx.doi.org/10.1007/978-3-540-75698-9_15
funders: This work has been supported by the EU project SENSORIA, IST-2005-016004.
citation:   Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  Regulating Data Exchange in Service Oriented Applications.   In:  International Symposium on Fundamentals of Software Engineering (FSEN 2007).   Lecture Notes in Computer Science, 4767 .  Springer, pp. 223-239.  ISBN 978-3-540-75697-2      (2007)  
document_url: http://eprints.imtlucca.it/417/1/cows_fsen_2007b.pdf