DarTwin made precise by SysMLv2 -- An Experiment
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917012204158976 |
|---|---|
| author | Haugen, Øystein Klikovits, Stefan Andersen, Martin Arthur Beaulieu, Jonathan Bordeleau, Francis Denil, Joachim Mertens, Joost |
| author_facet | Haugen, Øystein Klikovits, Stefan Andersen, Martin Arthur Beaulieu, Jonathan Bordeleau, Francis Denil, Joachim Mertens, Joost |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_12478 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | DarTwin made precise by SysMLv2 -- An Experiment Haugen, Øystein Klikovits, Stefan Andersen, Martin Arthur Beaulieu, Jonathan Bordeleau, Francis Denil, Joachim Mertens, Joost Software Engineering Systems and Control 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. |
| title | DarTwin made precise by SysMLv2 -- An Experiment |
| topic | Software Engineering Systems and Control |
| url | https://arxiv.org/abs/2510.12478 |