Now showing items 1-4 of 4
Computational logic for run-time verification of web services choreographies: Exploiting the SOCS-SI tool(Springer, 2006)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 ...
(Oregon State University, 2007)
(IBFI, 2007)In this article, we propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfilment. SCIFF is a declarative language ...
(CILC, 2006)Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented Computing (SOC) share common topics, problems and settings. A common problem is the need to formally verify the conformance ...