MANET: A Model for First-Class Electronic Institutions

Charalampos Tampitsikas, Stefano Bromuri, and Michael Ignaz Schumacher, Coordination, Organization, Institutions and Norms in Agent Systems (COIN-AAMAS 2011), 2011, []

In this paper we present a new approach to model electronic institutions that are situated in agent environments where heterogeneous agents reside. An electronic institution is seen here as an entity that is deployed within an environment infrastructure that directly mediates the agents interaction. The environment allows the rules of the institution, in terms of powers, permissions and obligations to be perceivable as first class entities by the agents belonging to the institution. We express institutions as first class abstractions that can be inspected, manipulated and modified, created and destroyed by the agents populating the agent environment where the institution resides. To represent the institution we utilize the Object Event Calculus (OEC) formalism that deals with the evolution of complex structures in time and we extend it to deal with the mediation of the events and with the perception of complex structures and events within institutions. We use an e-Health marketplace based on dutch auctions to illustrate the properties of our model.