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 15 articles )

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

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