Skip to Main content Skip to Navigation
Conference papers

Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

Abstract : Domain modelling based on UML Class Diagrams is an established industrial practice. In the context of the Railway industry, we show how to utilize such diagrams for verification. This involves the translation of UML Class Diagrams into the algebraic specification language CASL. To this end, we define new Class Diagram institutions and provide suitable institution comorphisms.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01485969
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:33:24 PM
Last modification on : Wednesday, June 9, 2021 - 3:26:02 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:45:57 PM

File

978-3-642-37635-1_11_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.178-194, ⟨10.1007/978-3-642-37635-1_11⟩. ⟨hal-01485969⟩

Share

Metrics

Record views

190

Files downloads

408