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