eprintid: 412
rev_number: 8
eprint_status: archive
userid: 31
dir: disk0/00/00/04/12
datestamp: 2011-06-14 14:08:44
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-14 14:08:44
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Fantechi, Alessandro
creators_name: Gnesi, Stefania
creators_name: Lapadula, Alessandro
creators_name: Mazzanti, Franco
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: A Model Checking Approach for Verifying COWS Specifications
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: We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. The properties are described by means of SocL, a logic specifically designed to capture peculiar aspects of services. Service behaviours are abstracted in terms of Doubly Labelled Transition Systems, which are used as the interpretation domain for SocL formulae. We also illustrate the SocL model checker at work on a bank service scenario specified in COWS. 
date: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 4961
publisher: Springer
pagerange: 230-245
id_number: 10.1007/978-3-540-78743-3_17
refereed: TRUE
isbn: 978-3-540-78742-6
book_title: FASE
editors_name: Luiz Fiadeiro, Jose
editors_name: Inverardi, Paola
official_url: http://dx.doi.org/10.1007/978-3-540-78743-3_17
funders: This work has been partially funded by the EU project Sensoria (IST-2005-016004).
citation:   Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco  A Model Checking Approach for Verifying COWS Specifications.   In:  FASE.   Lecture Notes in Computer Science, 4961 .  Springer, pp. 230-245.  ISBN 978-3-540-78742-6      (2008)  
document_url: http://eprints.imtlucca.it/412/1/cows_logic_2008b.pdf