LogoLogo

Abou Dib, Ali. Une approche formelle de l'interopérabilité pour une famille de langages dédiés

Abou Dib, Ali (2009) Une approche formelle de l'interopérabilité pour une famille de langages dédiés.

[img]PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
675Kb

Résumé en francais

Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle.

Sous la direction du :
Directeur de thèse
Percebois, Christian
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Modélisation orientée domaine - Composants hétérogènes - Interopérabilité - Langages dédiés - Spécification algébrique - Théorie des catégories - Specware
Sujets :Informatique
Déposé le :30 Apr 2010 12:51