Skip to Main content Skip to Navigation
Conference papers

Formalisation and verification of interoperation requirements on collaborative processes

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00588832
Contributor : Vincent Chapurlat <>
Submitted on : Tuesday, April 26, 2011 - 4:31:53 PM
Last modification on : Wednesday, June 24, 2020 - 4:18:09 PM

Identifiers

  • HAL Id : hal-00588832, version 1

Collections

Citation

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat. Formalisation and verification of interoperation requirements on collaborative processes. IFAC World Congress Milano 2011, Sep 2011, Milano, Italy. pp.#. ⟨hal-00588832⟩

Share

Metrics

Record views

55