TY  - CHAP
AV  - public
ID  - eprints411
TI  - Specifying and Analysing SOC Applications with COWS
UR  - http://dx.doi.org/10.1007/978-3-540-68679-8_43
PB  - Springer
EP  - 720
T3  - Lecture Notes in Computer Science
SP  - 701
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
T2  - Concurrency, Graphs and Models
M1  - 5065
N1  - ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
ED  - Degano, Pierpaolo
ED  - De Nicola, Rocco
ED  - Meseguer, José
N2  - 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. 
SN  - 978-3-540-68676-7
Y1  - 2008///
ER  -