Paper Info
Title
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool
Abstract
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 the 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 run-time whether a set of existing services behave in a conformant manner w.r.t. the defined choreography.
Year
DOI
Venue
2006
10.1007/11841197_4
WS-FM
Keywords
Field
DocType
socs social model,conformant manner w,web services choreography,socs-si tool,computational logic,socs project,choreography level,proof-theoretic framework,socs ue project,run-time verification,suitable tool,global computing,incremental manner,web service
Computational logic,Computer science,Semantic Web,Conformance testing,Choreography,Data integrity,Formal methods,Web service,Business Process Model and Notation,Distributed computing
Conference
Volume
ISSN
ISBN
4184
0302-9743
3-540-38862-1
Citations 
PageRank 
References 
8
0.55
18
Authors
8
Name
Order
Citations
PageRank
marco alberti146730.93
federico chesani280146.41
Marco Gavanelli359648.07
Evelina Lamma41268109.21
Paola Mello544421.33
Marco Montali6128099.36
Sergio Storari730018.30
Paolo Torroni8116780.57