eprintid: 411
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/04/11
datestamp: 2011-06-14 13:55:41
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-14 13:55:41
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Specifying and Analysing SOC Applications with COWS
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
abstract: 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. 
date: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 5065
publisher: Springer
pagerange: 701-720
id_number: 10.1007/978-3-540-68679-8_43
refereed: TRUE
isbn: 978-3-540-68676-7
book_title: Concurrency, Graphs and Models
editors_name: Degano, Pierpaolo
editors_name: De Nicola, Rocco
editors_name: Meseguer, José
editors_id: 
editors_id: r.denicola@imtlucca.it
editors_id: 
official_url: http://dx.doi.org/10.1007/978-3-540-68679-8_43
funders: This work has been supported by the EU project SENSORIA, IST-2005-016004.
citation:   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)  
document_url: http://eprints.imtlucca.it/411/1/cows_2008a.pdf