Incremental Detection of Model Inconsistencies based on Model Operations

Xavier Blanc 1, 2 Alix Mougenot 2 Isabelle Mounier 2 Tom Mens 3
1 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
2 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gaining more and more attention. Inconsistency checkers typically analyze entire models to detect undesired structures as defined by inconsistency rules. The larger the models become, the more time the inconsistency detection process takes. Taking into account model evolution, one can significantly reduce this time by providing an incremental checker. In this article we propose an incremental inconsistency checker based on the idea of representing models as sequences of primitive construction operations. The impact of these operations on the inconsistency rules can be computed to analyze and reduce the number of rules that need to be re-checked during a model increment.
Type de document :
Communication dans un congrès
21st International Conference on Advanced Information Systems Engineering (CAiSE'09), Jun 2009, Amsterdam, Netherlands. Springer, 5565, pp.32-46, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02144-2_8〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00669769
Contributeur : Lionel Seinturier <>
Soumis le : lundi 13 février 2012 - 19:00:20
Dernière modification le : mercredi 21 mars 2018 - 18:58:11

Lien texte intégral

Identifiants

Collections

Citation

Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom Mens. Incremental Detection of Model Inconsistencies based on Model Operations. 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), Jun 2009, Amsterdam, Netherlands. Springer, 5565, pp.32-46, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02144-2_8〉. 〈hal-00669769〉

Partager

Métriques

Consultations de la notice

195