relation: http://eprints.imtlucca.it/411/
title: Specifying and Analysing SOC Applications with COWS
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Degano, Pierpaolo
contributor: De Nicola, Rocco
contributor: Meseguer, José
date: 2008
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/411/1/cows_2008a.pdf
identifier:   Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  Specifying and Analysing SOC Applications with COWS.   In:  Concurrency, Graphs and Models.   Lecture Notes in Computer Science, 5065 .  Springer, pp. 701-720.  ISBN 978-3-540-68676-7      (2008)  
relation: http://dx.doi.org/10.1007/978-3-540-68679-8_43
relation: 10.1007/978-3-540-68679-8_43