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).