MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling

Mainstream metamodelling approaches based on the OMG standards, such as EMF, have a fixed number of modelling levels. Despite their partial acceptance in industry, limitations on the number of levels has led to problems such as lack of flexibility and mixed levels of abstraction. Existing multilevel modelling approaches have already tackled these problems by providing features like deep modelling and linguistic extension. However, these approaches have face challenges like hesitation of adoption by industry due to the lack of an ecosystem which frameworks like EMF already have. In this paper, we (1) propose a conceptual framework for multilevel modelling that tackles such challenges, (2) illustrate the approach with two examples, and (3) present the tool MultEcore, which makes the proposed framework directly compatible with EMF, combining the best of the two worlds of fixedand multilevel metamodelling approaches.

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

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

[3]  Sébastien Gérard,et al.  An Automated Process for Implementing Multilevel Domain Models , 2009, SLE.

[4]  Juan de Lara,et al.  A formalisation of deep metamodelling , 2014, Formal Aspects of Computing.

[5]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[6]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[7]  Hans Vangheluwe,et al.  AToMPM: A Web-based Modeling Environment , 2013, MoDELS.

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

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

[10]  Colin Atkinson,et al.  Meta-modelling for distributed object environments , 1997, Proceedings First International Enterprise Distributed Object Computing Workshop.

[11]  Juan de Lara,et al.  When and How to Use Multilevel Modelling , 2014, ACM Trans. Softw. Eng. Methodol..

[12]  Colin Atkinson,et al.  Concepts for comparing modeling tool architectures , 2005, MoDELS'05.

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

[14]  Juan de Lara,et al.  Model-driven engineering with domain-specific meta-modelling languages , 2015, Software & Systems Modeling.

[15]  Colin Atkinson,et al.  Flexible Deep Modeling with Melanee , 2016, Modellierung.

[16]  Jonathan Streit,et al.  SALT - Structured Assertion Language for Temporal Logic , 2006, ICFEM.

[17]  Juan de Lara,et al.  A-posteriori typing for Model-Driven Engineering , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[18]  Hans Vangheluwe,et al.  Multi-level modelling in the Modelverse , 2014, MULTI@MoDELS.

[19]  Juan de Lara,et al.  Generic meta-modelling with concepts, templates and mixin layers , 2010, MODELS'10.

[20]  Hao Wang,et al.  A metamodelling approach to behavioural modelling , 2012, BM-FA '12.

[21]  Rui Wang,et al.  Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper) , 2016, RV.

[22]  Colin Atkinson,et al.  On the Execution of Deep Models , 2015, EXE@MoDELS.

[23]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

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