Formalizing DSL semantics for reasoning and conformance testing

S. Keshishzadeh, A.J. Mooij

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Abstract

A Domain Specific Language (DSL) focuses on the essential concepts in a certain problem domain, thus abstracting from low-level implementation details. In combination with code generators, DSLs bring software development closer to domain requirements. The development of DSLs usually centers around the grammar and a code generator; there is little attention for the semantics of the DSL. However, a formal semantics is essential for reasoning about specifications in terms of the DSL (i.e., DSL instances). We argue that the semantics should be expressed independent of a code generator. Thus semantic issues can be revealed that could otherwise remain undetected. We also use the semantics to define the conformance of an implementation to a DSL instance, and to automatically test conformance of the (generated) implementation code to a DSL instance. We illustrate our approach using an industrial prototype DSL for collision prevention. Keywords: Domain Specific Language (DSL); Semantics; Code Generation; Model-based Testing; Conformance Testing
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings)
EditorsD. Giannakopoulou, G. Salaün
Place of PublicationBerlin
PublisherSpringer
Pages81-95
ISBN (Print)978-3-319-10430-0
DOIs
Publication statusPublished - 2014
Event12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France - Grenoble, France
Duration: 1 Sep 20145 Sep 2014
http://sefm2014.inria.fr/

Publication series

NameLecture Notes in Computer Science
Volume8702
ISSN (Print)0302-9743

Conference

Conference12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France
Abbreviated titleSEFM 2014
CountryFrance
CityGrenoble
Period1/09/145/09/14
Internet address

Fingerprint Dive into the research topics of 'Formalizing DSL semantics for reasoning and conformance testing'. Together they form a unique fingerprint.

Cite this