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.

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Bulling, Nils; Dastani, Mehdi: Norm-based mechanism design (2016)
  2. Dastani, Mehdi; Meyer, John-Jules Ch.; Grossi, Davide: A logic for normative multi-agent programs (2013)
  3. Artikis, Alexander: Dynamic specification of open agent systems (2012)
  4. d’Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A.; Sierra, Carles: Communicating open systems (2012) ioport
  5. Hübner, Jomi F.; Boissier, Olivier; Bordini, Rafael H.: A normative programming language for multi-agent organisations (2011)
  6. Hübner, Jomi Fred; Boissier, Olivier; Kitio, Rosine; Ricci, Alessandro: Instrumenting multi-agent organisations with organisational artifacts and agents (2010) ioport
  7. Michael, Loizos; Parkes, David C.; Pfeffer, Avi: Specifying and monitoring economic environments using rights and obligations (2010) ioport
  8. Artikis, Alexander; Sergot, Marek; Pitt, Jeremy: Specifying norm-governed computational societies (2009)
  9. Bromuri, Stefano; Urovi, Visara; Stathis, Kostas: Game-based e-retailing in GOLEM agent environments (2009) ioport
  10. Dennis, Louise; Fisher, Michael; Hepple, Anthony: Language constructs for multi-agent programming (2009)
  11. Artikis, Alexander; Sergot, Marek; Pitt, Jeremy: An executable specification of a formal argumentation protocol (2007)
  12. Berger, Helmut; Dittenbach, Michael; Merkl, Dieter; Bogdanovych, Anton; Simoff, Simeon; Sierra, Carles: Opening new dimensions for e-tourism (2007) ioport
  13. Jonker, Catholijn M.; Sharpanskykh, Alexei; Treur, Jan; Yolum, PInar: A framework for formal modeling and analysis of organizations (2007) ioport
  14. Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni: Mapping deontic operators to abductive expectations (2006)