Engineering Open Multi-Agent Systems as Electronic Institutions

In this demo we focus on the engineering of open multi-agent systems as electronic institutions. Electronic institutions are a formalism to define the rules which structure agent interactions, establishing what agents are permitted and forbidden to do. We present a set of tools that support the specification, analysis and execution of institutions, as well as the implementation of agents. Our methodology allows for a successive refinement approach to multi-agent systems engineering.

Authors

• M. Esteva D. de la Cruz
• B. Rosell J. Ll. Arcos
• J. A. Rodríguez-Aguilar and G. Cuní

Keywords

No keywords are indexed for this paper.