DeepAI AI Chat
Log In Sign Up

From Organisational Structure to Organisational Behaviour Formalisation

by   Catholijn M. Jonker, et al.

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.


page 1

page 2

page 3

page 4


Empowering Multilevel DSMLs with Integrated Runtime Verification

Within Model-Driven Software Engineering, Domain-Specific Modelling has ...

Executable Interval Temporal Logic Specifications

In this paper the reversibility of executable Interval Temporal Logic (I...

Hierarchy of Scales in Language Dynamics

Methods and insights from statistical physics are finding an increasing ...

Towards Deriving Verification Properties

Formal software verification uses mathematical techniques to establish t...

A Computational Framework for Adaptive Systems and its Verification

Modern computer systems are inherently distributed and feature autonomou...

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

This paper studies the influence of bending deflections on the structura...

A Stricter Heap Separating Points-To Logic

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