TY - JOUR
T1 - A Framework for Formal Modeling and Analysis of Organizations
AU - Jonker, C.M.
AU - Sharpanskykh, O.
AU - Treur, J.
AU - P., Yolum
N1 - JAI
PY - 2007
Y1 - 2007
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 of the proposed model, a set of dedicated techniques is introduced. Moreover, where most computational 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. © Springer Science+Business Media, LLC 2007.
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 of the proposed model, a set of dedicated techniques is introduced. Moreover, where most computational 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. © Springer Science+Business Media, LLC 2007.
U2 - 10.1007/s10489-006-0030-2
DO - 10.1007/s10489-006-0030-2
M3 - Article
SN - 0924-669X
VL - 27
SP - 49
EP - 66
JO - Applied Intelligence
JF - Applied Intelligence
ER -