Réparation de modèles par transformations indempotentes
Abstract
Dans le cadre d'un développement dirigé par les modèles, les applications logicielles se définissent par utilisa- tion de transformations. Certaines transformations visent à répondre à des "problèmes récurrents" et leurs applications garantissent le respect de contraintes dans le modèle résultant. Elles sont identifiées sous le terme de Politiques. L'in- térêt d'une conception par applications de politiques est à la fois de faciliter la tâche du concepteur et de garantir par construction la cohérence du modèle construit. Nous étudions dans cette article la relation qui unit politiques et évolution de modèles en nous penchant sur la cohérence du modèle construit. Nous proposons pour cela une démarche de modélisation des politiques qui vise à assurer la cohérence du modèle construit relativement à chaque politique appliquée et à réparer automatiquement ces modèles dans le cas contraire. La réparation est alors basée sur la ré- applications des politiques.
Origin | Files produced by the author(s) |
---|
Loading...