relation: http://eprints.imtlucca.it/412/
title: A Model Checking Approach for Verifying COWS Specifications
creator: Fantechi, Alessandro
creator: Gnesi, Stefania
creator: Lapadula, Alessandro
creator: Mazzanti, Franco
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: Luiz Fiadeiro, Jose
contributor: Inverardi, Paola
date: 2008
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/412/1/cows_logic_2008b.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-540-78743-3_17
relation: 10.1007/978-3-540-78743-3_17