Formalisation and verification of interoperation requirements on collaborative processes

Sihem Mallek (1) , Nicolas Daclin (1) , Vincent Chapurlat (1)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production

Interoperability is became a crucial question to improve success of a collaboration in a networked enterprise. Therefore, in a collaborative context, enterprises have to detect their interoperability problems to solve and to reach an efficient collaboration. This research work aims then to define, to formalise and to analyse a set of interoperability requirements that each partner of a collaborative process have to satisfy prior to any collaboration. This paper focuses and illustrates how interoperation requirements related to the dynamic aspect of the collaboration may be formalised and verified by the use of a formal verification technique.

Domaines: Complexité [cs.CC]

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat. Formalisation and verification of interoperation requirements on collaborative processes. 18th IFAC World Congress, Aug 2011, Milano, Italy. ⟨10.3182/20110828-6-IT-1002.01796⟩. ⟨hal-00588832⟩