Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Résumé

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
978-3-642-37635-1_11_Chapter.pdf (421.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01485969

Soumis le : jeudi 9 mars 2017-15:33:24

Dernière modification le : mercredi 9 juin 2021-15:26:02

Archivage à long terme le : samedi 10 juin 2017-14:45:57

Télécharger pour visualiser

Dates et versions

hal-01485969 , version 1 (09-03-2017)

Licence

Paternité

Identifiants

Citer

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.178-194, ⟨10.1007/978-3-642-37635-1_11⟩. ⟨hal-01485969⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG1-3 IFIP-LNCS-7841 IFIP-WADT
74 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More