A. Agrawal, G. Karsai, Z. Kalmar, S. Neema, F. Shi et al., The design of a language for model transformations, Software & Systems Modeling, vol.77, issue.1, 2005.
DOI : 10.1007/s10270-006-0027-7

R. Bendraou, B. Combemale, X. Crégut, and M. Gervais, Definition of an eXecutable SPEM2.0, 14th APSEC, Japan, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00371555

D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, TACAS, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42
URL : https://hal.archives-ouvertes.fr/hal-00685325

B. Berthomieu, F. Peres, and F. Vernadat, Model Checking Bounded Prioritized Time Petri Nets, LNCS, vol.4762, pp.523-532, 2007.
DOI : 10.1007/978-3-540-75596-8_37
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.6023

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Model Driven Architecture , European MDA Workshops: Foundations and Applications number 3599 in LNCS, pp.33-46, 2004.
DOI : 10.1007/11538097_3

E. Biermann, K. Ehrig, C. Köhler, G. Kuhns, G. Taentzer et al., Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework, Proceedings of the 9th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS)
DOI : 10.1007/11880240_30

E. Breton, ContributionàContribution`Contributionà la représentation de processus par des techniques de méta-modélisation, 2002.

F. Budinsky, E. Merks, and D. Steinberg, Eclipse Modeling Framework 2.0, 2009.

F. Budinsky, D. Steinberg, and R. Ellersick, Eclipse Modeling Framework : A Developer's Guide, 2003.

K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson, Semantic Anchoring with Model Transformations, Model Driven Architecture -Foundations and Applications, First European Conference, pp.115-129, 2005.
DOI : 10.1007/11581741_10

T. Clark, A. Evans, and S. Kent, The Metamodelling Language Calculus: Foundation Semantics for UML, Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 2029 of Lecture Notes In Computer Science, pp.17-31, 2001.
DOI : 10.1007/3-540-45314-8_3

T. Clark, A. Evans, P. Sammut, and J. Willans, Applied metamodelling -a foundation for language driven development, 2004.

T. Clark, P. Sammut, and J. Willans, Applied Metamodelling ? A Foundation for Language Driven Development, 2008.

T. Cleenewerck and I. Kurtev, Separation of concerns in translational semantics for DSLs in model engineering, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.985-992, 2007.
DOI : 10.1145/1244002.1244218

B. Combemale, S. Rougemaille, X. Crégut, F. Migeon, M. Pantel et al., Towards a Rigorous Metamodeling, 2nd International Workshop on Model- Driven Enterprise Information Systems (MDEIS), 2006.

J. De-lara and H. Vangheluwe, Translating Model Simulators to Analysis Models, 11th International Conference Fundamental Approaches to Software Engineering (FASE), pp.77-92, 2008.
DOI : 10.1007/978-3-540-78743-3_6

R. M. Dijkman, M. Dumas, and C. Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology, vol.50, issue.12, pp.1281-1294, 2008.
DOI : 10.1016/j.infsof.2008.02.006

G. Engels, R. Heckel, and S. Sauer, Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML, UML 2000 -The Unified Modeling Language. Advancing the Standard, pp.323-337, 1939.
DOI : 10.1007/3-540-40011-7_23

P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma et al., The TOP- CASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design In Embedded Real Time Software (ERTS'06) Story diagrams: A new graph transformation language based on UML and Java, Proc. Theory and Application to Graph Transformations (TAGT'98), pp.25-27, 1998.

M. Gogolla, P. Ziemann, and S. Kuske, Towards an Integrated Graph Based Semantics for UML, Proceedings of the Graph Transformation and Visual Modeling Techniques (GT-VMT), 2002.
DOI : 10.1016/S1571-0661(04)80619-4

J. H. Hausmann, Dynamic Meta Modeling ? A Semantics Description Technique for Visual Modeling Languages, 2005.

D. Hirschkoff, On the Benefits of Using the Up-To Techniques for Bisimulation Verification, STTT, vol.3, issue.3, pp.271-285, 2001.
DOI : 10.1007/3-540-49059-0_20

F. Jouault and J. Bézivin, KM3: A DSL for Metamodel Specification, IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp.171-185, 2006.
DOI : 10.1007/11663430_18
URL : https://hal.archives-ouvertes.fr/hal-00448119

F. Jouault and I. Kurtev, Transforming Models with ATL, Proceedings of the Model Transformations in Practice Workshop at MoDELS, LNCS, Jamaica, 2005.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

H. Kastenberg, A. Kleppe, and A. Rensink, Defining Object-Oriented Execution Semantics Using Graph Transformations, Proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), pp.186-201, 2006.
DOI : 10.1007/3-540-45832-8_28

H. Kastenberg, A. Kleppe, and A. Rensink, Engineering Object-Oriented Semantics Using Graph Transformations, 2006.

S. Kuske, Transformation Units?A structuring Principle for Graph Transformation Systems, 2000.

S. Kuske, A Formal Semantics of UML State Machines Based on Structured Graph Transformation, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp.241-256, 2001.
DOI : 10.1007/3-540-45441-1_19

S. Kuske, M. Gogolla, R. Kollmann, and H. Kreowski, An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation, Proceedings of the 3rd International Conference on Integrated Formal Methods (IFM), pp.11-28, 2002.
DOI : 10.1007/3-540-47884-1_2

A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett et al., The generic modeling environment, Workshop on Intelligent Signal Processing, 2001.

S. Markovic and T. Baar, Semantics of OCL specified with QVT. Software and System Modeling, pp.399-422, 2008.

P. M. Merlin, A Study of the Recoverability of Computing Systems, Irvine: Univ. California, 1974.

R. Milner, Communication and concurrency, 1995.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

A. Narayanan and G. Karsai, Towards Verifying Model Transformations, 5th International Workshop on Graph Transformation and Visual Modeling Techniques, pp.185-194, 2006.
DOI : 10.1016/j.entcs.2008.04.041
URL : http://doi.org/10.1016/j.entcs.2008.04.041

A. Narayanan and G. Karsai, Using semantic anchoring to verify behavior preservation in graph transformations, ECE- ASST, vol.4, 2006.

. Object-management-group and . Inc, Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, version 1, 2008.

R. F. Paige, D. S. Kolovos, and F. A. Polack, An action semantics for MOF 2.0, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1304-1305, 2006.
DOI : 10.1145/1141277.1141579

D. Pous, New up-to techniques for weak bisimulation, Theoretical Computer Science, vol.380, issue.1-2, pp.164-180, 2007.
DOI : 10.1016/j.tcs.2007.02.060
URL : https://hal.archives-ouvertes.fr/hal-01442745

J. E. Rivera, E. G. Juan-de-lara, and A. , Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude, International Conference on Software Language Engineering, 2008.
DOI : 10.1007/978-3-540-73859-6_12

J. E. Rivera, J. R. Romero, and A. Vallecillo, Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
DOI : 10.1016/S1389-1286(00)00114-6

J. E. Rivera and A. Vallecillo, Adding behavioral semantics to models, 11th IEEE International Enterprise Distibuted Object Computing Conference, pp.169-180, 2007.

J. R. Romero, J. E. Rivera, F. Duran, and A. Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude., The Journal of Object Technology, vol.6, issue.9, pp.187-207, 2007.
DOI : 10.5381/jot.2007.6.9.a10

G. Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, 1997.
DOI : 10.1142/3303

D. Sangiorgi, A theory of bisimulation for the pi-calculus

G. Taentzer, AGG: A??Graph Transformation Environment for Modeling and Validation of Software, LNCS, vol.3062, pp.446-453, 2003.
DOI : 10.1007/978-3-540-25959-6_35

X. Thirioux, B. Combemale, X. Crégut, and P. Garoche, A Framework to formalise the MDE Foundations The formal semantics of programming languages: an introduction, Proceedings of the International Workshop on Towers of Models (TOWERS), pp.14-30, 1993.

P. Ziemann, K. Hölscher, and M. Gogolla, From UML Models to Graph Transformation Systems, Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM), 2005.
DOI : 10.1016/j.entcs.2004.10.025