Formal modeling and analysis of organizations

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

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 proceeding › Conference contribution › Academic

1 Citation (Scopus)

56 Downloads (Pure)

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.

Original language	English
Title of host publication	BNAIC 2005
Subtitle of host publication	Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005
Editors	Katja Verbeeck, Ann Nowé, Bernard Manderick, Bart Kuijpers
Place of Publication	Brussels
Publisher	Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten
Pages	391-392
Number of pages	2
Publication status	Published - 17 Oct 2005
Event	17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005 - Brussels, Belgium Duration: 17 Oct 2005 → 18 Oct 2005 Conference number: 17

Conference

Conference	17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005
Abbreviated title	BNAIC
Country/Territory	Belgium
City	Brussels
Period	17/10/05 → 18/10/05
Other	17-18 Oct 2005

Keywords

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

Access to Document

VandenBroek2005formalFinal published version, 50.7 KB

1 Citations
1 Conference contribution

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 proceeding › Conference contribution › Academic › peer-review
23 Citations (Scopus)

43 Downloads (Pure)

Cite this

van den Broek, E., Jonker, C. M., Sharpanskykh, A., Treur, J., & Yolum, P. (2005). Formal modeling and analysis of organizations. In K. Verbeeck, A. Nowé, B. Manderick, & B. Kuijpers (Eds.), BNAIC 2005: Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005 (pp. 391-392). Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten.

van den Broek, Egon ; Jonker, Catholijn M. ; Sharpanskykh, Alexei et al. / Formal modeling and analysis of organizations. BNAIC 2005: Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005. editor / Katja Verbeeck ; Ann Nowé ; Bernard Manderick ; Bart Kuijpers. Brussels : Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, 2005. pp. 391-392

@inproceedings{0becafdb385248b388247fe33ff91ec7,

title = "Formal modeling and analysis of organizations",

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.",

keywords = "HMI-IE: Information Engineering, HMI-IA: Intelligent Agents, Modeling, Agents, Verification, Generic framework, Validation, Real-world, Organizations",

author = "{van den Broek}, Egon and Jonker, {Catholijn M.} and Alexei Sharpanskykh and Jan Treur and Pınar Yolum",

year = "2005",

month = oct,

day = "17",

language = "English",

pages = "391--392",

editor = "Katja Verbeeck and Ann Now{\'e} and Bernard Manderick and Bart Kuijpers",

booktitle = "BNAIC 2005",

publisher = "Koninklijke Vlaamse Academie van Belgi{\"e} voor Wetenschappen en Kunsten",

address = "Belgium",

note = "17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005, BNAIC ; Conference date: 17-10-2005 Through 18-10-2005",

}

van den Broek, E, Jonker, CM, Sharpanskykh, A, Treur, J & Yolum, P 2005, Formal modeling and analysis of organizations. in K Verbeeck, A Nowé, B Manderick & B Kuijpers (eds), BNAIC 2005: Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005. Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, Brussels, pp. 391-392, 17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005, Brussels, Belgium, 17/10/05.

Formal modeling and analysis of organizations. / van den Broek, Egon; Jonker, Catholijn M.; Sharpanskykh, Alexei et al.
BNAIC 2005: Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005. ed. / Katja Verbeeck; Ann Nowé; Bernard Manderick; Bart Kuijpers. Brussels: Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, 2005. p. 391-392.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Formal modeling and analysis of organizations

AU - van den Broek, Egon

AU - Jonker, Catholijn M.

AU - Sharpanskykh, Alexei

AU - Treur, Jan

AU - Yolum, Pınar

N1 - Conference code: 17

PY - 2005/10/17

Y1 - 2005/10/17

N2 - 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.

AB - 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.

KW - HMI-IE: Information Engineering

KW - HMI-IA: Intelligent Agents

KW - Modeling

KW - Agents

KW - Verification

KW - Generic framework

KW - Validation

KW - Real-world

KW - Organizations

M3 - Conference contribution

SP - 391

EP - 392

BT - BNAIC 2005

A2 - Verbeeck, Katja

A2 - Nowé, Ann

A2 - Manderick, Bernard

A2 - Kuijpers, Bart

PB - Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten

CY - Brussels

T2 - 17th Belgium-Dutch Conference on Artificial Intelligence, BNAIC 2005

Y2 - 17 October 2005 through 18 October 2005

ER -

van den Broek E, Jonker CM, Sharpanskykh A, Treur J, Yolum P. Formal modeling and analysis of organizations. In Verbeeck K, Nowé A, Manderick B, Kuijpers B, editors, BNAIC 2005: Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005. Brussels: Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten. 2005. p. 391-392