|Títol||ISLANDER: en electronic institutions editor|
|Publication Type||Conference Paper|
|Year of Publication||2002|
|Authors||Esteva M, de la Cruz D, Sierra C|
|Editor||Castelfranchi C, W. Johnson L|
|Conference Name||Proceedings of the First International Joint Conference on Auton omous Agents and Multiagent Systems,(july 15-19, 2002, Bologna, Italy)|
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.
- Quant a IIIA