D. K. Androutsopoulos, D. Binkley, N. Clark, M. Gold, K. Harman et al., Model projection, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.291-300, 2011.
DOI : 10.1145/1985793.1985834

. A. Bcbb11, B. Blouin, B. Combemale, O. Baudry, and . Beaudoux, Modeling Model Slicers, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pp.62-76978, 2011.

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Kompren: Modeling and Generating Model Slicers. Software and Systems Modeling, pp.1-17, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00746566

J. [. Brunelière, G. Cabot, F. Dupé, and . Madiot, MoDisco, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.1012-1032, 2014.
DOI : 10.1145/1858996.1859032

B. [. Cadavid, B. Combemale, and . Baudry, Ten years of Meta-Object Facility: an analysis of metamodeling practices, pp.1-25, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00670652

E. [. Cabot and . Teniente, Incremental integrity checking of UML/OCL conceptual schemas, Journal of Systems and Software, vol.82, issue.9, pp.1459-1478, 2009.
DOI : 10.1016/j.jss.2009.03.009

R. [. Evans, K. France, B. Lano, and . Rumpe, The UML as a Formal Modeling Notation, The Unified Modeling Language. «UML»'98: Beyond the Notation, pp.336-348, 1999.
DOI : 10.1007/978-3-540-48480-6_26

]. A. Egy06 and . Egyed, Instant Consistency Checking for the UML, Proceedings of the 28th International Conference on Software Engineering, ICSE '06, pp.381-390, 2006.

R. [. Eshuis and . Wieringa, Tool support for verifying UML activity diagrams, IEEE Transactions on Software Engineering, vol.30, issue.7, pp.437-447, 2004.
DOI : 10.1109/TSE.2004.33

]. M. Gar08 and . Garcia, Efficient Integrity Checking for Essential MOF+ OCL in Software Repositories, Journal of Object Technology, vol.7, issue.6, pp.101-119, 2008.

M. Gogolla, F. Büttner, and M. Richters, USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1-3, pp.27-34, 2007.
DOI : 10.1016/j.scico.2007.01.013

J. [. Gallagher and . Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering, vol.17, issue.8, pp.751-761, 1991.
DOI : 10.1109/32.83912

]. D. Jac02 and . Jackson, Alloy: A Lightweight Object Modelling Notation, ACM Trans. Softw. Eng. Methodol, vol.11, issue.2, pp.256-290, 2002.

B. J. Jézéquel, O. Combemale, M. Barais, F. Monperrus, and . Fouquet, Mashup of metalanguages and its implementation in the kermeta language workbench. Software and Systems Modeling, pp.1-16, 2013.

M. [. Jeanneret, B. Glinz, and . Baudry, Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.601-61010, 2011.
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091

J. [. Kagdi, A. Maletic, and . Sutton, Context-free slicing of UML class models, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.635-638, 2005.
DOI : 10.1109/ICSM.2005.34

I. [. Korel, L. Singh, B. Tahat, and . Vaysburg, Slicing of state-based models, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings., pp.34-43, 2003.
DOI : 10.1109/ICSM.2003.1235404

S. [. Lano and . Kolahdouz-rahimi, Slicing of UML Models Using Model Transformations, Lecture Notes in Computer Science, vol.10, pp.228-242978, 2010.
DOI : 10.1109/TSE.1984.5010248

S. [. Lano and . Kolahdouz-rahimi, Slicing Techniques for UML Models., The Journal of Object Technology, vol.10, issue.11, pp.1-49, 2011.
DOI : 10.5381/jot.2011.10.1.a11

[. Omg, Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Final Adopted Specification, 2005.

F. [. Steinberg, E. Budinsky, M. Merks, and . Paternostro, EMF: Eclipse Modeling Framework 2.0, 2009.

R. [. Shaikh, U. K. Clarisó, N. Wiil, and . Memon, Verification-driven slicing of UML/OCL models, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.185-194, 2010.
DOI : 10.1145/1858996.1859038

R. [. Sun, I. France, and . Ray, Rigorous Analysis of UML Access Control Policy Models, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, pp.9-16, 2011.
DOI : 10.1109/POLICY.2011.30

R. [. Sun, I. France, and . Ray, Contract-Aware Slicing of UML Class Models, Lecture Notes in Computer Science, vol.8107, pp.724-739978, 2013.
DOI : 10.1007/978-3-642-41533-3_44

N. [. Sen, B. Moha, J. Baudry, and . Jézéquel, Meta-model Pruning, In Model Driven Engineering Languages and Systems Lecture Notes in Computer Science, vol.20, issue.4, pp.32-46, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

]. O. Spe07a and . Specification, Object Constraint Language (OCL), 2007.

]. O. Spe07b and . Specification, XML Metadata Interchange (XMI), 2007.

U. [. Shaikh, N. Wiil, and . Memon, Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams, Advances in Software Engineering, vol.33, issue.4, pp.1-5, 2011.
DOI : 10.1007/BF02943330

[. Uzuncaova and S. Khurshid, Kato: A Program Slicing Tool for Declarative Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.767-77010, 2007.
DOI : 10.1109/ICSE.2007.47

]. M. Wei81 and . Weiser, Program Slicing, Proceedings of the 5th International Conference on Software Engineering, ICSE '81, pp.439-449, 1981.