DarTwin made precise by SysML v2 - An Experiment - Best Paper Award

The paper presents DarTwin DSL, a formalisation of the DarTwin notation for Digital Twin evolution using the newly released SysML v2 standard. The work demonstrates how systems modelling approaches (in particular SysML v2) can be used to build mechanisms for domain-specific language extensions. The creation of formally specified domain-specific languages for Digital Twin evolution management is contributing to the growing field of Model-Driven Engineering for Digital Twins.