Processus IDM et modélisation en UML et OCL des langages de programmation

Apres avoir rappele les principes pour modeliser en UML et OCL la syntaxe et la semantique des langages de programmation, nous montrons comment il est possible d'exploiter les proprietes des langages et les technologies des traducteurs pour s'assurer de la qualite des modeles que les applications peuvent exiger d'eux ainsi que celles des composants IDM de transformation accompagnant les analystes/concepteurs lors des activites de generation de composants logiciels. Il ne s'agit pas, cependant, de se substituer aux traducteurs en refaisant au niveau de la modelisation, plus ou moins ponctuellement, tous les controles qu'ils sont charges d'effectuer lors de la prise en compte des composants logiciels. En fait, nous montrons comment les experts d'un domaine d'applications peuvent faconner le meta-modele des langages pour y integrer les proprietes statiques et dynamiques adaptees a leur domaine d'application, tout en restant coherent par rapport aux langages dans lesquels les composants logiciels devront etre deployes sur les plates-formes cibles. L'etude relate dans le present article est realisee dans le cadre du projet ANR DOMINO'2006 portant sur la verification de la coherence de modeles et sur les techniques d'encapsulation des transformations dans des composants IDM de confiance. Le projet s'appuie sur deux etudes de cas visant plus particulierement des applications industrielles concernant le controle et les commandes de systemes spatiaux et aeronautiques.