De la modélisation objet des logiciels à la metamodélisation des langages informatiques

Mes travaux concernent la modelisation operationnelle des systemes a informatique preponderante, dans le double but de capitaliser les savoir-faire et d'automatiser les realisations. La modelisation est l'utilisation d'une representation, en lieu et place d'une chose du monde reel, dans un but cognitif. Un modele se substitue a un systeme dans un contexte donne, a moindre cout, plus simplement, plus rapidement et sans les risques ou dangers inherents a une manipulation du systeme reel. Une modelisation devient operationnelle des lors qu'une implantation informatique peut en etre derivee de maniere systematique. L'ensemble de mes travaux a pour but in fine de reduire le fosse entre les processus metier et les techniques d'informatisation. Je m'interesse a la fois a la formalisation des savoir-faire metier et informatique. Ma demarche scientifique melange des aspects theoriques et des validations experimentales. Elle procede par fertilisation croisee, en reposant tout a la fois sur l'analyse de l'etat de l'art, la participation a des groupes de travail ou de normalisation, et a la confrontation avec des problematiques industrielles. Les idees que j'ai approfondies dans mes travaux ont emergees dans differentes communautes (telles celles des grammaires, des bases de donnees, de la gestion des documents, des methodes formelles...). Je procede en considerant la modelisation comme une alternative a la programmation. C'est une posture certes un peu radicale – car la modelisation et la programmation peuvent tres bien se complementer – mais je l'ai choisi afin d'amener les techniques de modelisation a leur extreme. Mes principales contributions portent sur : - Des avancees methodologiques, dans le domaine de la modelisation objet avec UML et aussi dans l'integration entre l'ingenierie dirigee par les modeles et les methodes agiles. Ces contributions ont ete validees dans des contextes industriels, en collaboration avec Rational Software et ObjeXion Software. - Des contributions pour la capitalisation du savoir-faire de modelisation des systemes de commande et controle. Ces travaux a la frontiere entre l'informatique et l'automatique, ont ete realises en partenariat avec l'Ifremer et Nipson Printing System. - Des contributions pour la modelisation operationnelle des systemes d'information Web. Ces contributions s'inscrivent dans le cadre d'un transfert de technologie, sous la forme d'une creation d'entreprise innovante : ObjeXion Software. - Des contributions pour l'application de la modelisation a l'ingenierie des langages. Ces travaux regroupes dans le projet open-source Kermeta porte par l'INRIA, font l'objet d'un deploiement industriel dans le cœur de la plateforme RNTL OpenEmbeDD.