<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Regulating Data Exchange in Service Oriented Applications"^^ . "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. "^^ . "2007" . . "4767" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Marjan"^^ . "Sirjani"^^ . "Marjan Sirjani"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Farhad"^^ . "Arbab"^^ . "Farhad Arbab"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . . . . . "Regulating Data Exchange in Service Oriented Applications (PDF)"^^ . . . . . . . . . . . "cows_fsen_2007b.pdf"^^ . . . "Regulating Data Exchange in Service Oriented Applications (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Regulating Data Exchange in Service Oriented Applications (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #417 \n\nRegulating Data Exchange in Service Oriented Applications\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .