Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool [chapter]

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006 Lecture Notes in Computer Science  
In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling choreographies of Web Services with respect to the conversational aspect. One of the fundamental motivations of using computational logic, beside its declarative and highly expressive nature, is given by its operational counterpart, that can provide a proof-theoretic framework able to verify
more » ... he consistency of services designed in a cooperative and incremental manner. In particular, in this paper we show that suitable "Social Integrity Constraints", introduced in the SOCS social model, can be used for specifying global protocols at the choreography level. In this way, we can use a suitable tool, derived from the proof-procedure defined in the context of the SOCS project, to check at runtime whether a set of existing services behave in a conformant manner w.r.t. the defined choreography. M. Bravetti, M. Nuňes, and G.
doi:10.1007/11841197_4 fatcat:6hllivv7nzg7bpzbxnnesztoby