Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL
P. James, A. Knapp, T. Mossakowski, and M. Roggenbach. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 178-194. Springer, (2013)
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.
%0 Conference Paper
%1 JamesEtAl12
%A James, Phillip
%A Knapp, Alexander
%A Mossakowski, Till
%A Roggenbach, Markus
%B Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012
%D 2013
%E Martí-Oliet, Narciso
%E Palomino, Miguel
%I Springer
%K CASL UML comorphism institution logic modal
%P 178-194
%T Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL
%U http://link.springer.com/chapter/10.1007/978-3-642-37635-1_11
%V 7841
%X 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.
@inproceedings{JamesEtAl12,
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.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {James, Phillip and Knapp, Alexander and Mossakowski, Till and Roggenbach, Markus},
biburl = {https://www.bibsonomy.org/bibtex/266c34f2179aa63833c4c3e273042f90d/tillmo},
booktitle = {Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012},
editor = {Mart{\'i}-Oliet, Narciso and Palomino, Miguel},
interhash = {f942a61d5ece226eb67a4a1ccb48e4d8},
intrahash = {66c34f2179aa63833c4c3e273042f90d},
keywords = {CASL UML comorphism institution logic modal},
pages = {178-194},
pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/rail-dsl.pdf},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL},
url = {http://link.springer.com/chapter/10.1007/978-3-642-37635-1_11},
volume = 7841,
year = 2013
}