<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Specifying and Analysing SOC Applications with COWS"^^ . "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. "^^ . "2008" . . "5065" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . "Pierpaolo"^^ . "Degano"^^ . "Pierpaolo Degano"^^ . . "José"^^ . "Meseguer"^^ . "José Meseguer"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . . "Specifying and Analysing SOC Applications with COWS (PDF)"^^ . . . . . . . . . . . "cows_2008a.pdf"^^ . . . "Specifying and Analysing SOC Applications with COWS (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Specifying and Analysing SOC Applications with COWS (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #411 \n\nSpecifying and Analysing SOC Applications with COWS\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .