Empowering Multilevel DSMLs with Integrated Runtime Verification
| Title | Empowering Multilevel DSMLs with Integrated Runtime Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Macias, F, Rutle, A, Stolz, V, Scheffel, T, Schmitz, M |
| Conference Name | VORTEX |
| Publisher | Springer |
| Conference Location | England |
| Abstract | Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a |
@inproceedings {1318,
title = {Empowering Multilevel DSMLs with Integrated Runtime Verification},
booktitle = {VORTEX},
year = {2019},
publisher = {Springer},
organization = {Springer},
address = {England},
abstract = {<p>Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a<br>
powerful technique to specify systems and systems{\textquoteright} behaviour in a formal, yet understandable<br>
way. Runtime verification (RV) has been successfully used to verify the correctness of such<br>
behaviour. Specifying behaviour requires managing various levels of abstractions, making<br>
multilevel modelling (MLM) a suitable approach for this task. In this paper, we present an<br>
approach to combine MLM and RV with an example from the domain of distributed real-time<br>
systems. The semantics of the specified behaviour as well as the evaluation of correctness<br>
properties are given by model transformation rules. This facilitates simulation of the system<br>
and checking against real-time temporal logic correctness properties.</p>
},
author = {Fernando Macias and Adrian Rutle and Volker Stolz and Torben Scheffel and Malte Schmitz}
}