Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach

In: Narciso Martí-Oliet , Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12) Recent Trends in Algebraic Development Techniques June 7-10 Salamanca Spain Seiten 178-194 Lecture Notes in Computer Science (LNCS) 7841 Springer 2013.


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

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence