Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.

Jean-Marie Mottu 1 Olivier Barais 1 Mark Skipper 1 Didier Vojtisek 1 Jean-Marc Jézéquel 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é : Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisation exécutable Kermeta. L'accent dans cette courte présentation est mis sur les cas d'utilisation possibles de cette brique logicielle et l'intér{ê}t des choix techniques retenus : un support natif du paradigme de Conception par Contrats (Design by Contract) dans Kermeta et une transformation de modèle du méta-modèle OCL au méta-modèle Kermeta pour le support de la syntaxe concrète OCL.
Type de document :
Autre publication
Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisati.. 2007
Liste complète des métadonnées
https://hal.inria.fr/inria-00477561
Contributeur : Didier Vojtisek <>
Soumis le : jeudi 29 avril 2010 - 15:09:29
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 30 septembre 2010 - 16:23:49

Fichier

Mottu07a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00477561, version 1

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel. Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.. Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisati.. 2007. 〈inria-00477561〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

377

Téléchargements de fichiers

134

Contact


archive-ouverte@inria.fr