Relating Structure and Dynamics in Organisation Models

To understand how an organisational structure relates to dynamics is an interesting fundamental challenge in the area of social modelling. Specifications of organisational structure usually have a diagrammatic form that abstracts from more detailed dynamics. Dynamic properties of agent systems, on the other hand, are often specified in the form of a set of logical formulae in some temporal language. This paper addresses the question how these two perspectives can be combined in one framework. It is shown how for different aggregation levels within an organisation structure, sets of dynamic properties can be specified. Organisational structure provides a structure of interlevel relationships between these multiple sets of dynamic properties. Thus organisational structure relates to specification of the dynamics of organisational behaviour. As an illustration, for Ferber and Gutknecht’s AGR organisation modelling approach it is shown how a foundation can be obtained for integrated specification of both structure and dynamic properties of an organisation.

[1]  Catholijn M. Jonker,et al.  Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation , 2001, CEEMAS.

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

[3]  Daniela E. Damian,et al.  Specification of Bahavioural Requirements within Compositional Multi-agent System Design , 1999, MAAMAW.

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

[5]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, ATAL.

[6]  Jacques Ferber,et al.  Operational Semantics of a Role-based Agent Architecture , 1999 .

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

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

[9]  Olivier Boissier,et al.  MOISE: An Organizational Model for Multi-agent Systems , 2000, IBERAMIA-SBIA.

[10]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[11]  Jacques Ferber,et al.  Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[12]  Bruce Edmonds,et al.  Towards an Ideal Social Simulation Language , 2002, MABS.

[13]  Jaime Simão Sichman,et al.  On Personal and Role Mental Attitudes: A Preliminary Dependence-Based Analysis , 1998, SBIA.

[14]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..

[15]  J. V. Tucker,et al.  Many-sorted logic and its applications , 1993 .

[16]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[17]  Jan Treur,et al.  Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation , 2001, Applied Intelligence.

[18]  Michael Wooldridge,et al.  On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..

[19]  Catholijn M. Jonker,et al.  Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements , 2001, AOSE.

[20]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

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

[22]  Bruce Edmonds,et al.  SDML: A Multi-Agent Language for Organizational Modelling , 1998, Comput. Math. Organ. Theory.

[23]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..