Simulation et vérification de modèle par métamodélisation executable

Benoit Combemale 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : 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 Benoit Combemale, soutenue le 11 juillet 2008.
Type de document :
Ouvrage (y compris édition critique et traduction)
éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3
Liste complète des métadonnées

https://hal.inria.fr/inria-00542740
Contributeur : Didier Vojtisek <>
Soumis le : vendredi 3 décembre 2010 - 13:59:53
Dernière modification le : mercredi 16 mai 2018 - 11:23:06

Identifiants

  • HAL Id : inria-00542740, version 1

Citation

Benoit Combemale. Simulation et vérification de modèle par métamodélisation executable. éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3. 〈inria-00542740〉

Partager

Métriques

Consultations de la notice

150