TY - CONF
T1 - Empowering Multilevel DSMLs with Integrated Runtime Verification
AU - Macias, Fernando
AU - Rutle, Adrian
AU - Stolz, Volker
AU - Scheffel, Torben
AU - Schmitz, Malte
PY - 2019/5/22
Y1 - 2019/5/22
N2 - 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.
AB - 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.
UR - https://www.researchgate.net/publication/341639648_Empowering_Multilevel_DSMLs_with_Integrated_Runtime_Verification
M3 - Conference Papers
T2 - ECOOP 2019: the European COnference On Programming languages
Y2 - 15 July 2019 through 19 July 2019
ER -
