Formal modeling and analysis of organizations

Broek van den, Egon L. and Jonker, Catholijn M. and Sharpanskykh, Alexei and Treur, Jan and Yolum, Pınar (2006) Formal modeling and analysis of organizations. In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005, 25-26 July 2005, Utrecht, The Netherlands.

PDF
Restricted to UT campus only: Request a copy
1380Kb

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.
Item Type:	Conference or Workshop Item
Copyright:	© 2006 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Human Media Interaction (HMI)
Link to this item:	http://purl.utwente.nl/publications/78701
Official URL:	http://dx.doi.org/10.1007/11775331_2
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 234735