Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Organizations

  • Conference paper
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005)

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

Included in the following conference series:

Abstract

A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organizational model and includes the (frequently ignored) environment. The transition is described from a generic framework of an organization to its deployed model and to the actual agent allocation. For verification and validation purposes, a set of dedicated techniques is introduced. Moreover, where most models can handle only two or three layered organizational structures, our framework can handle any arbitrary number of organizational layers. Henceforth, real-world organizations can be modeled and analyzed, as illustrated by a case study, within the DEAL project line.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amiguet, M., Müller, J.-P., Baez-Barranco, J.-A., Nagy, A.: The MOCA platform. In: Sichman, J.S., Bousquet, F., Davidsson, P. (eds.) MABS 2002. LNCS, vol. 2581, pp. 70–88. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Sytems 8, 203–236 (2004)

    Article  Google Scholar 

  3. Dastani, M., Hulstijn, J., Dignum, F., Meyer, J.J.: Issues in multiagent system development. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 2, pp. 922–929. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  4. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: An electronic institutions editor. In: Gini, M., Ishida, T., Castelfranchi, C., Johnson, W.L. (eds.) The First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), vol. 3, pp. 1045–1052. ACM, New York (2002)

    Google Scholar 

  5. Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: An organizational view of multi-agent systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214–230. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Dignum, F.P.M., Dignum, V., Sonenberg, L.: Exploring congruence between organizational structure and task performance: A simulation approach. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS, vol. 3913, pp. 213–230. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Hannoun, M., Sichman, J.S., Boissier, O., Sayettat, C.: Dependence relations between roles in a multi-agent system. In: Sichman, J.S., Conte, R., Gilbert, N. (eds.) MABS 1998. LNCS, vol. 1534, pp. 169–182. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  8. Hoogendoorn, M., Jonker, C.M., Schut, M.C., Treur, J.: Modelling the organisation of organizational change. In: Giorgini, P., Winikoff, M. (eds.) Proceedings of the Sixth International Workshop on Agent-Oriented Information Systems (AOIS 2004), pp. 26–46 (2004)

    Google Scholar 

  9. Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review 9, 281–316 (2005)

    Article  Google Scholar 

  10. Hübner, J.F., Sichman, J.S., Boissier, O.: A model for the structural, functional, and deontic specification of organizations in multiagent systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS, vol. 2507, pp. 118–128. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Hübner, J.F., Sichman, J.S., Boissier, O.: S-MOISE+: A Middleware for developing Organized Multi-Agent Systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS, vol. 3913, pp. 64–78. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Jonker, C.M., Treur, J.: A temporal-interactivist perspective on the dynamics of mental states. Cognitive Systems Research Journal 4, 137–155 (2003)

    Article  Google Scholar 

  13. Jonker, C.M., Treur, J., Wijngaards, W.C.A.: A temporal-modelling environment for internally grounded beliefs, desires, and intentions. Cognitive Systems Research Journal 4(3), 191–210 (2003)

    Article  Google Scholar 

  14. Lomi, A., Larsen, E.R. (eds.): Dynamics of Organizations: Computational Modeling and Organization Theories. The MIT Press, Cambridge, MA (2001)

    Google Scholar 

  15. Mintzberg, H.: The Structuring of Organizations. Prentice Hall, Englewood Cliffs (1979)

    Google Scholar 

  16. Miles, R.E., Snow, C.C., Mathews, J.A., Miles, G., Coleman, H.J.: Organizing in the Knowledge Age: Anticipating the Cellular Form. Academy of Management Executive 11, 7–20 (1997)

    Google Scholar 

  17. Morgan, G.: Images of organizations. SAGE Publications, Thousand Oaks, London, New Delhi (1996)

    Google Scholar 

  18. Omicini, A.: SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. Prietula, M., Gasser, L., Carley, K.: Simulating Organizations. MIT Press, Cambridge (1997)

    Google Scholar 

  20. Scott, W.R.: Institutions and organizations, 2nd edn. SAGE Publications, Thousand Oaks, London, New Delhi (2001)

    Google Scholar 

  21. Sibertin-Blanc, C., Amblard, F., Mailliard, M.: A coordination framework based on the sociology of organized action. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS, vol. 3913, pp. 3–17. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: the Gaia Methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317–370 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, NL 1081 HV, Amsterdam, The Netherlands

    Egon L. van den Broek, Alexei Sharpanskykh & Jan Treur

  2. NICI, Radboud University Nijmegen, Montessorilaan 3, 6525 HR, Nijmegen, The Netherlands

    Catholijn M. Jonker

  3. Department of Computer Engineering, Bogazici University, TR 34342, Bebek, Istanbul, Turkey

    pInar Yolum

Authors
  1. Egon L. van den Broek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Catholijn M. Jonker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexei Sharpanskykh
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. pInar Yolum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SMA/G2I/ENSM.SE, 158 Cours Fauriel, 42023, Saint-Etienne, Cedex, France

    Olivier Boissier

  2. Department of Computer Science, University of Bath, BA2 7AY, BATH, UK

    Julian Padget

  3. Dept. Information and Computing Sciences, Utrecht University, The Netherlands

    Virginia Dignum

  4. Institute for Computer Science, Humboldt-University Berlin, Berlin, Germany

    Gabriela Lindemann

  5. Department of Computer Science, University of Cincinnati, Cincinnati, OH, USA

    Eric Matson

  6. Centre for Intelligent Information Technologies (CETINIA), Universidad Rey Juan Carlos, Calle Tulipán s/n, 28933, Móstoles (Madrid), Spain

    Sascha Ossowski

  7. Laboratório de Técnicas Inteligentes (LTI) Escola Politécnica (EP), Universidade de São Paulo (USP),  

    Jaime Simão Sichman

  8. Department of Software, Polytechnic University of Catalonia, Barcelona, Spain

    Javier Vázquez-Salceda

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van den Broek, E.L., Jonker, C.M., Sharpanskykh, A., Treur, J., Yolum, p. (2006). Formal Modeling and Analysis of Organizations. In: Boissier, O., et al. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. AAMAS 2005. Lecture Notes in Computer Science(), vol 3913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11775331_2

Download citation

  • DOI: https://doi.org/10.1007/11775331_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35173-3

  • Online ISBN: 978-3-540-35176-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation