Title: Behavioral Typing to Support Offline and Online Analysis for Executable DSLs
Language: English
Authors: Leroy, Dorian 
Qualification level: Doctoral
Advisor: Wimmer, Manuel 
Issue Date: 2022
Leroy, D. (2022). Behavioral Typing to Support Offline and Online Analysis for Executable DSLs [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.102464
Number of Pages: 159
Qualification level: Doctoral
Dealing with complexity is an important challenge in software and systems engineering, that requires expertise in various heterogeneous domains. Model-Driven Engineering is a development paradigm to cope with this complexity through the conception and use of Domain Specific Languages (DSLs). A DSL captures all the concepts required to solve a set of problems belonging to a particular domain. A particular category of DSLs, Executable DSLs (xDSLs) enable, through a provided execution semantics, the definition of dynamic models, which in turn enables early dynamic verification and validation activities on these models. All xDSLs share a common need for an ecosystem of tools to create, manipulate, and analyze models. But xDSLs come in many shapes and forms, as each is tailored to a particular domain, both syntactically and semantically. Thus, for each new xDSL, tools must be developed anew, or existing tools adapted. In this thesis, we provide solutions to this problem for a set of generic tools dedicated to offline and online analysis for xDSLs. This comes under the form of three distinct contributions. First, we provide a new metaprogramming approach to extend the definition of xDSLs to incorporate a clear definition of the possible interactions between conforming models and their environment. Second, we leverage the extended foundations for the definition of xDSLs offered by our metaprogramming approach to provide generic support for offline and online analysis for a broader scope of xDSLs, under the form of trace comprehension operators and runtime monitoring, respectively.
Keywords: Software language engineering; behavioral analysis; runtime monitoring; trace analysis; metaprogramming; domain-specific languages; executable metamodeling
URI: https://doi.org/10.34726/hss.2022.102464
DOI: 10.34726/hss.2022.102464
Library ID: AC16521359
Organisation: E194 - Institut für Information Systems Engineering 
Publication Type: Thesis
Appears in Collections:Thesis

Files in this item:

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

checked on May 18, 2022


checked on May 18, 2022

Google ScholarTM