Empowering Multilevel DSMLs with Integrated Runtime Verification

Fernando Macias, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz


Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way. Runtime verification (RV) has been successfully used to verify the correctness of such behaviour. Specifying behaviour requires managing various levels of abstractions, making multilevel modelling (MLM) a suitable approach for this task. In this paper, we present an approach to combine MLM and RV with an example from the domain of distributed real-time systems. The semantics of the specified behaviour as well as the evaluation of correctness properties are given by model transformation rules. This facilitates simulation of the system and checking against real-time temporal logic correctness properties.
Original languageEnglish
Number of pages15
Publication statusPublished - 22.05.2019
EventECOOP 2019: the European COnference On Programming languages - London, United Kingdom
Duration: 15.07.201919.07.2019


ConferenceECOOP 2019: the European COnference On Programming languages
Country/TerritoryUnited Kingdom


Dive into the research topics of 'Empowering Multilevel DSMLs with Integrated Runtime Verification'. Together they form a unique fingerprint.

Cite this