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 an ISLANDER editor is presented. It facilitates the work of the institution designer permitting 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 development of infrastructures for open multi-agent systems.
%0 Conference Paper
%1 islander02
%A Esteva, Marc
%A de la Cruz, David
%A Sierra, Carles
%B AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems
%C New York, NY, USA
%D 2002
%I ACM Press
%K institutions, norms
%P 1045--1052
%R http://doi.acm.org/10.1145/545056.545069
%T ISLANDER: an electronic institutions editor
%X 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 an ISLANDER editor is presented. It facilitates the work of the institution designer permitting 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 development of infrastructures for open multi-agent systems.
%@ 1-58113-480-0
@inproceedings{islander02,
abstract = {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 an ISLANDER editor is presented. It facilitates the work of the institution designer permitting 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 development of infrastructures for open multi-agent systems.},
added-at = {2006-11-10T14:16:55.000+0100},
address = {New York, NY, USA},
author = {Esteva, Marc and de la Cruz, David and Sierra, Carles},
biburl = {https://www.bibsonomy.org/bibtex/27ca254c2428240228f66fdb93af43a3c/dameramu},
booktitle = {AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems},
date-added = {2006-11-08 11:31:29 +0000},
date-modified = {2006-11-08 15:04:30 +0000},
description = {PhD References},
doi = {http://doi.acm.org/10.1145/545056.545069},
interhash = {89d171bbca3361521c5e3aac8c0ac8e1},
intrahash = {7ca254c2428240228f66fdb93af43a3c},
isbn = {1-58113-480-0},
keywords = {institutions, norms},
local-url = {file://localhost/Users/cburnett/Documents/ita/papers/p1045-esteva.pdf},
location = {Bologna, Italy},
pages = {1045--1052},
publisher = {ACM Press},
timestamp = {2006-11-10T14:16:55.000+0100},
title = {ISLANDER: an electronic institutions editor},
year = 2002
}