| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Daniel Calegari GarcÃa, Till Mossakowski, Nora Szasz |
| Herausgeber: |
Christiano Braga, Narciso MartÃ-Oliet |
| Titel: |
Model-Driven Engineering in the Heterogeneous Tool Set |
| Buch / Sammlungs-Titel: |
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings |
| Band: |
8941 |
| Seite(n): |
64 – 79 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2015 |
| Abstract / Kurzbeschreibung: |
We have defined a unified environment that allows formal
verification within the Model-Driven Engineering (MDE) paradigm us-
ing heterogeneous verification approaches. The environment is based on
the Theory of Institutions, which provides a sound basis for representing
MDE elements and a way for specifying translations from these elements
to other logical domains used for verification, such that formal experts
can choose the domain in which they are more skilled to address a formal
proof. In this paper we present how this environment can be supported
in practice by the Heterogeneous Tool Set (Hets). We define semantic-
preserving translations from the MDE elements to the core language of
Hets, and we also show how it is possible to move from it to other log-
ics, both to supplement the original specification with other verification
properties and to perform a heterogeneous verification. |
| ISBN: |
978-3-319-15074-1 |
| Internet: |
http://dx.doi.org/10.1007/978-3-319-15075-8_5 |
| PDF Version: |
http://iws.cs.uni-magdeburg.de/~mossakow/mde-hets.pdf |
| Schlagworte: |
MDE UML Hets |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
02. 02. 2015 |
