Diagram Predicate Framework meets Model Versioning and Deep Metamodelling

xv 1 Model-Driven Engineering 1 1.

[1]  Gabriele Taentzer,et al.  Conflict Detection for Model Versioning Based on Graph Modifications , 2010, ICGT.

[2]  Hartmut Ehrig,et al.  Fundamental Theory for Typed Attributed Graph Transformation , 2004, ICGT.

[3]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[4]  Juan de Lara,et al.  Deep Meta-modelling with MetaDepth , 2010, TOOLS.

[5]  Adrian Rutle,et al.  A Diagrammatic Formalisation of MOF-Based Modelling Languages , 2009, TOOLS.

[6]  Jeffrey G. Gray,et al.  DSMDiff: a differentiation tool for domain-specific models , 2007 .

[7]  Gerti Kappel,et al.  Adaptable Model Versioning in Action , 2010, Modellierung.

[8]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[9]  Jack Greenfield.  Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools , 2004, GPCE.

[10]  Michal Antkiewicz,et al.  Design Space of Heterogeneous Synchronization , 2007, GTTSE.

[11]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[12]  Artur Boronat,et al.  Algebraic Semantics of OCL-Constrained Metamodel Specifications , 2009, TOOLS.

[13]  Iman Poernomo.  A Type Theoretic Framework for Formal Metamodelling , 2004, Architecting Systems with Trustworthy Components.

[14]  Federico Mancini,et al.  The SHIP Validator: An Annotation-Based Content-Validation Framework for Java Applications , 2010, 2010 Fifth International Conference on Internet and Web Applications and Services.

[15]  J. W. Hunt,et al.  An Algorithm for Differential File Comparison , 2008 .

[16]  Ben Collins-Sussman,et al.  Version Control with Subversion, Second Edition , 2008 .

[17]  Zinovy Diskin,et al.  Generic Model Management , 2005, Encyclopedia of Database Technologies and Applications.

[18]  Adrian Rutle,et al.  A formalisation of the copy-modify-merge approach to version control in MDE , 2010, J. Log. Algebraic Methods Program..

[19]  Brian Henderson-Sellers,et al.  A powertype-based metamodelling framework , 2006, Software & Systems Modeling.

[20]  Federico Mancini,et al.  Investigating the Limitations of Java Annotations for Input Validation , 2010, 2010 International Conference on Availability, Reliability and Security.

[21]  Hartmut Ehrig,et al.  Applications, languages and tools , 1999 .

[22]  Colin Atkinson,et al.  A Flexible Infrastructure for Multilevel Language Engineering , 2009, IEEE Transactions on Software Engineering.

[23]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[24]  Reiko Heckel,et al.  Graph Transformation in a Nutshell , 2006, FoVMT.

[25]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[26]  Frank Piessens,et al.  Universal Arrow Foundations for Visual Modeling , 2000, Diagrams.

[27]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[28]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[29]  Zinovy Diskin,et al.  The Next Hundred Diagrammatic Specification Techniques — An Introduction to Generalized Sketches — , 2007 .

[30]  Adrian Rutle,et al.  A Formal Approach to Data Validation Constraints in MDE , 2011 .

[31]  Ø. Bech.  A Multi-Layer Modelling Environment for Diagram Predicate Framework in Eclipse , 2011 .

[32]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[33]  Antonio Vallecillo,et al.  Representing and Operating with Model Differences , 2008, TOOLS.

[34]  Antonio Cicchetti,et al.  Managing Model Conflicts in Distributed Development , 2008, MoDELS.

[35]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[36]  Contents , 2019, International Law Reports.

[37]  Martin Schader,et al.  Ontological Extension to the MOF Metamodel as a Basis for Code Generation , 2007, Comput. J..

[38]  Reda Bendraou,et al.  Towards Automated Inconsistency Handling in Design Models , 2010, CAiSE.

[39]  Haim Kilov,et al.  Practical Foundations of Business System Specifications , 2003, Springer Netherlands.

[40]  Thomas Kühne.  Clarifying matters of (meta-) modeling: an author’s reply , 2006, Software & Systems Modeling.

[41]  Adrian Rutle,et al.  A Formalisation of Constraint-Aware Model Transformations , 2010, FASE.

[42]  Wolfgang Pree,et al.  Multi-level Modeling for Industrial Automation Systems , 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

[43]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[44]  Brian Henderson-Sellers,et al.  Metamodelling for software engineering , 2008 .

[45]  Daniel Schreiber,et al.  Can programming be liberated from the two-level style: multi-level programming with deepjava , 2007, OOPSLA.

[46]  Michael Barr,et al.  Category theory for computing science (2. ed.) , 1995, Prentice Hall international series in computer science.

[47]  Adrian Rutle,et al.  A Category-Theoretical Approach to the Formalisation of Version Control in MDE , 2009, FASE.

[48]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[49]  Jürgen Dingel,et al.  Mappings, maps and tables: towards formal semantics for associations in UML2 , 2006, MoDELS'06.

[50]  Colin Atkinson,et al.  Rearchitecting the UML infrastructure , 2002, TOMC.

[51]  Adrian Rutle,et al.  Diagram predicate framework: A formal approach to MDE , 2010 .

[52]  Colin Atkinson,et al.  Profiles in a strict metamodeling framework , 2002, Sci. Comput. Program..

[53]  Leonardo Murta,et al.  Towards odyssey-VCS 2: improvements over a UML-based version control system , 2008, CVSM@ICSE.

[54]  Tomi Männistö,et al.  Nivel: a metamodelling language with a formal semantics , 2009, Software & Systems Modeling.

[55]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[56]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[57]  Wolfgang Hesse,et al.  More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters” , 2006, Software & Systems Modeling.

[58]  Adrian Rutle,et al.  A formal approach to the specification and transformation of constraints in MDE , 2012, J. Log. Algebraic Methods Program..

[59]  Colin Atkinson,et al.  A Systematic Approach to Connectors in a Multi-level Modeling Environment , 2008, MoDELS.

[60]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[61]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[62]  Zinovy Diskin,et al.  A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..

[63]  Colin Atkinson,et al.  Reducing accidental complexity in domain models , 2008, Software & Systems Modeling.

[64]  Zinovy Diskin,et al.  Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling , 2003, Data Knowl. Eng..

[65]  Antonio Cicchetti,et al.  A Metamodel Independent Approach to Difference Representation , 2007, J. Object Technol..

[66]  Udo Kelter,et al.  Differences between versions of UML diagrams , 2003, ESEC/FSE-11.

[67]  M. Makkai.  Generalized sketches as a framework for completeness theorems , 1997 .