Type Systems for Domain-specific Languages

Jung, Reiner, Schneider, Christian and Hasselbring, Wilhelm (2013) Type Systems for Domain-specific Languages [Paper] In: ATPS 2013, 26.2.2013, Aachen.

dsl-type-systems.pdf - Accepted Version

Download (351Kb) | Preview
ts4dsl.pdf - Presentation
Available under License Creative Commons Attribution.

Download (685Kb) | Preview


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.

Document Type: Conference or Workshop Item (Paper)
Keywords: type system, DSL, domain-specific language, MDSD, meta-model construction, language construction
Research affiliation: Kiel University > Software Engineering
?? real_time ??
?? misc ??
Kiel University > Kiel Marine Science
ISSN: 1617-5468
Date Deposited: 06 Mar 2013 16:21
Last Modified: 06 Mar 2013 16:21
URI: http://eprints.uni-kiel.de/id/eprint/20641

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...