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)

Preview

PDF - Accepted Version Download (454kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/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