论文信息 - ISLANDER: an electronic institutions editor

ISLANDER: an electronic institutions editor

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] Juan Antonio Rodriguez,et al. On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .

[2] Marc Esteva,et al. On the Formal Specifications of Electronic Institutions , 2001, AgentLink.

[3] Les Gasser,et al. MACE: A Flexible Testbed for Distributed AI Research , 1987 .

[4] F. Dignum,et al. Agent Mediated Electronic Commerce: The European AgentLink Perspective , 2001 .

[5] Daniel D. Corkill,et al. Chapter 3 – Instantiating Descriptions of Organizational Structures , 1987 .

[6] Victor R. Lesser,et al. Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture , 2004, Autonomous Agents and Multi-Agent Systems.

[7] Alan H. Bond,et al. Distributed Artificial Intelligence , 1988 .

[8] Carles Sierra,et al. Agent-Mediated Electronic Commerce , 2004, Autonomous Agents and Multi-Agent Systems.

[9] Victor R. Lesser,et al. The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network , 1983, IJCAI.

[10] Douglass C. North,et al. Institutions, Institutional Change and Economic Performance: Organizations, learning, and institutional change , 1990 .