To main content

A formalisation of deep metamodelling

Abstract

Metamodelling is one of the pillars of model-driven engineering, used for language engineering and domain modelling. Even though metamodelling is traditionally based on a two-metalevel approach, several researchers have pointed out limitations of this solution and proposed an alternative deep (also called multi-level) approach to obtain simpler system specifications. However, this approach currently lacks a formalisation that can be used to explain fundamental concepts such as deep characterisation, double linguistic/ontological typing and linguistic extension. This paper provides such a formalisation based on the Diagram Predicate Framework, and discusses its practical realisation in the metaDepth tool.

Category

Academic article

Language

English

Author(s)

  • Alessandro Rossini
  • Juan de Lara
  • Esther Guerra
  • Adrian Rutle
  • Uwe Egbert Wolter

Affiliation

  • SINTEF Digital / Software and Service Innovation
  • Autonomous University of Madrid
  • Norwegian University of Science and Technology
  • University of Bergen

Year

2014

Published in

Formal Aspects of Computing

ISSN

0934-5043

Volume

26

Issue

6

Page(s)

1115 - 1152

View this publication at Cristin