Formal Modeling and Analysis of Organizations

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.

[1]  Frank Dignum,et al.  Exploring Congruence Between Organizational Structure and Task Performance: A Simulation Approach , 2005, AAMAS Workshops.

[2]  Frank Dignum,et al.  Issues in multiagent system development , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[3]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[4]  Victor R. Lesser,et al.  A survey of multi-agent organizational paradigms , 2004, The Knowledge Engineering Review.

[5]  Catholijn M. Jonker,et al.  A temporal modelling environment for internally grounded beliefs, desires and intentions , 2003, Cognitive Systems Research.

[6]  Olivier Boissier,et al.  Dependence Relations between Roles in a Multi-Agent System: Towards the Detection of Inconsistencies in Organization , 1998, MABS.

[7]  G. Morgan,et al.  Images of Organizations , 1997 .

[8]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[9]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[10]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

[11]  Jean-Pierre Müller,et al.  The MOCA platform: simulating the dynamics of social networks , 2002 .

[12]  Erik R. Larsen,et al.  Dynamics of Organizations: Computational Modeling and Organizational Theories , 2001 .

[13]  Mark Hoogendoorn,et al.  Modeling centralized organization of organizational change , 2007, Comput. Math. Organ. Theory.

[14]  Cameron Lawrence,et al.  Institutions and Organizations (2nd ed.) , 2003 .

[15]  Kathleen M. Carley,et al.  Computational organization science: A new frontier , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[16]  Catholijn M. Jonker,et al.  A temporal-interactivist perspective on the dynamics of mental states , 2003, Cognitive Systems Research.

[17]  R. E. Miles,et al.  Organizing in the knowledge age: Anticipating the cellular form , 1997 .

[18]  Olivier Boissier,et al.  A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems , 2002, SBIA.

[19]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[20]  Sten Jönsson.  Institutions and Organizations , 1997 .

[21]  José-Antonio Báez-Barranco,et al.  The MOCA Platform , 2002, MABS.

[22]  Mark Hoogendoorn,et al.  Modelling the Organisation of Organisational Change , 2004 .

[23]  J. Alexander,et al.  Images of Organization , 1988 .

[24]  Henry Mintzberg,et al.  The Structuring of Organizations , 1979 .

[25]  Christophe Sibertin-Blanc,et al.  A Coordination Framework Based on the Sociology of Organized Action , 2005, AAMAS Workshops.

[26]  Olivier Boissier,et al.  S-MOISE+: A Middleware for Developing Organised Multi-agent Systems , 2005, AAMAS Workshops.