Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations

Optimal support for continuous evolution in model-based software development requires tool environments to be customisable to domain-specific modelling languages. An important aspect is the set of change operations available to modify models. In-place model transformations are well-suited for that purpose. However, the specification of transformation rules requires a deep understanding of the language meta-model, limiting it to expert tool developers and language designers. This is at odds with the aim of domain-specific visual modelling environments, which should be customisable by domain experts.

[1]  Houari A. Sahraoui,et al.  Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples , 2016, ACM Trans. Softw. Eng. Methodol..

[2]  Richard F. Paige,et al.  Different models for model matching: An analysis of approaches to support model differencing , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[3]  Jeffrey G. Gray,et al.  Model Transformation by Demonstration , 2009, MoDELS.

[4]  Tom Mens,et al.  On the Use of Graph Transformations for Model Refactoring , 2005, GTTSE.

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

[6]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[7]  Dániel Varró,et al.  Model transformation by example using inductive logic programming , 2008, Software & Systems Modeling.

[8]  Reiko Heckel,et al.  Electronic Communications of the EASST Volume 58 ( 2013 ) Proceedings of the 12 th International Workshop on Graph Transformation and Visual Modeling Techniques ( GTVMT 2013 ) Learning Minimal and Maximal Rules from Observations of Graph Transformations , 2013 .

[9]  Dániel Varró,et al.  Advanced model transformation language constructs in the VIATRA2 framework , 2006, SAC.

[10]  Reiko Heckel,et al.  Extracting Visual Contracts from Java Programs , 2015 .

[11]  Lawrence B. Holder,et al.  Learning patterns in the dynamics of biological networks , 2009, KDD.

[12]  Bernhard Rumpe,et al.  Systematically deriving domain-specific transformation languages , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[13]  Daniel Merkle,et al.  Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions , 2016, ICGT.

[14]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[15]  Jorge J. Gómez-Sanz,et al.  Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages , 2009, ICMT@TOOLS.

[16]  Gregor Engels,et al.  Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application , 2016, EuroGP.

[17]  Reiko Heckel,et al.  Extracting Visual Contracts from Java Programs (T) , 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[18]  Gabor Karsai,et al.  Applying a Model Transformation Taxonomy to Graph Transformation Technology , 2006, GRaMoT@GPCE.

[19]  Reiko Heckel,et al.  Compositional Verification of Architectural Refactorings , 2009, WADS.

[20]  Reiko Heckel,et al.  Verification of Architectural Refactorings: Rule Extraction and Tool Support , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[21]  Gerti Kappel,et al.  An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example , 2009, MoDELS.

[22]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[23]  Udo Kelter,et al.  Workspace updates of visual models , 2014, ASE.

[24]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[25]  Harald Störrle,et al.  VMTL: a language for end-user model transformation , 2018, Software & Systems Modeling.

[26]  Udo Kelter,et al.  Understanding model evolution through semantically lifting model differences with SiLift , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[27]  Gabriele Taentzer,et al.  Generating Domain-Specific Model Editors with Complex Editing Commands , 2008, AGTIVE.

[28]  Timo Kehrer,et al.  A Generic Framework for Analyzing Model Co-Evolution , 2014, ME@MoDELS.

[29]  Gerti Kappel,et al.  Model Transformation By-Example: A Survey of the First Wave , 2012, Conceptual Modelling and Its Theoretical Foundations.

[30]  H. J. Sander Bruggink,et al.  Towards Process Mining with Graph Transformation Systems , 2014, ICGT.

[31]  Roy Grønmo.  Using Concrete Syntax in Graph-based Model Transformations , 2010 .