<figure><img src="image_1.png" /></figure>

HAL
open science

# How to define modeling languages?

Benoit Combemale, Jeff Gray, Bernhard Rumpe

► To cite this version:

Benoit Combemale, Jeff Gray, Bernhard Rumpe. How to define modeling languages?. Software and Systems Modeling, 2023, 22 (2), pp.449-451. 10.1007/s10270-023-01098-1. hal-04128248

HAL Id: hal-04128248

https://hal.science/hal-04128248

Submitted on 14 Jun 2023

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_2.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
# How to define modeling languages?

Benoit Combemale<fnref n="1" /> · Jeff Gray<fnref n="2" /> · Bernhard Rumpe<fnref n="3" />

Published online: 20 March 2023

© The Author(s) 2023

At the end of September 2022 at RWTH Aachen, Germany, there was a meeting attended by several experts on software language development with a specific emphasis on modeling. The LangDev meetings are particularly dedicated to the exchange of new ideas and innovations around the definition and use of Domain-Specific Languages (DSLs). Developers and users from multiple research and tooling groups attended, including representation from Essential, Freon (formerly ProjectIT), Gemoc, Langium, LinGo, MontiCore, MPS, Rascal, SpooFax, StarLasu, and Stratego. Attendees presented and discussed new trends and developments in their domains. Several practitioners also demonstrated new applications and uses of DSLs in various application domains, ranging from the European Union Digital COVID(-19) Certificate (the EU Digital Covid Certificate), to industrial printing systems, and digital twins, to name a few. LangDev 22 presented a very good balance among practitioners and researchers, as well as industrial and academic partners. The meeting welcomed a large number of new and young participants, which is a good sign for the community. Industrial partners included language workbench providers, and language workbench users, with impressive applications ranging from the EU DCC to examples in scientific computing. As the theme for this editorial, we want to share our impressions from that meeting as well as some general observations.

The diversity of language definition approaches appear to be more diverse, yet harmonize in the concepts available. Several techniques created originally in one technology stack are now adopted in other tooling platforms. It is also evident that various approaches are moving to the web, which

allows developers to define new modeling languages without any need for local installation. However, there are also concerns that such an approach is nice to try out as a new technology, but when real intellectual property (IP) is involved, industrial companies will potentially prefer local, internet-free handling of their IP in the form of models. For such a need, company-internal clouds could be a solid alternative. What is really promising is that a number of software technologies are moving from configuration files at the very low-level (e.g., error prone JSON and YAML) to well-defined DSLs.

Another intensive discussion focused on the development process for new languages. It is evident that defining very similar DSLs from scratch over and over again is inefficient for long-term sustainability. As an option, various forms of reuse were discussed. One type of reuse is a simple copy-paste-modify reuse, where DSL (n + 1) emerges as a specialized extension of its original DSL (n). Much better types of reuse exist in terms of black-box reuse, composition of DSLs from independently developed language components, and the need for reusable, standardized language component libraries that have been proposed and partially shown in successful application.

Model typing is connected to black-box reuse of language components and was raised as an important topic at LangDev 22. The issues include the transfer of traditional types known from programming languages to model elements describing classes, variables, objects, and expressions. Additionally, the notion of typing has to be transferred successfully to all other kinds of symbols that are present in models, such as pins, ports, channels, system components, actions, activities, and whatever concepts have been defined in the DSL. Finally, it was debated on whether the model itself should get a form of “type” in order to explain how the model can be connected to other models, leading to a well-typed composition technique, ideally with encapsulation, at the modeling level.

In addition to the above mentioned language composition and typing topics, LangDev 22 attendees also discussed projectional editing, multilevel modeling, parsing, compilers, transpilers, interpreters, as well as tool support (debugger,

<figure><img src="image_3.png" /></figure>

<footnote>Bernhard Rumpe
bernhard.rumpe@sosym.org</footnote>

<footnote>Benoit Combemale
benoit.combemale@sosym.org</footnote>

<footnote>Jeff Gray
jeff gray@sosym.org</footnote>

<footnote n="1">¹ University of Rennes, Rennes, France</footnote>

<footnote n="2">² University of Alabama, Tuscaloosa, AL, USA</footnote>

<footnote n="3">³ RWTH Aachen University, Aachen, Germany</footnote>
linter) for new DSL interfaces. Interestingly, simulation was not such a relevant topic, although the simulation community currently recognizes that the readability of simulation models is relevant for understandability and explanation of the simulation results. There also needs to be an efficient evolution of the simulation to explicit models, such as UML, SysML and especially simulation capable DSLs.

As a final note, Model-Driven Engineering has experienced success and is addressing more scenarios (e.g., digital twins, analytics) in an increasing number of application domains (e.g., natural systems, multi-physics systems). This broader use of MDE challenges the seminal, but yet limited, foundations on which most of the tools and methods are based, such as conformity and instantiation. New concerns, such as (multi-)fidelity, abstraction, precision, uncertainty, substitutability, accuracy, and validity are emerging very quickly, and need to be defined precisely. These concepts must be integrated into the core modeling techniques for DSLs to enable the sound development of the future generation of MDE approaches.

1 In memory of Heinrich Hussmann
(inaugural SoSyM editor)

This issue is a memorial to Heinrich Hussmann, our long-
time friend and SoSyM editor. Heinrich was also the Diploma
thesis advisor and later colleague of Bernhard. We are so
sad that he suddenly passed away last year and have asked
his closest colleagues, Manfred Broy, Albrecht Schmidt, and
Martin Wirsing for the dedication (included in this issue) to
his career and life.

Please find below a picture of SoSyM's inaugural Editorial Board Meeting from October 2002 in Dresden during the 5th International Conference "UML 2002—The Unified Modeling Language: Model Engineering, Concepts, and Tools" (which was later renamed to MODELS). Heinrich organized that conference and he did a great job, even though there was a devastating flood a few months earlier (the web-servers had to be rescued after being offline and the conference venue also had to be changed). The first issue of SoSyM had just been released for this conference. Thus, Dresden was the birthplace of SoSyM.

<figure><img src="image_4.png" /><figcaption>Inaugural SoSyM Meeting: October 2002 in Dresden, Germany (Heinrich in second row, far-right)</figcaption></figure>
Heinrich, we miss you.

## 2 Content of this issue

1. **Dedication to the Career and Life of Heinrich Hussmann**

* by Manfred Broy, Albrecht Schmidt, and Martin Wirsing.

2. **Expert Voice**

* “Trustworthy agent-based simulation: the case for domain-specific modelling languages” by Steffen Zschaler and Fiona A. C. Polack.

3. **FACS2021 Special Section**

Guest editor: Gwen Salaün

4. **PoEM 2021 Special Section**

Guest editors: Estefanía Serral, Janis Stirna, Jolita Ralyté, and Janis Grabis

5. **Regular Papers**

* “Dash: declarative behavioural modelling in Alloy with control state hierarchy” by Jose Serna, Nancy Day, and Shahram Esmaeilsabzali

* “Semi-automatic service value network modeling approach based on external public data” by Jingying Wang, Chao Ma, Huixin Xu, Zhiying Tu, Xiaofei Xu, Hanchuan Xu, and Zhongjie Wang

**Funding** Open Access funding enabled and organized by Projekt DEAL.

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

**Publisher's Note** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.