An exercise in iterative domain-specific language design

M.F. Amstel, van, M.G.J. Brand, van den, L.J.P. Engelen

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

21 Citations (Scopus)

Abstract

We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language and the transformations has lead to an iterative evolution of the DSL. We identified four main influences on the evolution of our DSL: the problem domain, the target platforms, model quality, and model transformation quality. Our DSL is aimed at modeling the structure and behavior of distributed communicating systems. Simultaneously with the development of our DSL, we implemented three model transformations to different formalisms: one for simulation, one for execution, and one for verification. Transformations to each of these formalisms were implemented one at the time, while preserving the validity of the existing ones. The DSL and the formalisms for simulation, execution, and verification have different semantic characteristics. We also implemented a number of model transformations that bridge the semantic gaps between our DSL and each of the three formalisms. In this paper, we describe our development process and how the aforementioned influences have caused our DSL to evolve.
Original languageEnglish
Title of host publicationProceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010)
Place of PublicationNew York NY
PublisherAssociation for Computing Machinery, Inc
Pages48-57
ISBN (Print)978-1-4503-0128-2
DOIs
Publication statusPublished - 2010
Eventconference; IWPSE-EVOL; 2010-09-20; 2010-09-21 -
Duration: 20 Sep 201021 Sep 2010

Publication series

NameACM International Conference Proceeding Series

Conference

Conferenceconference; IWPSE-EVOL; 2010-09-20; 2010-09-21
Period20/09/1021/09/10
OtherIWPSE-EVOL

Fingerprint

Semantics

Cite this

Amstel, van, M. F., Brand, van den, M. G. J., & Engelen, L. J. P. (2010). An exercise in iterative domain-specific language design. In Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010) (pp. 48-57). (ACM International Conference Proceeding Series). New York NY: Association for Computing Machinery, Inc. https://doi.org/10.1145/1862372.1862386
Amstel, van, M.F. ; Brand, van den, M.G.J. ; Engelen, L.J.P. / An exercise in iterative domain-specific language design. Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010). New York NY : Association for Computing Machinery, Inc, 2010. pp. 48-57 (ACM International Conference Proceeding Series).
@inproceedings{31be9eeda6f14ce5b3ff06edb4474f95,
title = "An exercise in iterative domain-specific language design",
abstract = "We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language and the transformations has lead to an iterative evolution of the DSL. We identified four main influences on the evolution of our DSL: the problem domain, the target platforms, model quality, and model transformation quality. Our DSL is aimed at modeling the structure and behavior of distributed communicating systems. Simultaneously with the development of our DSL, we implemented three model transformations to different formalisms: one for simulation, one for execution, and one for verification. Transformations to each of these formalisms were implemented one at the time, while preserving the validity of the existing ones. The DSL and the formalisms for simulation, execution, and verification have different semantic characteristics. We also implemented a number of model transformations that bridge the semantic gaps between our DSL and each of the three formalisms. In this paper, we describe our development process and how the aforementioned influences have caused our DSL to evolve.",
author = "{Amstel, van}, M.F. and {Brand, van den}, M.G.J. and L.J.P. Engelen",
year = "2010",
doi = "10.1145/1862372.1862386",
language = "English",
isbn = "978-1-4503-0128-2",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery, Inc",
pages = "48--57",
booktitle = "Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010)",
address = "United States",

}

Amstel, van, MF, Brand, van den, MGJ & Engelen, LJP 2010, An exercise in iterative domain-specific language design. in Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010). ACM International Conference Proceeding Series, Association for Computing Machinery, Inc, New York NY, pp. 48-57, conference; IWPSE-EVOL; 2010-09-20; 2010-09-21, 20/09/10. https://doi.org/10.1145/1862372.1862386

An exercise in iterative domain-specific language design. / Amstel, van, M.F.; Brand, van den, M.G.J.; Engelen, L.J.P.

Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010). New York NY : Association for Computing Machinery, Inc, 2010. p. 48-57 (ACM International Conference Proceeding Series).

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

TY - GEN

T1 - An exercise in iterative domain-specific language design

AU - Amstel, van, M.F.

AU - Brand, van den, M.G.J.

AU - Engelen, L.J.P.

PY - 2010

Y1 - 2010

N2 - We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language and the transformations has lead to an iterative evolution of the DSL. We identified four main influences on the evolution of our DSL: the problem domain, the target platforms, model quality, and model transformation quality. Our DSL is aimed at modeling the structure and behavior of distributed communicating systems. Simultaneously with the development of our DSL, we implemented three model transformations to different formalisms: one for simulation, one for execution, and one for verification. Transformations to each of these formalisms were implemented one at the time, while preserving the validity of the existing ones. The DSL and the formalisms for simulation, execution, and verification have different semantic characteristics. We also implemented a number of model transformations that bridge the semantic gaps between our DSL and each of the three formalisms. In this paper, we describe our development process and how the aforementioned influences have caused our DSL to evolve.

AB - We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language and the transformations has lead to an iterative evolution of the DSL. We identified four main influences on the evolution of our DSL: the problem domain, the target platforms, model quality, and model transformation quality. Our DSL is aimed at modeling the structure and behavior of distributed communicating systems. Simultaneously with the development of our DSL, we implemented three model transformations to different formalisms: one for simulation, one for execution, and one for verification. Transformations to each of these formalisms were implemented one at the time, while preserving the validity of the existing ones. The DSL and the formalisms for simulation, execution, and verification have different semantic characteristics. We also implemented a number of model transformations that bridge the semantic gaps between our DSL and each of the three formalisms. In this paper, we describe our development process and how the aforementioned influences have caused our DSL to evolve.

UR - http://doi.acm.org/10.1145/1862372.1862386

U2 - 10.1145/1862372.1862386

DO - 10.1145/1862372.1862386

M3 - Conference contribution

SN - 978-1-4503-0128-2

T3 - ACM International Conference Proceeding Series

SP - 48

EP - 57

BT - Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010)

PB - Association for Computing Machinery, Inc

CY - New York NY

ER -

Amstel, van MF, Brand, van den MGJ, Engelen LJP. An exercise in iterative domain-specific language design. In Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and the International Workshop on Principles of Software Evolution (IWPSE) (IWPSE-EVOL 2010, Antwerp, Belgium, September 20-21, 2010). New York NY: Association for Computing Machinery, Inc. 2010. p. 48-57. (ACM International Conference Proceeding Series). https://doi.org/10.1145/1862372.1862386