Simulation Et Verification de Modele Par Metamodelisation Executable

L'Ingnierie Des Modles a permis plusieurs amliorations significatives dans le dveloppement de systmes complexes en permettant de se concentrer sur une proccupation plus abstraite que la programmation classique. Une des ides phares est d'utiliser autant de langages de modlisation diffrents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du dveloppement le ncessitent. Le dfi actuel de la communaut du gnie logiciel est de simplifier la dfinition de DSML en fournissant des technologies telles que des gnrateurs d'diteurs syntaxiques, et d'outils de validation et de vrification. Ces derniers ncessitent d'expliciter, en plus de la syntaxe, la smantique d'excution du DSML. Au regard des travaux existants dans l'IDM et de l'exprience acquise avec les langages de programmation, ce livre propose une taxonomie prcise des techniques permettant d'exprimer une smantique d'excution. Ces techniques sont ensuite replaces au sein d'une dmarche complte permettant de dcrire un DSML et les outils de vrification et de validation des modles. Cet ouvrage est issu de la thse de Benot Combemale, soutenue le 11 juillet 2008.