Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl - Recent Trends in Algebraic DevelopmentTechniques Access content directly
Conference Papers Year : 2013

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.
Fichier principal
Vignette du fichier
978-3-642-37635-1_11_Chapter.pdf (421.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01485969 , version 1 (09-03-2017)

Licence

Attribution

Identifiers

Cite

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⟩
74 View
124 Download

Altmetric

Share

Gmail Facebook X LinkedIn More