P. Boehm, H. R. Fonio, and A. Habel, Amalgamation of graph transformations with applications to synchronization, Lecture Notes in Computer Science, vol.1, issue.185, pp.267-283, 1985.
DOI : 10.1007/3-540-15198-2_17

K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson, Semantic Anchoring with Model Transformations, Proc. of the 1st European Conference on Model Driven Architecture: Fondations and Applications (ECMDA-FA'05, 2005.
DOI : 10.1007/11581741_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.6764

S. Clarke and R. J. Walker, Generic aspect-oriented design with Theme/UML, Aspect- Oriented Software Development, pp.425-458, 2005.

A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and J. Padberg, The category of typed graph grammars and its adjunctions with categories of derivations, pp.56-74
DOI : 10.1007/3-540-61228-9_79

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

D. Ruscio, D. Jouault, F. Kurtev, I. Bézivin, J. Pierantonio et al., Extending AMMA for supporting dynamic semantics specifications of DSLs, Laboratoire d'Informatique de Nantes-Atlantique (LINA), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00023008

F. Durán, S. Zschaler, and J. Troya, On the Reusable Specification of Non-functional Properties in DSLs, Proc. 5th Int'l Conf. on Software Language Engineering, 2012.
DOI : 10.1007/978-3-642-36089-3_19

H. Ehrig, Introduction to the algebraic theory of graph grammars (a survey), 1st Graph Grammar Workshop, pp.1-69, 1979.
DOI : 10.1007/BFb0025714

H. Ehrig, K. Ehrig, A. Habel, and K. H. Pennemann, Theory of constraints and application conditions: From graphs to high-level structures, Fundamenta Informaticae, vol.74, issue.1, pp.135-166, 2006.

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of Algebraic Graph Transformation, 2005.

H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, Volumne II: Applications, Languages and Tools, World Scientific, 1999.

H. Ehrig, A. Habel, J. Padberg, U. Prange, H. Ehrig et al., Adhesive High-Level Replacement Categories and Systems, Lecture Notes in Computer Science, vol.3256, pp.144-160, 2004.
DOI : 10.1007/978-3-540-30203-2_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.8555

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2. Module Specifications and Constraints, 1990.

H. Ehrig, U. Prange, G. Taentzer, H. Ehrig, G. Engels et al., Fundamental Theory for Typed Attributed Graph Transformation, Graph Transformations , Second International Conference, pp.161-177, 2004.
DOI : 10.1007/978-3-540-30203-2_13

G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer, Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML, Proc. of the 3th International Conference on the Unified Modeling Language: Modeling Languages and Applications (UML'00, pp.323-337, 2000.
DOI : 10.1007/3-540-40011-7_23

G. Engels, R. Heckel, A. Cherchago, H. J. Kreowski, U. Montanari et al., Flexible Interconnection of Graph Transformation Modules, Lecture Notes in Computer Science, vol.3393, pp.38-63, 2005.
DOI : 10.1007/978-3-540-31847-7_3

G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, A Combined Reference Model- and View-Based Approach to System Specification, International Journal of Software Engineering and Knowledge Engineering, vol.07, issue.04, pp.457-477, 1997.
DOI : 10.1142/S0218194097000266

T. Fischer, J. Niere, L. Torunski, and A. Zündorf, Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java, Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT'98, pp.296-309, 2000.
DOI : 10.1007/978-3-540-46464-8_21

M. Große-rhode, F. Parisi-presicce, and M. Simeoni, Spatial and temporal refinement of typed graph transformation systems, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, pp.553-561, 1998.
DOI : 10.1007/BFb0055805

M. Große-rhode, F. Parisi-presicce, and M. Simeoni, Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems, Journal of Computer and System Sciences, vol.64, issue.2, pp.171-218, 2002.
DOI : 10.1006/jcss.2001.1800

A. Habel and K. H. Pennemann, Correctness of high-level transformation systems relative to nested conditions, Mathematical Structures in Computer Science, vol.3256, issue.02, pp.245-296, 2009.
DOI : 10.1016/S1571-0661(05)80188-4

R. Heckel and A. Cherchago, Structural and behavioural compatibility of graphical service specifications, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.15-33, 2007.
DOI : 10.1016/j.jlap.2006.05.003

R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, Horizontal and vertical structuring of typed graph transformation systems, Mathematical Structures in Computer Science, vol.6, issue.6, pp.613-648, 1996.

R. Heckel, G. Engels, H. Ehrig, G. Taentzer, and . Ehrig, Classification and comparison of modularity concepts for graph transformation systems, pp.17-669

Z. Hemel, L. C. Kats, D. M. Groenewegen, and E. Visser, Code generation by model transformation: a case study in transformation modularity, Software & Systems Modeling, vol.15, issue.5/6, pp.375-402, 2010.
DOI : 10.1007/s10270-009-0136-1

S. Katz, Aspect Categories and Classes of Temporal Properties, Transactions on AOSD I, pp.106-134, 2006.
DOI : 10.1145/1018203.1018208

J. Klein and J. Kienzle, Reusable aspect models. In: Aspect-Oriented Modeling Workshop at MODELS, 2007.

J. Klein, L. Hélouët, and J. M. Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, 2006.
DOI : 10.1145/1119655.1119662
URL : https://hal.archives-ouvertes.fr/hal-00921480

H. Kreowski, S. Kuske, and . Ehrig, GRAPH TRANSFORMATION UNITS AND MODULES, pp.607-6380
DOI : 10.1142/9789812815149_0015

S. Lack and P. Sobocinski, Adhesive Categories, FoSSaCS. Lecture Notes in Computer Science, vol.2987, pp.273-288, 2004.
DOI : 10.1007/978-3-540-24727-2_20

J. De-lara and H. Vangheluwe, Automating the transformation-based analysis of visual languages, Formal Aspects of Computing, vol.30, issue.5, pp.297-326, 2010.
DOI : 10.1007/s00165-009-0114-y

P. A. Muller, F. Fleurey, and J. M. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proc. of the 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS'05, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

F. Parisi-presicce and . Cuny, Transformations of graph grammars, pp.428-442
DOI : 10.1007/3-540-61228-9_103

J. E. Rivera, F. Durán, and A. Vallecillo, Formal Specification and Analysis of Domain Specific Models Using Maude, SIMULATION, vol.85, issue.11-12, pp.11-12, 2009.
DOI : 10.1177/0037549709341635

J. E. Rivera, E. Guerra, J. De-lara, and A. Vallecillo, Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude, Proc. of the 1st Intl. Conf. on Software Language Engineering (SLE'08, pp.54-73, 2008.
DOI : 10.1007/978-3-540-73859-6_12

J. E. Rivera, F. Durán, and A. Vallecillo, A graphical approach for modeling time-dependent behavior of DSLs, 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp.51-55, 2009.
DOI : 10.1109/VLHCC.2009.5295300

J. E. Rivera, F. Durán, and A. Vallecillo, On the Behavioral Semantics of Real-Time Domain Specific Visual Languages, Lecture Notes in Computer Science, vol.6381, pp.174-190, 2010.
DOI : 10.1007/978-3-642-16310-4_12

G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformations , Volume I: Foundations, World Scientific, 1997.
DOI : 10.1142/3303

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

A. Schürr, A. Winter, and A. Zündorf, THE PROGRES APPROACH: LANGUAGE AND ENVIRONMENT, pp.487-550
DOI : 10.1142/9789812815149_0013

G. Taentzer and A. Schürr, DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems, Electronic Notes in Theoretical Computer Science, vol.2, pp.277-285, 1995.
DOI : 10.1016/S1571-0661(05)80206-3

M. Tisi, F. Jouault, P. Fraternali, S. Ceri, and J. Bézivin, On the Use of Higher-Order Model Transformations, Proc. 5th European Conf. on Model Driven Architecture ? Foundations and Applications (ECMDA-FA'09, pp.18-33, 2009.
DOI : 10.1007/978-3-540-69927-9_11
URL : https://hal.archives-ouvertes.fr/hal-00782464

J. Troya, J. E. Rivera, and A. Vallecillo, Simulating domain specific visual models by observation, Proceedings of the 2010 Spring Simulation Multiconference on, SpringSim '10, pp.1-128, 2010.
DOI : 10.1145/1878537.1878671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.6725

J. Troya, A. Vallecillo, F. Durán, and S. Zschaler, Model-driven performance analysis of rule-based domain specific visual models, Information and Software Technology, vol.55, issue.1, pp.88-110, 2013.
DOI : 10.1016/j.infsof.2012.07.009

J. Whittle, P. Jayaraman, A. Elkhodary, A. Moreira, and J. Araújo, MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation, Transactions on Aspect-Oriented Development (TAOSD VI), Special Issue on Aspects and MDE, pp.191-237, 2009.
DOI : 10.1007/978-3-642-03764-1_6

S. Zschaler, Formal specification of non-functional properties of component-based software systems, Software & Systems Modeling, vol.33, issue.6, pp.161-201, 2009.
DOI : 10.1007/s10270-009-0115-6