<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Logical Verification Methodology for Service-Oriented Computing"^^ . "We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that\r\nthey can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain."^^ . "2012" . . "21" . "3" . . "ACM Press"^^ . . . "ACM Transactions on Software Engineering and Methodology"^^ . . . "1049331X" . . . . . . . . . . . . . . . . . . . . . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Alessandro"^^ . "Fantechi"^^ . "Alessandro Fantechi"^^ . . "Franco"^^ . "Mazzanti"^^ . "Franco Mazzanti"^^ . . "Stefania"^^ . "Gnesi"^^ . "Stefania Gnesi"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . . . . . "A Logical Verification Methodology for Service-Oriented Computing (PDF)"^^ . . . "FGLMPT_tosem.pdf"^^ . . . "A Logical Verification Methodology for Service-Oriented Computing (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A Logical Verification Methodology for Service-Oriented Computing (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A Logical Verification Methodology for Service-Oriented Computing (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A Logical Verification Methodology for Service-Oriented Computing (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1560 \n\nA Logical Verification Methodology for Service-Oriented Computing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .