Formal modeling and analysis of organizations

Egon van den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pınar Yolum

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    23 Citations (Scopus)
    43 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationCoordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005), Revised Selected Papers
    Subtitle of host publicationAAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
    EditorsOlivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda
    Place of PublicationBerlin, Heidelberg
    Number of pages17
    ISBN (Electronic)978-3-540-35176-4
    ISBN (Print)978-3-540-35173-3
    Publication statusPublished - May 2006
    Event4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005 - Utrecht University, Utrecht, Netherlands
    Duration: 25 Jul 200529 Jul 2005
    Conference number: 4

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005
    Abbreviated titleAAMAS
    Internet address


    • HMI-IE: Information Engineering
    • HMI-IA: Intelligent Agents
    • Modeling
    • Agents
    • Generic framework
    • Verification
    • Real-world
    • Validation
    • Organizations

    Cite this