HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Finding a Path to Model Consistency

Abstract : A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and control models edition for preventing inconsistencies, e.g., using automatic errors correction. The main problem of these approaches is that strict enforcement of consistency narrows the modeler’s possibilities for exploring conflicting or tradeoff solutions; this is just what temporaries inconsistencies enable. In this article, we propose a hybrid approach capitalizing on active consistency characteristics while allowing the user to edit inconsistent models in a managed mode: at any moment we are able to propose a sequence of modelling operations that, when executed, make the model consistent. The solution consists in defining a set of automatons capturing a sufficient part of the model state space for managing any inconsistent situation. We illustrate this approach on a consistency relationship implied by the application of a security design pattern impacting both class and sequence diagrams of a UML2 model.
Document type :
Conference papers
Complete list of metadata

Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, August 4, 2016 - 3:00:25 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Links full text



Grégory Fombelle, Xavier Blanc, Laurent Rioux, Marie-Pierre Gervais. Finding a Path to Model Consistency. 2nd European Conference on MDA (ECDMA '06), Jul 2006, Bilbao, Spain. pp.101-112, ⟨10.1007/11787044_9⟩. ⟨hal-01351679⟩



Record views