How to detect risks with a formal approach? From property specification to risk emergence
Résumé
The research work presented in this paper has two goals and is currently in progress. The first goal is to define a modelling framework allowing representing a system by using multi views and multi languages paradigms in a unified way and including knowledge and model enrichment by defining properties. The second goal consists to define some formal properties verification mechanisms in order to help a modeller to detect and to avoid dangerous situations and inherent risks which can occur to the system. The same mechanisms are then used to improve the quality of the representation which is the classical verification goal. This paper focuses on the set of formal properties modelling concepts and analysis mechanisms mainly based on Conceptual Graphs, which are proposed. The resulting approach is currently dedicated here to the risk assessment in healthcare organisations.