On the Formal Specifications of Electronic Institutions

In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations (electronic institutions) composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts. Here we take the view that the design and development of electronic institutions must be guided by a principled methodology. Along this direction, we advocate for the presence of an underlying formal method that underpins the use of structured design techniques and formal analysis, facilitating development, composition and reuse. For this purpose we propose a specification formalism for electronic institutions that founds their design, analysis and development.

[1]  ej.  Amitai Etzioni, Modern Organizations, Prentice-Hall, Englewood Cliffs, N. J., 1964, 120 s. , 1965 .

[2]  W. Richard Scott.  Organizations: Rational, Natural, and Open Systems , 1981 .

[3]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[4]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[5]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[6]  David R. Kuhn,et al.  Role-Based Access Control (RBAC): Features and Motivations | NIST , 1995 .

[7]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[8]  Jacqueline Ayel,et al.  Modelling Approach and Tool for Designing Protocols for Automated Cooperation in Multi-Agent Systems , 1996, MAAMAW.

[9]  Ravi S. Sandhu,et al.  Role-Based Access Control Models , 1996, Computer.

[10]  Pablo Noriega,et al.  Towards Layered Dialogical Agents , 1996, ATAL.

[11]  David F. Ferraiolo,et al.  Role Based Access Control for the World Wide Web , 1997 .

[12]  John F. Barkley,et al.  Comparing simple role based access control models and access control lists , 1997, RBAC '97.

[13]  Dirk Riehle,et al.  Role model based framework design and integration , 1998, OOPSLA '98.

[14]  Serge Mankovskii,et al.  A high level visual notation for understanding and designing collaborative, adaptive behaviour in multiagent systems , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[15]  Serban I. Gavrila,et al.  Formal specification for role based access control user/role and role/role relationship management , 1998, RBAC '98.

[16]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[17]  D. Richard Kuhn,et al.  A role-based access control model and reference implementation within a corporate intranet , 1999, TSEC.

[18]  Pablo Noriega,et al.  Towards a Formal Specification of Complex Social Structures in Multi-agent Systems , 1999, Collaboration between Human and Artificial Societies.

[19]  Michael Becht,et al.  ROPE: role oriented programming environment for multiagent systems , 1999, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).

[20]  Nicholas R. Jennings,et al.  A methodology for agent-oriented analysis and design , 1999, AGENTS '99.

[21]  Mark Klein,et al.  Civil Agent Societies: Tools for Inventing Open Agent-Mediated Electronic Marketplaces , 1999, Agent Mediated Electronic Commerce.