An Anticipative Effects Driven Approach for crisis management process analysis - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2009

An Anticipative Effects Driven Approach for crisis management process analysis

Résumé

This paper aims to present and illustrate how using formal verification approaches and techniques could allow managing and controlling efficiently a given system exposed to crisis. Indeed, a few methods to participate to crisis resolution and use formal verification are developed. The here presented research proposes an approach based on verification techniques namely (1) the development of modeling means to increase the formal level including the actors' knowledge and; (2) the development of specific reasoning mechanisms adapted to the expected actors' objectives such as risk detection, performance improvement, etc. The foundations of an anticipative effect-driven approach using formal verification are introduced. Our approach aims to model, characterize and detect the different effects that are caused by the partners, the environment and the activities involved throughout a collaborative process, using properties proof mechanisms.
Fichier principal
Vignette du fichier
RR-09-01.pdf (483.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00839863 , version 1 (01-07-2013)

Identifiants

  • HAL Id : hal-00839863 , version 1

Citer

Nicolas Daclin, Vincent Chapurlat. An Anticipative Effects Driven Approach for crisis management process analysis. 2009. ⟨hal-00839863⟩
78 Consultations
95 Téléchargements

Partager

Gmail Facebook X LinkedIn More