Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Année : 2010

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

Résumé

RÉSUMÉ. L'interopérabilité revêt un enjeu important pour l'industrie et son absence peut être vue comme un des principaux freins à un travail collaboratif aussi bien inter-entreprises que intra-entreprise. Il parait donc pertinent d'analyser et de détecter d'éventuels manques ou défauts d'interopérabilité dans l'organisation ou le comportement des entreprises impliquées dans un processus collaboratif. Ces travaux de recherche proposent, dans un contexte d'ingénierie de processus guidée par les modèles, d'utiliser des techniques de vérification formelle pour détecter différents types de problèmes ou de présomption de problèmes d'interopérabilité. Ceci implique, dans un premier temps, de définir les besoins particuliers en interopérabilité devant être pris en compte dans un contexte collaboratif. Dans un second temps, il est nécessaire de formaliser ces besoins en un ensemble d'exigences d'interopérabilité, de manière aussi formelle que possible. Enfin, ces exigences doivent être vérifiées en se référant aux modèles du ou des processus étudiés. Cet article présente la définition et la formalisation des exigences d'interopérabilité sous forme de propriétés prouvables de manière formelle ou analysables selon d'autres techniques. ABSTRACT. Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.
Fichier principal
Vignette du fichier
hal-00588823.pdf (265.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00588823 , version 1 (31-05-2022)

Identifiants

  • HAL Id : hal-00588823 , version 1

Citer

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat. Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, 15 (5). ⟨hal-00588823⟩
62 Consultations
67 Téléchargements

Partager

Gmail Facebook X LinkedIn More