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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

1 Citaat (Scopus)

2 Downloads (Pure)

Samenvatting

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

Originele taal-2	Engels
Titel	Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings)
Redacteuren	D. Giannakopoulou, G. Salaün
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	81-95
ISBN van geprinte versie	978-3-319-10430-0
DOI's	https://doi.org/10.1007/978-3-319-10431-7_7
Status	Gepubliceerd - 2014
Evenement	12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France - Grenoble, Frankrijk Duur: 1 sep. 2014 → 5 sep. 2014 http://sefm2014.inria.fr/

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	8702
ISSN van geprinte versie	0302-9743

Congres

Congres	12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France
Verkorte titel	SEFM 2014
Land/Regio	Frankrijk
Stad	Grenoble
Periode	1/09/14 → 5/09/14
Ander	12th International Conference on Software Engineering and Formal Methods
Internet adres	http://sefm2014.inria.fr/

Toegang tot document

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

Citeer dit

Keshishzadeh, S., & Mooij, A. J. (2014). Formalizing DSL semantics for reasoning and conformance testing. In D. Giannakopoulou, & G. Salaün (editors), Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings) (blz. 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 (uitgave), 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, blz. 81-95, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), September 1-5, 2014, Grenoble, France, Grenoble, Frankrijk, 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). uitgave / D. Giannakopoulou; G. Salaün. Berlin: Springer, 2014. blz. 81-95 (Lecture Notes in Computer Science; Vol. 8702).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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, redacteurs, Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings). Berlin: Springer. 2014. blz. 81-95. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-10431-7_7

Formalizing DSL semantics for reasoning and conformance testing

Samenvatting

Publicatie series

Congres

Toegang tot document

Vingerafdruk

Citeer dit