Formalizing DSL semantics for reasoning and conformance testing

S. Keshishzadeh; A.J. Mooij

doi:10.1007/978-3-319-10431-7_7

Formalizing DSL semantics for reasoning and conformance testing

S. Keshishzadeh, A.J. Mooij

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings)
Editors	D. Giannakopoulou, G. Salaün
Place of Publication	Berlin
Publisher	Springer
Pages	81-95
ISBN (Print)	978-3-319-10430-0
DOIs	https://doi.org/10.1007/978-3-319-10431-7_7
Publication status	Published - 2014
Event	12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France - Grenoble, France Duration: 1 Sept 2014 → 5 Sept 2014 http://sefm2014.inria.fr/

Publication series

Name	Lecture Notes in Computer Science
Volume	8702
ISSN (Print)	0302-9743

Conference

Conference	12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France
Abbreviated title	SEFM 2014
Country/Territory	France
City	Grenoble
Period	1/09/14 → 5/09/14
Internet address	http://sefm2014.inria.fr/

Access to Document

10.1007/978-3-319-10431-7_7

Cite this

Keshishzadeh, S., & Mooij, A. J. (2014). Formalizing DSL semantics for reasoning and conformance testing. In D. Giannakopoulou, & G. Salaün (Eds.), Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings) (pp. 81-95). (Lecture Notes in Computer Science; Vol. 8702). Springer. https://doi.org/10.1007/978-3-319-10431-7_7

@inproceedings{a8938e0d1eb242afa38a0c93c8c2dd6a,

title = "Formalizing DSL semantics for reasoning and conformance testing",

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",

author = "S. Keshishzadeh and A.J. Mooij",

year = "2014",

doi = "10.1007/978-3-319-10431-7_7",

language = "English",

isbn = "978-3-319-10430-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "81--95",

editor = "D. Giannakopoulou and G. Sala{\"u}n",

booktitle = "Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings)",

address = "Germany",

note = "12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France, SEFM 2014 ; Conference date: 01-09-2014 Through 05-09-2014",

url = "http://sefm2014.inria.fr/",

}

Keshishzadeh, S & Mooij, AJ 2014, Formalizing DSL semantics for reasoning and conformance testing. in D Giannakopoulou & G Salaün (eds), Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings). Lecture Notes in Computer Science, vol. 8702, Springer, Berlin, pp. 81-95, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France, Grenoble, France, 1/09/14. https://doi.org/10.1007/978-3-319-10431-7_7

Formalizing DSL semantics for reasoning and conformance testing. / Keshishzadeh, S.; Mooij, A.J.
Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings). ed. / D. Giannakopoulou; G. Salaün. Berlin: Springer, 2014. p. 81-95 (Lecture Notes in Computer Science; Vol. 8702).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formalizing DSL semantics for reasoning and conformance testing

AU - Keshishzadeh, S.

AU - Mooij, A.J.

PY - 2014

Y1 - 2014

N2 - 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

AB - 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

U2 - 10.1007/978-3-319-10431-7_7

DO - 10.1007/978-3-319-10431-7_7

M3 - Conference contribution

SN - 978-3-319-10430-0

T3 - Lecture Notes in Computer Science

SP - 81

EP - 95

BT - Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings)

A2 - Giannakopoulou, D.

A2 - Salaün, G.

PB - Springer

CY - Berlin

T2 - 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France

Y2 - 1 September 2014 through 5 September 2014

ER -

Keshishzadeh S, Mooij AJ. Formalizing DSL semantics for reasoning and conformance testing. In Giannakopoulou D, Salaün G, editors, Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings). Berlin: Springer. 2014. p. 81-95. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-10431-7_7

Formalizing DSL semantics for reasoning and conformance testing

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this