L'Ing???nierie Des Mod???les a permis plusieurs am???liorations significatives dans le d???veloppement de syst???mes complexes en permettant de se concentrer sur une pr???occupation plus abstraite que la programmation classique. Une des id???es phares est d'utiliser autant de langages de mod???lisation diff???rents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du d???veloppement le n???cessitent. Le d???fi actuel de la communaut??? du g???nie logiciel est de simplifier la d???finition ...
Read More
L'Ing???nierie Des Mod???les a permis plusieurs am???liorations significatives dans le d???veloppement de syst???mes complexes en permettant de se concentrer sur une pr???occupation plus abstraite que la programmation classique. Une des id???es phares est d'utiliser autant de langages de mod???lisation diff???rents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du d???veloppement le n???cessitent. Le d???fi actuel de la communaut??? du g???nie logiciel est de simplifier la d???finition de DSML en fournissant des technologies telles que des g???n???rateurs d'???diteurs syntaxiques, et d'outils de validation et de v???rification. Ces derniers n???cessitent d'expliciter, en plus de la syntaxe, la s???mantique d'ex???cution du DSML. Au regard des travaux existants dans l'IDM et de l'exp???rience acquise avec les langages de programmation, ce livre propose une taxonomie pr???cise des techniques permettant d'exprimer une s???mantique d'ex???cution. Ces techniques sont ensuite replac???es au sein d'une d???marche compl???te permettant de d???crire un DSML et les outils de v???rification et de validation des mod???les. Cet ouvrage est issu de la th???se de Beno???t Combemale, soutenue le 11 juillet 2008.
Read Less
