Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools

Many tools for Model-Driven Engineering (MDE) which are based on the widespread Eclipse Modelling Framework (EMF) [4] are developed for single tasks like e.g., generating, editing, refactoring, merging, patching or viewing of models. Thus, models are oftentimes exchanged in a series of tools. In such a tool chain, a grafical model editor or viewer usually sets the degree of well-formedness of a model in order to visualize it. Well-formedness rules are typically defined in the meta-models, yet not all tools take them into account. As a result, a model can become unprocessable for other tools. This leads to the requirement, that all tools should be based on a common definition of minimum consistency. An obvious solution for this challenge is to use a common library of consistency-preserving edit operations (CPEOs) for models. However, typical meta-models lead to a large number of CPEOs. Manually specifying and implementing such a high number of CPEOs is hardly feasible and prone to error. This paper presents a new meta-tool which generates a complete set of CPEOs for a given meta-model. We have successfully integrated the generated CPEOs in several developer tools. The video http://youtu.be/w31AcMOd83Y demonstrates our meta-tool in the context of one of our developer tools.

[1]  Gabriele Taentzer,et al.  Generating instance models from meta models , 2006, Software & Systems Modeling.

[2]  Udo Kelter,et al.  Consistency-preserving edit scripts in model versioning , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[3]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[4]  Ivan Porres,et al.  A Relation Between Context-Free Grammars and Meta Object Facility Metamodels , 2003 .

[5]  Gabriele Taentzer,et al.  Generating Instance Models from Meta Models , 2006, FMOODS.

[6]  Udo Kelter,et al.  Generating realistic test models for model processing tools , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[7]  Udo Kelter,et al.  Generating Edit Operations for Profiled UML Models , 2013, ME@MoDELS.

[8]  Gabriele Taentzer,et al.  A tool environment for quality assurance based on the Eclipse Modeling Framework , 2012, Automated Software Engineering.