An Anticipative Effects-Driven Approach for collaborative process verification

Nicolas Daclin (1) , Vincent Chapurlat (1) , Frederick Benaben (2) , Jean-Paul Pignon (3) , Yves Guilloux (4)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 CGI - Centre Génie Industriel
3 BTC/TAF, THALES Communications
4 Thales Communications [Colombes]

The aim of this paper is to describe and illustrate a collaborative process model verification approach. This approach allows the coherence of a given collaborative process involving numerous resources, activities, and flows to be analyzed in a mission for which there are common objectives to achieve. It also enables the potential effects of this process to be to detected, characterized, and formalized so as to identify the effects on the mission to be executed, on the length of the process and its effectiveness prior to the execution phase. This approach is based on several principles formulated by systemic, enterprise modeling, and model-based system engineering which are formalized. The corresponding framework and support tool is then presented. Finally, the overall approach is illustrated on the basis of a crisis management process.

Mots clés: Collaborative process modeling; Collaborative process engineering; Verification; Validation; Property; Formal approach

Domaines: Ingénierie assistée par ordinateur

Nicolas Daclin, Vincent Chapurlat, Frederick Benaben, Jean-Paul Pignon, Yves Guilloux. An Anticipative Effects-Driven Approach for collaborative process verification. IMT Mines Ales. 2011. ⟨hal-00839883⟩