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.
Domaines
Complexité [cs.CC]
Origine : Fichiers produits par l'(les) auteur(s)