Logo eprints

A Model Checking Approach for Verifying COWS Specifications

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)

PDF - Accepted Version
Download (257kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-540-78743-3_17
Additional Information: ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
Funders: This work has been partially funded 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 14:08
Last Modified: 11 Jul 2011 14:35
URI: http://eprints.imtlucca.it/id/eprint/412

Actions (login required)

Edit Item Edit Item