Electronic institutions development environment

In this paper we present the Electronic Institutions Development Environment (EIDE) to support the engineering of multiagent systems as Electronic Institutions. An electronic institution defines a set of rules that structure agent interactions, establishing what agents are permitted and forbidden to do, as well as the consequences of their actions. EIDE supports and facilitates all the stages of electronic institutions' engineering, namely from the specification of an institutional rules to its execution and monitoring.