Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

On the Formal Specification of Electronic Institutions

  • Chapter
  • First Online:
Agent Mediated Electronic Commerce

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1991))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. J. Barkley. Comparing simple role based access control models and access control lists. In Proceedings of the Second ACM Workshop on Role-based Access Control, 1997.

    Google Scholar 

  2. J. Barkley, A. V. Cincotta, D. F. Ferraiolo, S. Gavrilla, and D. R. Kuhn. Role based access control for the world wide web. In 20th National Information System Security Conference, 1997.

    Google Scholar 

  3. M. Becht, T. Gurzki, J. Klarmann, and M. Muscholl. Rope: Role oriented programming environment for multiagent systems. In Proceedings of the Fourth IFCIS Conference on Cooperative Information Systems (CoopIs’99), 1999.

    Google Scholar 

  4. O. Belakhdar and J. Ayel. Modelling approach and tool for designing protocols for automated negotiation in multi-agent systems. In W. van de Velde and J. W. Perram, editors, Agents Breaking Away, number 1038 in Lecture Notes in Artificial Intelligence, pages 100–115. Springer-Verlag, 1996.

    Google Scholar 

  5. R. J. A. Buhr, M. Elammari, T. Gray, and S. Mankowski. A high level visual notation for understanding and designing collaborative, adaptive behaviour in multiagent system. In Proceedings of the 31st Annual Hawaii International Conference on System Sciences (HICSS’98), 1998.

    Google Scholar 

  6. P. R. Cohen and H. J. Levesque. Communicative actions for artificial agents. In Proceeding s of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 65–72, Menlo Park, CA., jun 1995. AAAI Press.

    Google Scholar 

  7. C. Dellarocas and M. Klein. Civil agent societies: Tools for inventing open agent-mediated electronic marketplaces. In Proceedings ACM Conference on Electronic Commerce (EC-99), 1999.

    Google Scholar 

  8. A. Diller. Z An Introduction to Formal Methods. John Wiley & Sons, Inc, 1990.

    Google Scholar 

  9. A. Etzioni. Modern Organizations. Englewood Cliffs, NJ, Prentice-Hall, 1964.

    Google Scholar 

  10. J. Ferber and O. Gutknetch. A meta-model for the analysis of organizations in multiagent systems. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), pages 128–135, 1998.

    Google Scholar 

  11. D. F. Ferraiolo, J. F. Barkley, and D. R. Kuhn. A role based access control model and reference implementation within a corporate intranet. ACM Transactions on Information Systems Security, 1(2), 1999.

    Google Scholar 

  12. D. F. Ferraiolo, J. A. Cugini, and D. R. Kuhn. Role-based access control (rbac): Features and motivations. In Annual Computer Security Applications Conference. IEEE Computer Society Press, 1995.

    Google Scholar 

  13. S. I. Gavrila and J. F. Barkley. Formal specification for role based access control user/role and role/role relationship management. In Proceedings of the Third ACM Workshop on Role-based Access Control, 1998.

    Google Scholar 

  14. M. R. Genesereth and R. E. Fikes. Knowldege interchange format version 3.0 reference manual. Technical Report Report Logic-92-1, Logic Group, Computer Science Department, Standford University, June 1992.

    Google Scholar 

  15. I. Jacobson, M. Christerrson, P. Jonsson, and G. Overgaard. Object-Oriented Software Engineering-A Use Case Driven Approach. Addison-Wesley, 1996.

    Google Scholar 

  16. E. A. Kendall. Agent roles and role models: New abstractions for intelligent agent system analysis and design. In Proceedings of Intelligent Agents for Information and Process Management (AIP’98), 1998.

    Google Scholar 

  17. V. R. Lesser. Reflections on the nature of multi-agent coordination and its implications for an agent architecture. Autonomous Agents and Multi-Agent Systems, 1:89–111, 1998.

    Article  Google Scholar 

  18. P. Noriega and C. Sierra. Towards layered dialogical agents. In Third International Workshop on Agent Theories, Architectures, and Languages, ATAL-96, 1996.

    Google Scholar 

  19. D. North. Institutions, Institutional Change and Economics Perfomance. Cambridge U. P., 1990.

    Google Scholar 

  20. D. Riehle and T. Gross. Role model based framework design and integration. In Proceedings of the 1998 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’98), pages 117–133. ACM Press, 1998.

    Google Scholar 

  21. J. A. Rodríguez-Aguilar, F. J. Martín, P. Noriega, P. Garcia, and C. Sierra. Towards a formal specification of complex social structures in multi-agent systems. In J. A. Padget, editor, Collaboration between Human and Artificial Societies, volume 1624 of Lecture Notes in Artificial Intelligence, pages 284–300. Springer-Verlag, 2000.

    Google Scholar 

  22. R. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman. Role based access control models. IEEE Computer, 29(2), 1996.

    Google Scholar 

  23. W. R. Scott. Organizations: Rational, Natural, and Open Systems. Englewood Cliffs, NJ, Prentice Hall, 1992.

    Google Scholar 

  24. J. R. Searle. Speech acts. Cambridge U.P., 1969.

    Google Scholar 

  25. C. Sierra and P. Noriega. Institucions electròniques. In Proceedings of the Primer Congrès Català d’Intel.ligència Artificial, 1998.

    Google Scholar 

  26. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.

    Article  Google Scholar 

  27. M. Wooldridge, N. R. Jennings, and D. Kinny. A methodology for agent-oriented analysis and design. In Proceedings of the Third International Conference on Autonomous Agents (AGENTS’99), May 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Research Institute, IIIA, Spanish Council for Scientific Research, CSIC, 08193, Barcelona, Bellaterra, Spain

    Marc Esteva, Juan-Antonio Rodríguez-Aguilar, Carles Sierra, Pere Garcia & Josep L. Arcos

Authors
  1. Marc Esteva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan-Antonio Rodríguez-Aguilar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carles Sierra
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Pere Garcia
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Josep L. Arcos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences, Utrecht University, P.O.Box 80.089, 3508 TB, Utrecht, The Netherlands

    Frank Dignum

  2. IIIA, CSIC Campus UAB, 08193, Bellaterra, Catalonia, Spain

    Carles Sierra

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Esteva, M., Rodríguez-Aguilar, JA., Sierra, C., Garcia, P., Arcos, J.L. (2001). On the Formal Specification of Electronic Institutions. In: Dignum, F., Sierra, C. (eds) Agent Mediated Electronic Commerce. Lecture Notes in Computer Science(), vol 1991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44682-6_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-44682-6_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41671-5

  • Online ISBN: 978-3-540-44682-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation