Engineering open multi-agent systems as electronic institutions
Marc Esteva, David de la Cruz, Bruno Rosell, Josep Lluís Arcos, Juan A. Rodríguez-Aguilar, Guifré Cuní · 2004
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 inter-actions, 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 imple-mentation of agents. Our methodology allows for a succes-sive refinement approach to multi-agent systems engineering.