Une approche de vérification d'exécution de modèles par contrats

Eric Cariou 1, * Cyril Ballagny 1 Alexandre Feugas 2 Franck Barbier 1
* Auteur correspondant
2 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Résumé : Un des buts fondateurs de l'ingénierie des modèles est la manipulation des modèles en tant qu'éléments logiciels productifs. L'exécution de modèles est notamment un moyen de remplacer l'écriture du code. Nous nous intéressons dans cet article à la vérification d'exécution de modèles. Nous utilisons pour cela une approche par contrat pour spécifier une sémantique d'exécution pour un méta-modèle donné. Nous montrons qu'une sémantique d'exécution est un prolongement naturel d'un méta-modèle rigoureusement défini et est formée de niveaux complémentaires, de la définition d'éléments statiques et dynamiques ainsi que de spécifications d'exécution de ces éléments. Nous utilisons des contrats de transformation de modèles pour vérifier la cohérence de l'évolution dynamique d'un modèle pendant son exécution.
Type de document :
Communication dans un congrès
IDM'11, Jun 2011, Lille, France. 2011
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00637747
Contributeur : Alexandre Feugas <>
Soumis le : mercredi 2 novembre 2011 - 18:07:31
Dernière modification le : mardi 10 juillet 2018 - 15:46:45
Document(s) archivé(s) le : vendredi 3 février 2012 - 02:36:07

Fichier

idm11-exec-contrats.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00637747, version 1

Collections

Citation

Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Une approche de vérification d'exécution de modèles par contrats. IDM'11, Jun 2011, Lille, France. 2011. 〈inria-00637747〉

Partager

Métriques

Consultations de la notice

216

Téléchargements de fichiers

205