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

  • Phillip James
  • Alexander Knapp
  • Till Mossakowski
  • Markus Roggenbach
Conference paper

DOI: 10.1007/978-3-642-37635-1_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7841)
Cite this paper as:
James P., Knapp A., Mossakowski T., Roggenbach M. (2013) Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. In: Martí-Oliet N., Palomino M. (eds) Recent Trends in Algebraic Development Techniques. WADT 2012. Lecture Notes in Computer Science, vol 7841. Springer, Berlin, Heidelberg

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.

Copyright information

© IFIP International Federation for Information Processing 2013

Authors and Affiliations

  • Phillip James
    • 1
  • Alexander Knapp
    • 2
  • Till Mossakowski
    • 3
  • Markus Roggenbach
    • 1
  1. 1.Swansea UniversityUK
  2. 2.Universität AugsburgGermany
  3. 3.DFKI GmbH BremenGermany

Personalised recommendations