TitleISLANDER: en electronic institutions editor
Publication TypeConference Paper
Year of Publication2002
AuthorsEsteva M, de la Cruz D, Sierra C
EditorCastelfranchi C, W. Johnson L
Conference NameProceedings of the First International Joint Conference on Auton omous Agents and Multiagent Systems,(july 15-19, 2002, Bologna, Italy)
PublisherACM PRESS

In this paper we present ISLANDER, a tool for the specification and verification of agent mediated electronic institutions. We have defined a textual declarative language for the specification of the components of an institution. Also as ISLANDER editor is presented. It facilitates the work of the institution designer permiting the combination of graphical and textual specifications. We take the stance that a verifiable formal specification is needed before starting the development of complex systems. This tool is our first step towards having a framework for the design and devolopment of infrastructures for open multi-agent systems.