Verification approach applied for analyzing collaborative processes: the Anticipative Effects-Driven Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Verification approach applied for analyzing collaborative processes: the Anticipative Effects-Driven Approach

Résumé

This paper aims at demonstrating and illustrating how formal verification approaches and techniques can be used to help human actors, involved in a decision process, to understand, to manage and to control more efficiently a given system. On the one hand, using formal methods induces to adapt modelling means i.e. to increase the formal level taking into account the knowledge of actor. On the other hand, it requires to develop specific reasoning mechanisms adapted to the expected objective of the actor such as to detect risks, to control, to increase performance, etc.. This paper presents the foundation of an approach named Anticipative Effects-Driven Approach .This approach aims at modelling, characterizing and detecting by the use of properties proof mechanisms, the different effects induced by partners, environment and activities throughout a collaborative process. This research takes place in the French research project ISYCRI Interoperability of SYstems CRIsis situation, ANR-06- CSOSG).
Fichier non déposé

Dates et versions

hal-00367953 , version 1 (13-03-2009)

Identifiants

  • HAL Id : hal-00367953 , version 1

Citer

Nicolas Daclin, Vincent Chapurlat, Frederick Benaben. Verification approach applied for analyzing collaborative processes: the Anticipative Effects-Driven Approach. 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM '09), Jun 2009, Moscow, Russia. pp.#. ⟨hal-00367953⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More