<div class="csl-bib-body">
<div class="csl-entry">Leroy, D. (2022). <i>Behavioral Typing to Support Offline and Online Analysis for Executable DSLs</i> [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.102464</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2022.102464
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/20113
-
dc.description
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprüft
-
dc.description
Abweichender Titel nach Übersetzung der Verfasserin/des Verfassers
-
dc.description.abstract
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.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Software language engineering
en
dc.subject
behavioral analysis
en
dc.subject
runtime monitoring
en
dc.subject
trace analysis
en
dc.subject
metaprogramming
en
dc.subject
domain-specific languages
en
dc.subject
executable metamodeling
en
dc.title
Behavioral Typing to Support Offline and Online Analysis for Executable DSLs
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2022.102464
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Dorian Leroy
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E194 - Institut für Information Systems Engineering
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC16521359
-
dc.description.numberOfPages
159
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0003-1638-8516
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.openairetype
doctoral thesis
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E194-03 - Forschungsbereich Business Informatics
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering