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

Abstract

The main question addressed in this paper is how requirements on the dynamics within an organization model can be specified and how the dy-namics within such an organization can be formally analysed. A specification language is proposed, and a number of different types of requirements for dy-namics at different levels in the organization are identified. Based on a logical analysis and a software environment to check requirements against traces of the dynamics, a diagnostic method is proposed to analyse the malfunctioning of an organization, and pinpoint causes of malfunctioning.