eprintid: 407
rev_number: 13
eprint_status: archive
userid: 31
dir: disk0/00/00/04/07
datestamp: 2011-06-15 13:25:13
lastmod: 2014-10-08 09:43:28
status_changed: 2011-06-15 13:25:13
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Banti, Federico
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Specification and analysis of SOC systems using COWS: a finance case study
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Service-oriented computing; service orchestration; process calculi; logics and model checking
note: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems (WWV 2008)
abstract: Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent and distributed systems.

We illustrate this approach by focussing on COWS, a process calculus expressly designed for specifying and combining services, while modelling their dynamic behaviour. We present the calculus and one of the analysis techniques it enables, that is based on the temporal logic SocL and the associated model checker CMC. We demonstrate applicability of our tools by means of a large case study, from the financial domain, which is first specified in COWS, and then analysed by using SocL to express many significant properties and CMC to verify them.
date: 2009
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 235
publisher: Elsevier
pagerange: 71-105
id_number: 10.1016/j.entcs.2009.03.006
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S1571066109000851
funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
citation:   Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  Specification and analysis of SOC systems using COWS: a finance case study.  Electronic Notes in Theoretical Computer Science, 235.  pp. 71-105.  ISSN 1571-0661      (2009)  
document_url: http://eprints.imtlucca.it/407/4/Tiezzi_etc_2009b.pdf
document_url: http://eprints.imtlucca.it/407/1/cows_wwv_2009c.pdf