<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Model Checking Approach for Verifying COWS Specifications"^^ . "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. "^^ . "2008" . . "4961" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Stefania"^^ . "Gnesi"^^ . "Stefania Gnesi"^^ . . "Franco"^^ . "Mazzanti"^^ . "Franco Mazzanti"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Alessandro"^^ . "Fantechi"^^ . "Alessandro Fantechi"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Paola"^^ . "Inverardi"^^ . "Paola Inverardi"^^ . . "Jose"^^ . "Luiz Fiadeiro"^^ . "Jose Luiz Fiadeiro"^^ . . . . . . "A Model Checking Approach for Verifying COWS Specifications (PDF)"^^ . . . . . . . . . . . "cows_logic_2008b.pdf"^^ . . . "A Model Checking Approach for Verifying COWS Specifications (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A Model Checking Approach for Verifying COWS Specifications (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #412 \n\nA Model Checking Approach for Verifying COWS Specifications\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .