Many-sorted logic and its applications
Many-sorted logic and its applications
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
SDML: A Multi-Agent Language for Organizational Modelling
Computational & Mathematical Organization Theory
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Dynamics of Organizations: Computational Modeling and Organization Theories
Dynamics of Organizations: Computational Modeling and Organization Theories
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Proceedings of the First International Workshop on Multi-Agent Systems and Agent-Based Simulation
On Personal and Role Mental Attitudes: A Preliminary Dependence-Based Analysis
SBIA '98 Proceedings of the 14th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Modeling centralized organization of organizational change
Computational & Mathematical Organization Theory
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Redesign of Organizations as a Basis for Organizational Change
Coordination, Organizations, Institutions, and Norms in Agent Systems II
An adaptive multi-agent organization model based on dynamic role allocation
International Journal of Knowledge-based and Intelligent Engineering Systems
Computational & Mathematical Organization Theory
Using IDEF0 to enhance functional analysis in MOISE+ organizational modeling
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A formal reuse-based approach for interactively designing organizations
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A DEVS-based M&S method for large-scale multi-agent systems
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 0.00 |
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.