Adaptation des contraintes à l'évolution de leur méta-modèle
Abstract
Les méta-modèles évoluent au fur du temps pour différentes raisons. Dans le monde MOF, des contraintes OCL sont ajoutées aux méta-modèles. L'évolution des méta-modèles peut avoir un impact sur les différents artefacts (modèles, modèles de transformation et contraintes OCL) qui lui sont liés. Une coévolution de ces artefacts est nécessaire pour garder leur conformité au méta-modèle et leur cohérence. Dans ce document, nous proposons une approche qui permet d'adapter les contraintes OCL liées à un méta-modèle lors d'une évolution progressive de ce dernier. Pour cela, une bibliothèque d'opérations d'évolution a été définie. Les opérations d'évolution et les adaptations OCL proposées sont décrites en QVT-R.
Domains
Software Engineering [cs.SE]
Loading...