| HAL-Inria | Publications, software ... of Inria's scientists |
Other publications
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
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.
https://hal.inria.fr/inria-00477561
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 3:09:29 PM
Last modification on : Friday, July 10, 2020 - 4:20:05 PM
Document(s) archivé(s) le : Thursday, September 30, 2010 - 4:23:49 PM
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 3:09:29 PM
Last modification on : Friday, July 10, 2020 - 4:20:05 PM
Document(s) archivé(s) le : Thursday, September 30, 2010 - 4:23:49 PM
File
Mottu07a.pdf
Files produced by the author(s)