Logo eprints

Specifying and Analysing SOC Applications with COWS

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)

PDF - Accepted Version
Download (454kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-540-68679-8_43
Additional Information: ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
Funders: This work has been supported by the EU project SENSORIA, IST-2005-016004.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 14 Jun 2011 13:55
Last Modified: 11 Jul 2011 14:35
URI: http://eprints.imtlucca.it/id/eprint/411

Actions (login required)

Edit Item Edit Item