An Anticipative Effects-Driven Approach for collaborative process verificationReport as inadecuate




An Anticipative Effects-Driven Approach for collaborative process verification - Download this document for free, or read online. Document in PDF available to download.

1 LGI2P - Laboratoire de Génie Informatique et d-Ingénierie de Production 2 ENSM Albi-Carmaux - École nationale supérieure des Mines d-Albi-Carmaux 3 BTC-TAF, THALES Communications 4 Thales Communications Colombes

Abstract : 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.

Keywords : Collaborative process modeling Collaborative process engineering Verification Validation Property Formal approach





Author: Nicolas Daclin - Vincent Chapurlat - Frédérick Benaben - Jean-Paul Pignon - Yves Guilloux -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents