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)
    51 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

    Cite this