Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements

Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation

“…However, in that paper no automated support of specification, simulation and evaluation is included, which is the main subject of the current paper. A difference with [10] is that in the current paper at a conceptual level an executable declarative temporal language and an associated simulation environment are introduced, whereas simulation within [10] is based on an implementation environment such as Swarm, without conceptual specification language. Another difference is that in [10] a diagnostic method to analyse organisational dynamics is addressed, which is not the subject of the current paper.…”

“…In future research, the diagnostic method introduced in [10] will be integrated within the organisational modelling environment described above. Moreover, support will be developed for the identification and checking of logical relationships between dynamic properties specified at different levels within the organisation.…”

“…The temporal formulae are represented by nested term structures based on the logical connectives. For more information see [10].…”

Organisational Change: Deliberation and Modification

“…Within the deliberation process as sketched, supporting techniques and tools can be used. First, within the monitor and analysis process, on the basis of a trace, dynamic properties of the current organisational behaviour and environment can be checked in a formal and automated manner by the approach described in [7]. Moreover, in deliberation about an organisation structure modification action it can be determined what the behavioural properties for a possible organisational structure are, also in a formal and automatically supported manner as in [7].…”

“…In [7] practical application of the connection between structure and behaviour is presented in the form of an approach that enables to derive organisation properties from role properties (and interaction properties), according to the organisational structure. However, in these papers it is not addressed how to model organisational change, i.e., an organisation that is changing its behaviour over time, a phenomenon that receives much attention in recent literature on Organisation Theory; e.g., [12], [13].…”