TwinLang – A Digital Twin Modeling and Management LanguageRegular
This program is tentative and subject to change.
Digital Twin-enabled Systems (DTeS) are increasingly relevant in practice, particularly in the context of large, complex, and long-lived industrial facilities, buildings, and infrastructure. These systems are typically composed by orchestrating existing assets using a wide range of technologies and artifacts originating from diverse engineering disciplines. Due to continuous adaptation and evolution of the underlying systems, DTeS are subject to significant change over time, making both their development and long-term maintenance highly challenging.
This paper presents TwinLang, a domain-specific language (DSL) designed to support the modeling and management of DTeS throughout their lifecycle. In TwinLang, Digital Twins can be modeled as code, enabling abstraction, reusability, and integration with software engineering workflows. The DSL supports model transformations as a central concept, which enables refinement from abstract representations to concrete implementations. These transformations also facilitate the projection of models into different views, supporting tasks such as deployment, monitoring, and visualisation.
TwinLang is realised as an internal DSL in Scala, leveraging the language’s expressiveness and strong type system. To illustrate and evaluate our approach, we present the development of a Digital Twin for our AI Lab as a concrete use case.
This program is tentative and subject to change.
Tue 7 OctDisplayed time zone: Eastern Time (US & Canada) change
08:35 - 10:00 | Session 5: Architecture, Deployment, and Performance EngineeringTechnical Track at DCIH 102 In-person | ||
08:35 20mPaper | TwinLang – A Digital Twin Modeling and Management LanguageRegular Technical Track Martin Leucker University of Lübeck, Daniel Thoma University of Lübeck, Lars B. Vosteen University of Lübeck | ||
08:55 20mTalk | Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated CloudsRegular Technical Track Philipp Gritsch University of Innsbruck, Deniz Pierer University of Innsbruck, Luca Berardinelli Johannes Kepler University Linz, Michael Felderer German Aerospace Center (DLR) & University of Cologne, Sashko Ristov University of Innsbruck | ||
09:15 15mPaper | Probabilistic Update Scheduling for Digital Twins: A Semi-Markov ApproachVision Technical Track Mikkel Schmidt Andersen , Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University, Sophia Thompson Aarhus University | ||
09:30 15mFull-paper | Engineering Digital Twins with Statecharts: A Smart Home ApplicationExemplar Technical Track Sahil Salma Toronto Metropolitan University, Zenan Zha Toronto Metropolitan University, Toronto, Canada, Protik Mukherjee Toronto Metropolitan University, Sadaf Mustafiz Toronto Metropolitan University | ||
09:45 15mPaper | Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation SamplingExemplar Technical Track Pierre-Emmanuel Goffi École Polytechnique de Montréal, Raphaël Tremblay École Polytechnique de Montréal, Bentley Oakes Polytechnique Montréal Pre-print |