| Publication type: |
Article in Proceedings |
| Author: |
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach |
| Editor: |
Narciso MartÃ-Oliet, Miguel Palomino |
| Title: |
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL |
| Book / Collection title: |
Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012 |
| Volume: |
7841 |
| Page(s): |
178 – 194 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2013 |
| Publisher: |
Springer |
| 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.
|
| Internet: |
http://link.springer.com/chapter/10.1007/978-3-642-37635-1_11 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/rail-dsl.pdf |
| Keywords: |
UML CASL modal logic institution comorphism |
| Status: |
Reviewed |
| Last updated: |
29. 04. 2013 |
