Composition of multilevel domain-specific modelling languages

Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM techniques, we need powerful model composition operators. Indeed, the compositi...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logical and algebraic methods in programming 2023-01, Vol.130, p.100831, Article 100831
Main Authors: Rodríguez, Alejandro, Macías, Fernando, Durán, Francisco, Rutle, Adrian, Wolter, Uwe
Format: Article
Language:English
Subjects:
Behviour modeling with graph transformations
Composition of multilevel models
Domain-specific modelling languages
Model-driven software engineering
Multilevel modelling
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM techniques, we need powerful model composition operators. Indeed, the composition of DSMLs is becoming increasingly relevant to the modelling community either because some DSMLs may share commonalities that we want to make reusable, or because we want to facilitate interoperability between DSMLs. In this paper, we propose a composition mechanism for structure and behaviour of multilevel modelling hierarchies. Our approach facilitates the inclusion of additional features while keeping a clear separation of concerns that enhances modularity. We provide a formal semantics of the constructions based on category theory and graph transformations, and show their use in practice on a case study.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2022.100831