Navigating the trace of executable domain specific languages through a trace domain query language
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 JunDisplayed 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 |