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 alberti | 1 | 467 | 30.93 |
federico chesani | 2 | 801 | 46.41 |
Marco Gavanelli | 3 | 596 | 48.07 |
Evelina Lamma | 4 | 1268 | 109.21 |
Paola Mello | 5 | 444 | 21.33 |
Marco Montali | 6 | 1280 | 99.36 |
Sergio Storari | 7 | 300 | 18.30 |
Paolo Torroni | 8 | 1167 | 80.57 |