Exigences d'interopérabilité : caractérisation et formalisation en propriétés - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Exigences d'interopérabilité : caractérisation et formalisation en propriétés

Résumé

L'interopérabilité revêt un enjeu important pour l'industrie et 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 de modèles pour détecter différents types de problème liés à l'interopérabilité. Ceci induit, dans un premier temps, de pouvoir 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, les exigences d'interopérabilité doivent être formalisées en propriétés afin de permettre leur vérification au moyen de techniques formelles. 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.
Fichier principal
Vignette du fichier
IESI_2010_Mallek.pdf (205.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00588826 , version 1 (20-06-2023)

Identifiants

  • HAL Id : hal-00588826 , version 1

Citer

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat. Exigences d'interopérabilité : caractérisation et formalisation en propriétés. Atelier INFORSID : Ingénierie des systèmes d'information, Apr 2010, Marseille, France. ⟨hal-00588826⟩
62 Consultations
7 Téléchargements

Partager

Gmail Facebook X LinkedIn More