DarTwin made precise by SysMLv2 -- An Experiment

Øystein Haugen; Stefan Klikovits; Martin Arthur Andersen; Jonathan  Beaulieu; Francis Bordeleau; Joachim Denil; Joost Mertens

doi:10.1109/MODELS-C68889.2025.00051

DarTwin made precise by SysMLv2 -- An Experiment

Øystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens

Institute of Business Informatics - Software Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysMLv2's capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalizes the existing DarTwin notation for Digital Twin (DT) evolution, through SysMLv2, thereby supposedly enabling the wide application of DarTwin's evolution templates using any SysMLv2 tool. We demonstrate DarTwin DSL, but also point out limitations in the currently available tooling of SysMLv2 in terms of graphical notation capabilities. This work contributes to the growing field of Model-Driven Engineering (MDE) for DTs and combines it with the release of SysMLv2, thus integrating a systematic approach with DT evolution management in systems engineering.

Original language	English
Title of host publication	17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA
Number of pages	13
DOIs	https://doi.org/10.1109/MODELS-C68889.2025.00051
Publication status	Accepted/In press - 14 Oct 2025

Fields of science

102020 Medical informatics
102022 Software development
102006 Computer supported cooperative work (CSCW)
102027 Web engineering
502050 Business informatics
102040 Quantum computing
102016 IT security
503015 Subject didactics of technical sciences
509026 Digitalisation research
102015 Information systems
102034 Cyber-physical systems
502032 Quality management
211928 Systems engineering

JKU Focus areas

Digital Transformation

Access to Document

10.1109/MODELS-C68889.2025.00051

Cite this

Haugen, Ø., Klikovits, S., Andersen, M. A., Beaulieu, J., Bordeleau, F., Denil, J., & Mertens, J. (Accepted/In press). DarTwin made precise by SysMLv2 -- An Experiment. In 17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA https://doi.org/10.1109/MODELS-C68889.2025.00051

@inproceedings{f596207687fb476b946270a9e1df00e3,

title = "DarTwin made precise by SysMLv2 -- An Experiment",

abstract = "The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysMLv2's capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalizes the existing DarTwin notation for Digital Twin (DT) evolution, through SysMLv2, thereby supposedly enabling the wide application of DarTwin's evolution templates using any SysMLv2 tool. We demonstrate DarTwin DSL, but also point out limitations in the currently available tooling of SysMLv2 in terms of graphical notation capabilities. This work contributes to the growing field of Model-Driven Engineering (MDE) for DTs and combines it with the release of SysMLv2, thus integrating a systematic approach with DT evolution management in systems engineering.",

author = "{\O}ystein Haugen and Stefan Klikovits and Andersen, \{Martin Arthur\} and Jonathan Beaulieu and Francis Bordeleau and Joachim Denil and Joost Mertens",

year = "2025",

month = oct,

day = "14",

doi = "10.1109/MODELS-C68889.2025.00051",

language = "English",

booktitle = "17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA",

}

DarTwin made precise by SysMLv2 -- An Experiment. / Haugen, Øystein; Klikovits, Stefan; Andersen, Martin Arthur et al.
17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA . 2025.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - DarTwin made precise by SysMLv2 -- An Experiment

AU - Haugen, Øystein

AU - Klikovits, Stefan

AU - Andersen, Martin Arthur

AU - Beaulieu, Jonathan

AU - Bordeleau, Francis

AU - Denil, Joachim

AU - Mertens, Joost

PY - 2025/10/14

Y1 - 2025/10/14

N2 - The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysMLv2's capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalizes the existing DarTwin notation for Digital Twin (DT) evolution, through SysMLv2, thereby supposedly enabling the wide application of DarTwin's evolution templates using any SysMLv2 tool. We demonstrate DarTwin DSL, but also point out limitations in the currently available tooling of SysMLv2 in terms of graphical notation capabilities. This work contributes to the growing field of Model-Driven Engineering (MDE) for DTs and combines it with the release of SysMLv2, thus integrating a systematic approach with DT evolution management in systems engineering.

AB - The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysMLv2's capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalizes the existing DarTwin notation for Digital Twin (DT) evolution, through SysMLv2, thereby supposedly enabling the wide application of DarTwin's evolution templates using any SysMLv2 tool. We demonstrate DarTwin DSL, but also point out limitations in the currently available tooling of SysMLv2 in terms of graphical notation capabilities. This work contributes to the growing field of Model-Driven Engineering (MDE) for DTs and combines it with the release of SysMLv2, thus integrating a systematic approach with DT evolution management in systems engineering.

UR - https://arxiv.org/abs/2510.12478

U2 - 10.1109/MODELS-C68889.2025.00051

DO - 10.1109/MODELS-C68889.2025.00051

M3 - Conference proceedings

BT - 17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA

ER -

DarTwin made precise by SysMLv2 -- An Experiment

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links