Type systems for domain-specific languages
Abstract
Model-driven software development employs models to describe different aspects of a system on different levels of abstraction. These aspects are driven by technology or application domain. Modeling is often done in specific graphical or textual notations, called domain-specific languages (DSL). In recent years such languages became very popular in the modeling community to describe structure and sometimes behavior. In the context of type systems, these structures are called types and the behavior is modeled with expressions. The programming language community has developed many concepts to model and specify type systems and the semantics of expressions. However, in the modeling community this is often neglected when specifying meta models and describing their semantics, what may cause problems in developing checks and generators for DSLs. To address this issue, we present an approach, that provides guidance and support during DSL development based on established knowledge on type systems and generator construction, to ease the integration of type systems in DSL. We evaluate this approach with the Xtext language engineering framework.
- Citation
- BibTeX
Jung, R., Schneider, C. & Hasselbring, W.,
(2013).
Type systems for domain-specific languages.
In:
Wagner, S. & Lichter, H.
(Hrsg.),
Software Engineering 2013 - Workshopband.
Bonn:
Gesellschaft für Informatik e.V..
(S. 139-154).
@inproceedings{mci/Jung2013,
author = {Jung, Reiner AND Schneider, Christian AND Hasselbring, Wilhelm},
title = {Type systems for domain-specific languages},
booktitle = {Software Engineering 2013 - Workshopband},
year = {2013},
editor = {Wagner, Stefan AND Lichter, Horst} ,
pages = { 139-154 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Jung, Reiner AND Schneider, Christian AND Hasselbring, Wilhelm},
title = {Type systems for domain-specific languages},
booktitle = {Software Engineering 2013 - Workshopband},
year = {2013},
editor = {Wagner, Stefan AND Lichter, Horst} ,
pages = { 139-154 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-609-1
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2013
Language: (en)
Content Type: Text/Conference Paper