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.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)