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 contributionAcademic

    1 Citation (Scopus)
    56 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.
    Original languageEnglish
    Title of host publicationBNAIC 2005
    Subtitle of host publicationProceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005
    EditorsKatja Verbeeck, Ann Nowé, Bernard Manderick, Bart Kuijpers
    Place of PublicationBrussels
    PublisherKoninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten
    Number of pages2
    Publication statusPublished - 17 Oct 2005
    Event17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005 - Brussels, Belgium
    Duration: 17 Oct 200518 Oct 2005
    Conference number: 17


    Conference17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005
    Abbreviated titleBNAIC
    Other17-18 Oct 2005


    • HMI-IE: Information Engineering
    • HMI-IA: Intelligent Agents
    • Modeling
    • Agents
    • Verification
    • Generic framework
    • Validation
    • Real-world
    • Organizations
    • Formal modeling and analysis of organizations

      van den Broek, E., Jonker, C. M., Sharpanskykh, A., Treur, J. & Yolum, P., May 2006, Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005), Revised Selected Papers: AAMAS 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. Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J. S. & Vázquez-Salceda, J. (eds.). Berlin, Heidelberg: Springer, p. 18-34 17 p. (Lecture Notes in Computer Science; vol. 3913).

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

      23 Citations (Scopus)
      43 Downloads (Pure)

    Cite this