TY  - CHAP
ED  - Luiz Fiadeiro, Jose
ED  - Inverardi, Paola
Y1  - 2008///
PB  - Springer
A1  - Fantechi, Alessandro
A1  - Gnesi, Stefania
A1  - Lapadula, Alessandro
A1  - Mazzanti, Franco
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
SP  - 230
T3  - Lecture Notes in Computer Science
ID  - eprints412
N1  - ©Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com
T2  - FASE
EP  - 245
AV  - public
TI  - A Model Checking Approach for Verifying COWS Specifications
UR  - http://dx.doi.org/10.1007/978-3-540-78743-3_17
SN  - 978-3-540-78742-6
M1  - 4961
N2  - 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. 
ER  -