Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling

G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association of Software Science and Technology, 2010, pp. 240–257.

Download
No fulltext has been uploaded.
Conference Paper | English
Abstract
Deriving a new language L_B from an already existing one L_A is a typical task in domain-specific language engineering. Here, besides adjusting L_A's syntax, the language engineer has to modify the semantics of L_A to derive L_B's semantics. Particularly, in case of behavioral modeling languages, this is a difficult and error-prone task, as changing the behavior of language elements or adding behavior for new elements might have undesired side effects. Therefore, we propose a test-driven language derivation process. In a first step, the language engineer creates example models containing the changed or newly added elements in different contexts. For each of these models, the language engineer also precisely describes the expected behavior. In a second step, each example model and its description of behavior is transformed into an executable test case. Finally, these test cases are used when deriving the actual semantics of L_B - at any time, the language engineer can run the tests to verify whether the changes he performed on L_A's semantics indeed produce the desired behavior. In this paper, we illustrate the approach using our graph transformation-based semantics specification technique Dynamic Meta Modeling. This is once more an example where the graph transformation approach shows its strengths and appropriateness to support software engineering tasks as, e.g., model transformations, software specifications, or tool development.
Publishing Year
Proceedings Title
Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)
Volume
30
Page
240-257
LibreCat-ID

Cite this

Engels G, Soltenborn C. Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany). Vol 30. Electronic Communications of the EASST. European Association of Software Science and Technology; 2010:240-257.
Engels, G., & Soltenborn, C. (2010). Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany) (Vol. 30, pp. 240–257). European Association of Software Science and Technology.
@inproceedings{Engels_Soltenborn_2010, series={Electronic Communications of the EASST}, title={Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling}, volume={30}, booktitle={Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)}, publisher={European Association of Software Science and Technology}, author={Engels, Gregor and Soltenborn, Christian}, year={2010}, pages={240–257}, collection={Electronic Communications of the EASST} }
Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” In Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), 30:240–57. Electronic Communications of the EASST. European Association of Software Science and Technology, 2010.
G. Engels and C. Soltenborn, “Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling,” in Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), 2010, vol. 30, pp. 240–257.
Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), vol. 30, European Association of Software Science and Technology, 2010, pp. 240–57.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar