Formal modeling and analysis of organizations

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

doi:10.1007/11775331_2

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 › peer-review

23 Citations (Scopus)

62 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, as illustrated by a case study, within the DEAL project line.

Original language	English
Title of host publication	Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005), Revised Selected Papers
Subtitle of host publication	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
Editors	Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	18-34
Number of pages	17
ISBN (Electronic)	978-3-540-35176-4
ISBN (Print)	978-3-540-35173-3
DOIs	https://doi.org/10.1007/11775331_2
Publication status	Published - May 2006
Event	4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005 - Utrecht University, Utrecht, Netherlands Duration: 25 Jul 2005 → 29 Jul 2005 Conference number: 4 http://www.ifaamas.org/AAMAS/aamas05/main.html

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	3913
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005
Abbreviated title	AAMAS
Country/Territory	Netherlands
City	Utrecht
Period	25/07/05 → 29/07/05
Internet address	http://www.ifaamas.org/AAMAS/aamas05/main.html

Keywords

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

Access to Document

10.1007/11775331_2

23 Citations
1 Conference contribution

Formal modeling and analysis of organizations
van den Broek, E., Jonker, C. M., Sharpanskykh, A., Treur, J. & Yolum, P., 17 Oct 2005, BNAIC 2005: Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005. Verbeeck, K., Nowé, A., Manderick, B. & Kuijpers, B. (eds.). Brussels: Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, p. 391-392 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Open Access
File

Cite this

van den Broek, E., Jonker, C. M., Sharpanskykh, A., Treur, J., & Yolum, P. (2006). Formal modeling and analysis of organizations. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. S. Sichman, & J. Vázquez-Salceda (Eds.), 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 (pp. 18-34). (Lecture Notes in Computer Science; Vol. 3913). Springer. https://doi.org/10.1007/11775331_2

van den Broek, Egon ; Jonker, Catholijn M. ; Sharpanskykh, Alexei et al. / Formal modeling and analysis of organizations. 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. editor / Olivier Boissier ; Julian Padget ; Virginia Dignum ; Gabriela Lindemann ; Eric Matson ; Sascha Ossowski ; Jaime Simão Sichman ; Javier Vázquez-Salceda. Berlin, Heidelberg : Springer, 2006. pp. 18-34 (Lecture Notes in Computer Science).

@inproceedings{1fdb313caf7c47ee9ed1b085ddfc99f2,

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, as illustrated by a case study, within the DEAL project line.",

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

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

year = "2006",

month = may,

doi = "10.1007/11775331_2",

language = "English",

isbn = "978-3-540-35173-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "18--34",

editor = "Olivier Boissier and Julian Padget and Virginia Dignum and Gabriela Lindemann and Eric Matson and Sascha Ossowski and Sichman, {Jaime Sim{\~a}o} and Javier V{\'a}zquez-Salceda",

booktitle = "Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005), Revised Selected Papers",

address = "Germany",

note = "4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, AAMAS ; Conference date: 25-07-2005 Through 29-07-2005",

url = "http://www.ifaamas.org/AAMAS/aamas05/main.html",

}

van den Broek, E, Jonker, CM, Sharpanskykh, A, Treur, J & Yolum, P 2006, Formal modeling and analysis of organizations. in O Boissier, J Padget, V Dignum, G Lindemann, E Matson, S Ossowski, JS Sichman & J Vázquez-Salceda (eds), 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. Lecture Notes in Computer Science, vol. 3913, Springer, Berlin, Heidelberg, pp. 18-34, 4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, Utrecht, Netherlands, 25/07/05. https://doi.org/10.1007/11775331_2

Formal modeling and analysis of organizations. / van den Broek, Egon; Jonker, Catholijn M.; Sharpanskykh, Alexei et al.
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. ed. / Olivier Boissier; Julian Padget; Virginia Dignum; Gabriela Lindemann; Eric Matson; Sascha Ossowski; Jaime Simão Sichman; Javier Vázquez-Salceda. Berlin, Heidelberg: Springer, 2006. p. 18-34 (Lecture Notes in Computer Science; Vol. 3913).

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

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: 4

PY - 2006/5

Y1 - 2006/5

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, as illustrated by a case study, within the DEAL project line.

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, as illustrated by a case study, within the DEAL project line.

KW - HMI-IE: Information Engineering

KW - HMI-IA: Intelligent Agents

KW - Modeling

KW - Agents

KW - Generic framework

KW - Verification

KW - Real-world

KW - Validation

KW - Organizations

U2 - 10.1007/11775331_2

DO - 10.1007/11775331_2

M3 - Conference contribution

SN - 978-3-540-35173-3

T3 - Lecture Notes in Computer Science

SP - 18

EP - 34

BT - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005), Revised Selected Papers

A2 - Boissier, Olivier

A2 - Padget, Julian

A2 - Dignum, Virginia

A2 - Lindemann, Gabriela

A2 - Matson, Eric

A2 - Ossowski, Sascha

A2 - Sichman, Jaime Simão

A2 - Vázquez-Salceda, Javier

PB - Springer

CY - Berlin, Heidelberg

T2 - 4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005

Y2 - 25 July 2005 through 29 July 2005

ER -

van den Broek E, Jonker CM, Sharpanskykh A, Treur J, Yolum P. Formal modeling and analysis of organizations. In Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Sichman JS, Vázquez-Salceda J, editors, 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. Berlin, Heidelberg: Springer. 2006. p. 18-34. (Lecture Notes in Computer Science). doi: 10.1007/11775331_2

Formal modeling and analysis of organizations

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

Formal modeling and analysis of organizations

Cite this