, UML2Alloy: A Challenging Model Transformation Analysis of Model Transformations via Alloy Applying Model Management to Classical Meta Data Problems, MoDELS MODEVVAAll09] Alloy Analyzer Homepage Proceedings of the 1st Biennial Conference on Innovative Data Systems Research (CIDR), pp.436-450515, 2003.
, Characterization of computable data types by means of a finite equational specification method, Automata, Languages and Programming, Seventh Colloquium, pp.76-90, 1980.
, Precise Semantics of EMF Model Transformations by Graph Transformation, LNCS, vol.5301, issue.08, pp.53-67, 2008.
DOI : 10.1007/978-3-540-87875-9_4
, Automatic Support for Traceability in a Generic Model Management Framework Algebraic specification of a model transformation engine, Software and System Modeling (SoSym), pp.171-188, 2005.
, Towards roundtrip engineering -a template-based reverse engineering approach Rewriting Logic Semantics and Verification of Model Transformations What is a Multi-Modeling Language?, ECMDA-FA FASE 19th International Workshop on Algebraic Development Techniques, pp.33-47, 2008.
, An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework MOMENT: a formal framework for MOdel manageMENT, Algebraic Semantics of OCL-constrained Metamodel SpecificationsBor07] A. BoronatBJM00] A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science, pp.316-33035, 2000.
, Semantic foundations for generalized rewrite theories, Theoretical Computer Science, vol.360, issue.1-3, pp.386-414, 2006.
DOI : 10.1016/j.tcs.2006.04.012
, All About Maude ? A High-Performance Logical Framework, 2007.
, Maude as a formal meta-tool The Metamodelling Language Calculus: Foundation Semantics for UML, FM'99 ? Formal Methods, pp.1684-1703, 1999.
, Engineering Modelling Languages: A Precise Meta-Modelling Approach, FASE 02, pp.159-173, 2002.
DOI : 10.1007/3-540-45923-5_11
, Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types, Proc. Fifth International Workshop on Rewriting Logic and its Applications, 2004.
, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, Theoretical Computer Science, vol.373, issue.1-2, pp.70-91, 2007.
DOI : 10.1016/j.tcs.2006.12.009
, Fundamentals of Algebraic Graph Transformation [Emf09] Eclipse Organization. The Eclipse Modeling Framework, 2006.
, Handbook of Graph Grammars and Computing by Graph Transformations, 1999.
, A formalization proposal of the UML four-layered architecture, Spanish), 2002.
, Can intuition become rigorous? Foundations for UML model verification tools, International Symposium on Software Reliability Engineering. [FeT01] J. L. Fernández and A. Toval. Seamless Formalizing the UML Semantics through Metamodels, pp.224-248, 2000.
, Institutions: abstract model theory for specification and programming, Jac06] D. Jackson. Software Abstractions: Logic, Language, and Analysis, pp.95-146, 1992.
DOI : 10.1145/147508.147524
, The Java Metadata Interface (JMI) Specification (JSR 40), 2002.
, KM3: A DSL for Metamodel Specification, FMOODS Matters of (meta-) modeling. Software and Systems Modeling (SoSyM). [Lac05] L. W. Lacy. Owl: Representing Information Using the Web Ontology Language, pp.171-185369, 2005.
DOI : 10.1007/11663430_18
URL : https://hal.archives-ouvertes.fr/hal-00448119
, Models in software engineering - an introduction, Informatik - Forschung und Entwicklung, vol.18, issue.3-4, pp.105-112, 2004.
DOI : 10.1007/s00450-004-0155-7
, Generalized sketches as a framework for completeness theorems. Part I, Mau06] Maude Development Tools, pp.49-79, 1997.
DOI : 10.1016/S0022-4049(96)00007-2
, Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools, Proc. Intl. Joint Conf. on Automated Reasoning IJCAR'04, pp.1-44, 2004.
DOI : 10.1007/978-3-540-25984-8_1
, The rewriting logic semantics project, Theoretical Computer Science, vol.373, issue.3, pp.213-23773, 1992.
DOI : 10.1016/j.tcs.2006.12.018
URL : http://doi.org/10.1016/j.entcs.2005.10.027
, Membership algebra as a logical framework for equational specification http://www.cs.le.ac.uk/ ~ aboronat/tools/moment2 Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation Selfsync: a dynamic round-trip engineering environment [Poe06] I. Poernomo. The meta-object facility typed, Research Directions in Concurrent Object-Oriented Programming Proc. WADT'97OMG06] OMG. Meta Object Facility (MOF) 2.0 Core Specification OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications Language Engineering for Model-Driven Software Development, volume 04101 of Dagstuhl Seminar Proceedings. Internationales Begegnungs-und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, pp.314-390, 1993.
, Formal and Tool Support for Model Driven Engineering with Maude., RSA09] IBM. Rational Software Architect for WebSphere Software, pp.187-207, 2007.
DOI : 10.5381/jot.2007.6.9.a10
, A Diagrammatic Formalisation of MOF-Based Modelling Languages Model transformation: The heart and soul of model-driven software development, Handbook of Grammars and Computing by Graph Transformation Models and Patterns, 47th International ConferenceSAE07] SAE. AADLSei03] E. Seidewitz. What models mean. Software, IEEESeK03] S. Sendall and W. Kozaczynski, pp.26-3242, 1997.
, A rewriting logic approach to operational semantics. Information and Computation, pp.305-340, 2007.
, Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework, Essays in Memory of Ole-Johan Dahl, pp.334-375, 2004.
DOI : 10.1007/978-3-540-39993-3_16
, Formally modeling uml and its evolution: a holistic approach FMOODS'00, Formal Methods for Open Object-Based Distributed Systems, www.kermeta.org/. [Wsb07] OASIS. Web Services Business Process Execution Language Version 2.0, 2000.