Formal modeling and analysis of organizations

  • Authors:

  • Egon L. van den Broek;Catholijn M. Jonker;Alexei Sharpanskykh;Jan Treur;pInar Yolum

  • Affiliations:

  • Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;NICI, Radboud University Nijmegen, Nijmegen, The Netherlands;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;Department of Computer Engineering, Bogazici University, Bebek, Istanbul, Turkey

  • Venue:
  • AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.