DMCA
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification
| Citations: | 1 - 1 self |
BibTeX
@MISC{Chesani_agentsocieties,
author = {Federico Chesani and Paola Mello and Marco Montali and Sergio Storari},
title = {Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. The need for specifying choreographies when developing service oriented systems recently arose as an important issue. Although declarativeness has been identified as a key feature, several proposed approaches model choreographies by focusing on procedural aspects, e.g. by specifying control and message flows of the interacting services. A similar issue has been addressed in Multi-Agent Systems (MAS), where declarative approaches based on social semantics have been used to capture the nature of agents interaction without over-constraining their behavior. In this paper we show how DecSerFlow can be mapped to SCIFF in an automatic and complete way. DecSerFlow is a graphical language capable to model in an intuitive and declarative fashion service flows, whereas SCIFF is a framework based on abductive logic programming originally developed for dealing with social interactions in MAS. By means of a running example, we show how the conjunct use of both approaches could be fruitfully exploited to declaratively specify and verify service choreographies. 1
Keyphrases
service choreography declarative approach agent society complete way agent interaction similar issue interacting service social semantics running example whereas sciff important issue approach model choreography procedural aspect conjunct use graphical language abductive logic multi-agent system message flow key feature social interaction declarative fashion service flow
