Etablissement
Ecole Nationale Supérieure d'informatique
Affiliation
Département de Post-Graduation
Auteur
BERRACHICHE, Aissa
Directeur de thèse
Thouraya Bouabana Tebibel (Professeur)
Co-directeur
Stuart Harvey Rubin (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Instanciation de langages pour la génération de spécifications à base de composants
Mots clés
Développement à base de composants, Inférence grammaticale, Systèmes à base de connaissances. Language spécifique au domaine
Résumé
Nous ciblons l’aide à la spécification dans le processus de développement de systèmes complexes, logiciels inclus. La spécification de ces systèmes doit être basée – au plus haut niveau – sur un langage à base de composants. Sous l’hypothèse de l’existence d’un entrepôt emmagasinant les modèles préalablement construits, et qui sont considérés sémantiquement corrects, nous étudions la possibilité d’exploiter la connaissance contenue dans ces modèles, à propos des contraintes régissant l’assemblage et l’intégration des composants. Notre but est de pousser la réutilisation des composants au-delà de l’usage conventionnel, pour la faire apparaitre à un niveau qui va au-delà de l’entité composant atteignant celle de modèle basé sur les composants. La contribution sera articulée autour des deux idées suivantes : 1. L’utilisation d’un système à base de connaissance. Une base de connaissance sera construite à partir de l’entrepôt des modèles. Cette base doit être construite utilisant une caractérisation précise des composants et de leur intégration, qui favorise l’inférence des connaissances considérées pertinentes à propos des modèles basés sur les composants. 2. L’utilisation d’un system à base de grammaire. Une grammaire à contexte libre CFG sera inférée d’une représentation qui sera construite à partir de l’entrepôt. Cette grammaire devra décrire l’ensemble de tous les modèles considérés sémantiquement corrects. Elle sera sollicitée pour produire un espace de recherche exhaustif. Ces deux systèmes nécessitent la définition d’un nouveau langage, dont l’usage sera indépendant du premier, et répondra à de nouveaux besoins, tels que l’extensibilité, la scalabilité et la complexité. Ainsi, les utilisateurs en feront désormais usage pour spécifier, mais cette fois d’une façon plus simple en abstrayant les détails méconnus. Depuis le modèle obtenu à travers ce langage on construit le modèle final (conforme au premier langage) de la façon suivante : 1. Système à base de connaissances : dans ce cas la base de connaissance sera sollicitée pour généraliser un modèle et puis l’affiner. 2. Système à base de grammaire : dans ce cas la grammaire inférée sera sollicitée à la recherche d’un modèle.
Statut
Vérifié