Loading...
Please wait, while we are loading the content...
A Logical Verification Methodology for Service-Oriented Computing · 49 (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Fantechi, Alessandro Lapadula, Alessandro Pugliese, Rosario Tiezzi, Francesco Gnesi, Stefania Mazzanti, Franco |
| Description | 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 they 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 it. We demonstrate feasibility and effectiveness of our methodology |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2008-01-01 |
| Publisher Institution | In FASE. LNCS |
| Access Restriction | Open |
| Subject Keyword | Logical Verification Methodology Service Property Behavioural Property Service Domain Service Request Formal Language Cow Effective Way Distinctive Aspect Branching Time Temporal Logic Socl Formula General Methodology Developed Software Tool Cmc Service-oriented Computing |
| Content Type | Text |
| Resource Type | Article |
