Towards Automated Inconsistency Handling in Design Models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Towards Automated Inconsistency Handling in Design Models

Alix Mougenot
  • Fonction : Auteur
  • PersonId : 980154
Xavier Blanc
Reda Bendraou

Résumé

The increasing adoption of MDE (Model Driven Engineering) favored the use of large models of different types. It turns out that when the modeled system gets larger, simply computing a list of inconsistencies (as provided by existing techniques for inconsistency handling) gets less and less effective when it comes to actually fixing them. In fact, the inconsistency handling task (i.e. deciding what needs to be done in order to restore consistency) remains largely manual. This work is a step towards its automatization. We propose a method for the generation of repair plans for an inconsistent model. In our approach, the depth of the explored search space is configurable in order to cope with the underlying combinatorial characteristic of this problem and to avoid overwhelming the designer with large plans that can not be fully checked before being applied.

Dates et versions

hal-01292626 , version 1 (23-03-2016)

Identifiants

Citer

Marcos Aurélio Almeida da Silva, Alix Mougenot, Xavier Blanc, Reda Bendraou. Towards Automated Inconsistency Handling in Design Models. 22nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, Jun 2010, Hammamet, Tunisia. pp.348-362, ⟨10.1007/978-3-642-13094-6_28⟩. ⟨hal-01292626⟩
117 Consultations
0 Téléchargements

Altmetric

Partager

More