A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
2010
Multiagent and Grid Systems
The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified models. Because of such a drawback, declarative languages are gaining popularity as a better way to model service choreographies. A similar issue was met in the Multi-Agent Systems domain, where declarative approaches based on social semantics have been used to capture the nature
doi:10.3233/mgs-2010-0147
fatcat:ivee42ktrbadbap7tonou4kpby