DarTwin made precise by SysMLv2 -- An Experiment

2025-10-14

AI Summary

Digital twin (DT) evolutionary modeling lacks formal, integrable domain-specific language (DSL) support. Method: Leveraging SysML v2’s built-in domain concepts and language extension mechanisms, we designed and implemented DarTwin DSL—the first DSL to systematically formalize the DarTwin symbolic system while achieving deep integration with the next-generation SysML standard. DarTwin adopts a graphical modeling paradigm and explicitly defines the semantics and structure of DT evolution templates, validated through representative use cases. Contribution/Results: The work extends SysML v2’s applicability to complex system modeling and significantly enhances DT modeling rigor, reusability, and toolchain interoperability. Furthermore, it empirically identifies a critical limitation in current SysML v2 tools—namely, insufficient support for graphical syntax—which provides concrete evidence to inform future standardization efforts and tool development.

Technology Category

• Knowledge Representation and Reasoning: Description Logics
• Machine Learning: Evolutionary Learning
• Cognitive Modeling & Cognitive Systems: Symbolic Representations

Application Category

• Systems and Infrastructure for Web, Mobile and WoT: Applied ML and AI for Web-based mobile applications
• Semantics and Knowledge: Data modeling to support human-machine intelligence, including LLMs agents, intelligent system behavior, explanations, and user-friendly interactions
• User Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systems

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.

Problem

• Formalizing Digital Twin evolution notation using SysMLv2
• Evaluating SysMLv2's domain-specific language creation capabilities
• Integrating model-driven engineering with Digital Twin evolution management

Innovation

• SysMLv2 enables domain-specific language creation
• DarTwin DSL formalizes digital twin evolution notation
• Integrates model-driven engineering with system engineering