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.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.178-194, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_11〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01485969
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:24
Dernière modification le : jeudi 9 mars 2017 - 15:36:07
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:45:57

Fichier

978-3-642-37635-1_11_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.178-194, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_11〉. 〈hal-01485969〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

23