%V 5065
%O ?Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
%B Concurrency, Graphs and Models
%A Alessandro Lapadula
%A Rosario Pugliese
%A Francesco Tiezzi
%D 2008
%L eprints411
%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. 
%I Springer
%E Pierpaolo Degano
%E Rocco De Nicola
%E Jos? Meseguer
%T Specifying and Analysing SOC Applications with COWS
%R 10.1007/978-3-540-68679-8_43
%P 701-720
%S Lecture Notes in Computer Science