A. Hessellund, K. Czarnecki, and A. Wasowski, Guided development with multiple domain-specific languages. Model Driven Engineering Languages and Systems, 10th International Conference, vol.4735, pp.46-60, 2007.

B. Selic, The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.

A. Egyed, Automatically detecting and tracking inconsistencies in software design models, IEEE Trans. Software Eng, vol.37, issue.2, pp.188-204, 2011.

G. Spanoudakis and A. Zisman, Inconsistency management in software engineering: Survey and open research issues, Handbook of Software Engineering and Knowledge Engineering. World scientific, pp.329-380, 2001.

A. Egyed, Fixing inconsistencies in UML design models, 29th International Conference on Software Engineering, pp.292-301, 2007.

S. Finkelstein, D. Jacobs, and R. Brendle, Principles for inconsistency, Fourth Biennial Conference on Innovative Data Systems Research, 2009.

M. D. Hill, What is scalability? SIGARCH Comput, Archit. News Dec, vol.18, issue.4, pp.18-21, 1990.

B. W. Boehm and H. In, Identifying quality-requirement conflicts, IEEE Software, vol.13, issue.2, pp.25-35, 1996.

A. Finkelstein, D. M. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, Inconsistency handling in multperspective specifications, IEEE Trans. Software Eng, vol.20, issue.8, pp.569-578, 1994.

J. C. Grundy, J. G. Hosking, and W. B. Mugridge, Inconsistency management for multiple-view software development environments, IEEE Trans. Software Eng, vol.24, issue.11, pp.960-981, 1998.

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, xlinkit: a consistency checking and smart link generation service, ACM Trans. Internet Techn, vol.2, issue.2, pp.151-185, 2002.

R. Straeten, T. Mens, J. Simmonds, and V. Jonckers, Using description logic to maintain consistency between UML models. UML 2003 -The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, vol.2863, pp.326-340, 2003.

R. F. Paige, P. J. Brooke, and J. S. Ostroff, Metamodel-based model conformance and multiview consistency checking, ACM Trans. Softw. Eng. Methodol, vol.16, issue.3, 2007.

X. Blanc, I. Mounier, A. Mougenot, and T. Mens, Detecting model inconsistency through operation-based model construction, 30th International Conference on Software Engineering (ICSE 2008), pp.511-520, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01303728

A. Egyed, Instant consistency checking for the UML, 28th International Conference on Software Engineering (ICSE 2006), pp.381-390, 2006.

J. Cabot and E. Teniente, Incremental evaluation of OCL constraints, 18th International Conference, vol.4001, pp.81-95, 2006.

C. Xu, S. C. Cheung, and W. K. Chan, Incremental consistency checking for pervasive context, 28th International Conference on Software Engineering (ICSE 2006), pp.292-301, 2006.

X. Blanc, A. Mougenot, I. Mounier, and T. Mens, Incremental detection of model inconsistencies based on model operations, 21st International Conference, vol.5565, pp.32-46, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00669769

J. L. Noir, O. Delande, D. Exertier, S. Maad, and X. Blanc, Operation based model representation: Experiences on inconsistency detection, Modelling Foundations and Applications -7th European Conference, vol.6698, pp.85-96, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00626824

M. Elaasar and L. C. Briand, An overview of UML consistency management, 2004.

P. Y. Schobbens, P. Heymans, and J. C. Trigaux, Feature diagrams: A survey and a formal semantics, 14th IEEE International Conference on Requirements Engineering, pp.136-145, 2006.

J. Falleri and . Al,

F. Jouault and M. Tisi, Towards incremental execution of ATL transformations. Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, vol.6142, pp.123-137, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00539063

L. M. Rose, D. S. Kolovos, N. Drivalos, J. R. Williams, R. F. Paige et al., Concordance: A framework for managing model integrity, Modelling Foundations and Applications, 6th European Conference, vol.6138, pp.245-260, 2010.

M. Eichberg, M. Kahl, D. Saha, M. Mezini, and K. Ostermann, Automatic incrementalization of prolog based static analyses. Practical Aspects of Declarative Languages, 9th International Symposium, vol.4354, pp.109-123, 2007.

L. Menet, M. Lamolle, C. Duc, A. Avytat, . Dataview et al., On the Move to Meaningful Internet Systems: OTM 2010 Workshops -Confederated International Workshops and Posters: International Workshops, Proceedings, vol.6428, pp.120-129, 2010.

G. Bergmann, . Horváthá, I. Ráth, D. Varró, A. Balogh et al., Incremental evaluation of model queries over EMF models, Model Driven Engineering Languages and Systems -13th International Conference, MODELS 2010, vol.6394, pp.76-90, 2010.

C. Xu, S. C. Cheung, W. K. Chan, and C. Ye, Partial constraint checking for context consistency in pervasive computing, ACM Trans. Softw. Eng. Methodol, vol.19, issue.3, 2010.

R. Wagner, H. Giese, and U. Nickel, A plug-in for flexible and incremental consistency management, Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UMLbased Software Development), 2003.

L. Sterling and E. Y. Shapiro, The Art of Prolog -Advanced Programming Techniques, 1994.

. Omg, Unified modeling language specification : Superstructure (Version 2.4.1), 2011.

A. Mougenot, A. Darrasse, X. Blanc, and M. Soria, Model Driven Architecture -Foundations and Applications, 5th European Conference, vol.5562, pp.130-145, 2009.