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.
Users
Please
log in to take part in the discussion (add own reviews or comments).