Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
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.
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Loading...