Formal Modeling and Analysis of Organizations

  • Egon L. van den Broek
  • Catholijn M. Jonker
  • Alexei Sharpanskykh
  • Jan Treur
  • pInar Yolum
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3913)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 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. 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. 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)CrossRefGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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. 9.
    Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review 9, 281–316 (2005)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 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)CrossRefGoogle Scholar
  12. 12.
    Jonker, C.M., Treur, J.: A temporal-interactivist perspective on the dynamics of mental states. Cognitive Systems Research Journal 4, 137–155 (2003)CrossRefGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 14.
    Lomi, A., Larsen, E.R. (eds.): Dynamics of Organizations: Computational Modeling and Organization Theories. The MIT Press, Cambridge, MA (2001)Google Scholar
  15. 15.
    Mintzberg, H.: The Structuring of Organizations. Prentice Hall, Englewood Cliffs (1979)Google Scholar
  16. 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. 17.
    Morgan, G.: Images of organizations. SAGE Publications, Thousand Oaks, London, New Delhi (1996)Google Scholar
  18. 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)CrossRefGoogle Scholar
  19. 19.
    Prietula, M., Gasser, L., Carley, K.: Simulating Organizations. MIT Press, Cambridge (1997)Google Scholar
  20. 20.
    Scott, W.R.: Institutions and organizations, 2nd edn. SAGE Publications, Thousand Oaks, London, New Delhi (2001)Google Scholar
  21. 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)CrossRefGoogle Scholar
  22. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Egon L. van den Broek
    • 1
  • Catholijn M. Jonker
    • 2
  • Alexei Sharpanskykh
    • 1
  • Jan Treur
    • 1
  • pInar Yolum
    • 3
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.NICI, Radboud University NijmegenNijmegenThe Netherlands
  3. 3.Department of Computer EngineeringBogazici UniversityBebek, IstanbulTurkey

Personalised recommendations