%0 Book Section
%A Lapadula, Alessandro
%A Pugliese, Rosario
%A Tiezzi, Francesco
%B Concurrency, Graphs and Models
%D 2008
%E Degano, Pierpaolo
%E De Nicola, Rocco
%E Meseguer, José
%F eprints:411
%I Springer
%P 701-720
%S Lecture Notes in Computer Science
%T Specifying and Analysing SOC Applications with COWS
%U http://eprints.imtlucca.it/411/
%V 5065
%X COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above. 
%Z ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com