INTEROPERABILITY IN COLLABORATIVE PROCESSES: REQUIEREMENTS CHARACTERISATION AND PROOF APPROACH - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

INTEROPERABILITY IN COLLABORATIVE PROCESSES: REQUIEREMENTS CHARACTERISATION AND PROOF APPROACH

Résumé

Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, it is necessary to become able to anticipate these problems. The proposed approach in this paper is based on the specification of properties, representing interoperability requirements, and their analysis on enterprise models. Due to the conceptual limits of existing modeling languages, formalizing these requirements and intending to translate them under the form of properties need to add conceptual enrichments to these languages. Finally, the analysis of the properties on enriched enterprise models, by formal checking techniques, aims to provide tools allowing to reasoning on enterprise models in order to detect interoperability problems, from an anticipative manner.
Fichier non déposé

Dates et versions

hal-00385849 , version 1 (20-05-2009)

Identifiants

  • HAL Id : hal-00385849 , version 1

Citer

Matthieu Roque, Vincent Chapurlat. INTEROPERABILITY IN COLLABORATIVE PROCESSES: REQUIEREMENTS CHARACTERISATION AND PROOF APPROACH. PRO-VE'09, 10th IFIP Working Conference on Virtual Enterprises, Sep 2009, Thessaloniki, Greece. pp.#. ⟨hal-00385849⟩
16 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More