Taking the Pick out of the Bunch - Type-Safe Shrinking of Metamodels

To focus only on those parts of a metamodel that are of interest for a specific task requires techniques to generate metamodel snippets. Current techniques generate strictly structure-preserving snippets, only, although restructuring would facilitate to generate less complex snippets. Therefore, we propose metamodel shrinking to enable type-safe restructuring of snippets that are generated from base metamodels. Our approach allows to shrink a selected set of metamodel elements by automatic reductions that guarantee type-safe results by design. Based on experiments with 12 different metamodels from various application domains, we demonstrate the benefits of metamodel shrinking supported by our prototypical implementation build on top of the Eclipse Modeling Framework (EMF).

[1]  Olivier Barais,et al.  Reusable model transformations , 2012, Software & Systems Modeling.

[2]  Lu Zhang,et al.  Applying OO Metrics to Assess UML Meta-models , 2004, UML.

[3]  Jordi Cabot,et al.  EMF Profiles: A Lightweight Extension Approach for EMF Models , 2012, J. Object Technol..

[4]  Olivier Barais,et al.  Generic Model Refactorings , 2009, MoDELS.

[5]  Pierre Kelsen,et al.  Models within Models: Taming Model Complexity Using the Sub-model Lattice , 2011, FASE.

[6]  Antonio Vallecillo.  On the Combination of Domain Specific Modeling Languages , 2010, ECMFA.

[7]  Jeffrey G. Gray,et al.  Aspect mining from a modelling perspective , 2008, Int. J. Comput. Appl. Technol..

[8]  Guido Wachsmuth,et al.  Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.

[9]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[10]  Robert B. France,et al.  A Metamodeling Approach to Pattern-Based Model Refactoring , 2003, IEEE Softw..

[11]  Kevin Lano,et al.  Slicing Techniques for UML Models , 2011, J. Object Technol..

[12]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[13]  Jim Steel,et al.  On Model Subtyping , 2012, ECMFA.

[14]  Gerti Kappel,et al.  A survey on UML-based aspect-oriented design modeling , 2011, CSUR.

[15]  Andy Schürr,et al.  Formal Definition of MOF 2.0 Metamodel Components and Composition , 2008, MoDELS.

[16]  Martin Gogolla,et al.  Typing Model Transformations Using Tracts , 2012, ICMT@TOOLS.

[17]  Deepak Goyal,et al.  A hierarchical model for object-oriented design quality assessment , 2015 .

[18]  Gabor Karsai,et al.  Design Guidelines for Domain Specific Languages , 2014, ArXiv.

[19]  Jean-Marc Jézéquel,et al.  Meta-model Pruning , 2009, MoDELS.

[20]  Benoît Combemale,et al.  Modeling model slicers , 2011, MODELS'11.

[21]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[22]  Andrew M. Sutton,et al.  Context-free slicing of UML class models , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[23]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[24]  Harold Ossher,et al.  Asymmetrically vs. Symmetrically Organized Paradigms for Software Composition , 2002 .

[25]  Sander Vermolen,et al.  An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models , 2010, SLE.

[26]  Heung Seok Chae,et al.  Modularization of the UML Metamodel Using Model Slicing , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).