Skip to main content
Conference ProceedingsOPEN ACCESS

Designing domain specific languages - A craftsman's approach for the railway domain using CASL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013) 7841 LNCS 178-194
DOI: 10.1007/978-3-642-37635-1_11
9Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © IFIP International Federation for Information Processing 2013.

Cite

CITATION STYLE

APA

James, P., Knapp, A., Mossakowski, T., & Roggenbach, M. (2013). Designing domain specific languages - A craftsman’s approach for the railway domain using CASL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7841 LNCS, pp. 178–194). https://doi.org/10.1007/978-3-642-37635-1_11

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free