STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany
Tue 10 Jun 2025 16:00 - 16:30 at M 001 - ECMFA Session 3: Digital twins and data analysis Chair(s): Iván Alfonso

Executable Domain Specific Languages (xDSL) enable domain experts to design and simulate the systems they develop. Various strategies have been explored for capturing system execution traces, allowing domain experts to perform advanced analysis. However, extracting meaningful data from these traces presents significant challenges for many domain experts due to: (1) a limited understanding of the trace structure, (2) a lack of software development skills needed to implement programs to navigate and extract data from execution traces. This paper presents an approach that allows domain experts to write domain-specific queries using domain terminology, without relying on developers or requiring an in-depth understanding of trace structures. The contributions are: (1) Trace Domain Query Language (TraceDQL), a domain-specific language that allows the domain experts to write queries that explore the execution trace and return the requested data. This language can be used across different application domains. (2) Specific Terms Generator, a tool that generates domain-specific terms and connects a given xDSL to the trace language at TraceDQL model level. This mechanism makes trace navigation transparent to domain experts, freeing them from the need to understand trace structures and simplifying the data extraction process. We illustrate our proposal with two case studies: Simple Manufacturing System (SMS) xDSL and Arduino xDSL.

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
ECMFA Session 3: Digital twins and data analysisECMFA at M 001
Chair(s): Iván Alfonso Luxembourg Institute of Science and Technology
15:30
30m
Talk
Behavioral analysis of a digital twin using logging and model learning
ECMFA
Gunasekaran Raghavendran Tilburg University, Boudewijn Haverkort University of Twente, Loes Kruger Radboud University
Link to publication DOI
16:00
30m
Talk
Navigating the trace of executable domain specific languages through a trace domain query language
ECMFA
Hiba Ajabri Nantes Université, Jean-Marie Mottu Nantes Université, Christian Attiogbe Nantes Université, Pascal Berruet University of Bretagne Sud
Link to publication DOI
16:30
30m
Talk
Support for Model-Based Data Sovereignty Analysis
ECMFA
Sanjeev Sun Shakya University of Koblenz, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Julian Flake University of Koblenz, Alexander Peikert University of Koblenz
Link to publication DOI