thesis

Meta-modelisation pour la transformation des schemas et la generation de code

Defense date:

Jan. 1, 1995

Edit

Institution:

Paris 6

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Les ateliers de genie logiciel (ou outils case) sont des logiciels complexes destines a assister l'ingenieur dans la conception et la construction d'un systeme d'information. Cette these concerne le developpement de ce genre d'outils. Elle complete les travaux relatifs a l'atelier de genie logiciel rubis et contient deux parties. La premiere partie est relative au developpement et a l'integration du langage proquel au sein du systeme rubis. Proquel est un langage executable pour la specification et le prototypage d'une application ayant une composante base de donnees. L'execution repose sur la creation d'une base de donnees prototype et sur l'interpreteur de proquel. Celui-ci joue un role fondamental dans l'architecture de rubis. Il est utilise par tous les modules de rubis pour contribuer a l'execution des specifications conceptuelles. La seconde partie concerne l'etude, la representation et l'automatisation du processus de derivation d'une application transactionnelle. Ce processus designe l'ensemble des taches que le developpeur doit mettre en uvre pour construire, a partir des specifications conceptuelles prototypees avec rubis, une application transactionnelle avec les langages et les outils d'un sgbd cible. Pour representer ce processus, on utilise un meta-modele general de processus. Ce meta-modele est oriente decision: le deroulement d'un processus est vu comme une suite de decisions prises dans des situations specifiques. Le couple situation-decision constitue un contexte. La representation obtenue est une arborescence de contextes dont les feuilles terminales sont des actions executables. Ces actions de generation se classifient en trois categories: transformation, implantation et compilation. Pour automatiser le processus de derivation, la these propose une solution logicielle generique. La genericite est obtenue grace a l'usage extensif des techniques de meta-modelisation. Une base etendue des specifications sert a stocker une representation persistante du processus et des produits manipules par ce processus. Cette base est organisee selon trois niveaux d'instanciations, le niveau le plus haut contient l'ensemble des meta-modeles. Elle est construite avec le langage telos qui est un langage de representation des connaissances developpe dans le cadre des projets europeens daida et nature. La generation de code transactionnel correspond a l'execution d'une instance particuliere du meta-modele du processus. Cette execution est prise en charge par un module generique de conduite de processus. Ce module est capable d'executer les actions rattachees aux feuilles de l'arborescence de contextes. Enfin, on demontre la faisabilite de cette approche generique en considerant le couple rubis-sybase