ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation

Anthony Simons

2025

Abstract

Model-Driven Engineering (MDE) is a broad discipline concerned with curating all aspects of system design using models. Model-Driven Architecture (MDA) is a highly publicised approach focusing on the generation of software systems from models. However, MDA consists of a large collection of complex, interlocking standards, which together are difficult to master and have only partial implementations. This motivated us to devise a much simpler language and toolset for MDE. The result is ReMoDeL (Reusable Model Design Language), a pure functional object-oriented language for describing concepts and relationships. ReMoDeL supports the creation of metamodels, models and model transformations. It leverages skills already known to programmers, such as inheritance and pure functional mapping. It integrates with any standard Java IDE and cross-compiles to Java, although ReMoDeL is more succinct (by 4x). ReMoDeL’s pure functional transformations are in principle amenable to formal proof by induction. Practically, it offers a convenient and fast way to prototype different metamodels and transformations. We are using ReMoDeL to develop alternatives to UML and MDA (with different models and abstraction levels), with promising results.

Paper Citation

in Harvard Style

Simons A. (2025). ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 242-249. DOI: 10.5220/0013184700003896

in Bibtex Style

@conference{modelsward25,
author={Anthony Simons},
title={ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={242-249},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013184700003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation
SN - 978-989-758-729-0
AU - Simons A.
PY - 2025
SP - 242
EP - 249
DO - 10.5220/0013184700003896
PB - SciTePress