From Organisational Structure to Organisational Behaviour Formalisation

09/29/2021
by   Catholijn M. Jonker, et al.
0

To understand how an organisational structure relates to organisational behaviour is an interesting fundamental challenge in the area of organisation 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 and other elements 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 is reflected in the formalisation of the dynamics of organisational behaviour. To illustrate the effectiveness of the approach a formal foundation is presented for the integrated specification of both structure and behaviour of an AGR organisation model.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/22/2020

Empowering Multilevel DSMLs with Integrated Runtime Verification

Within Model-Driven Software Engineering, Domain-Specific Modelling has ...
research
05/07/2021

Executable Interval Temporal Logic Specifications

In this paper the reversibility of executable Interval Temporal Logic (I...
research
05/01/2015

Hierarchy of Scales in Language Dynamics

Methods and insights from statistical physics are finding an increasing ...
research
03/11/2019

Towards Deriving Verification Properties

Formal software verification uses mathematical techniques to establish t...
research
09/07/2023

On the dynamics of multi agent nonlinear filtering and learning

Multiagent systems aim to accomplish highly complex learning tasks throu...
research
09/21/2021

The influence of deflections on the static and dynamic behaviour of masonry columns

This paper studies the influence of bending deflections on the structura...
research
06/26/2019

A Stricter Heap Separating Points-To Logic

Dynamic memory issues are hard to locate and may cost much of a developm...

Please sign up or login with your details

Forgot password? Click here to reset