Une approche formelle de l'interopérabilité en modélisation orientée métier

摘要

Ce travail concerne la modélisation orientée métier fondée sur les ? Domain Specifie Languages ? (DSL). L'article présente une solution pour assurer l'interopérabilité de composants décrits en utilisant différents DSL. Pour traiter l'interopérabilité non seulement au niveau syntaxique par la métamodélisation, nous nous orientons vers une solution qui privilégie le volet sémantique. Notre solution utilise la sémantique formelle de chacun des langages et se base sur l'utilisation de résultats connus de la théorie des catégories, qui nous permettent d'obtenir de manière semi-automatique la définition d'un langage unificateur de la famille, ainsi que des traducteurs depuis les langages initiaux. De plus, nous pouvons transposer une propriété d'un DSL vers le langage unificateur, où elle est automatiquement satisfaite. L'approche ainsi obtenue nous permet de continuer d'utiliser les langages originaux comme d'habitude, tout en assurant l'interopérabilité des composants.