Simulation Et Verification de Modele Par Metamodelisation Executable [French]

By Benoit Combemale

L'Ingenierie Des Modeles a permis plusieurs ameliorations significatives dans le developpement de systemes complexes en permettant de se concentrer sur une preoccupation plus abstraite que la programmation classique. Une des idees phares est d'utiliser autant de langages de modelisation differents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du developpement le necessitent. Le defi actuel de la communaute du genie logiciel est de simplifier la definition de DSML en fournissant des technologies telles que des generateurs d'editeurs syntaxiques, et d'outils de validation et de verification. Ces derniers necessitent d'expliciter, en plus de la syntaxe, la semantique d'execution du DSML. Au regard des travaux existants dans l'IDM et de l'experience acquise avec les langages de programmation, ce livre propose une taxonomie precise des techniques permettant d'exprimer une semantique d'execution. Ces techniques sont ensuite replacees au sein d'une demarche complete permettant de decrire un DSML et les outils de verification et de validation des modeles. Cet ouvrage est issu de la these de Benoit Combemale, soutenue le 11 juillet 2008."

• Format: Paperback
• Language: French
• ISBN: 6131505845
• ISBN13: 9786131505843
• Release Date: July 2010
• Publisher: Editions Universitaires Europeennes
• Length: 208 Pages
• Weight: 0.69 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"