Inhalt des Dokuments
Publications Prof. Hartmut Ehrig (TFS)
| Zitatschlüssel | MEE13a |
|---|---|
| Autor | Maximova, Maria and Ehrig, Hartmut and Ermel, Claudia |
| Jahr | 2013 |
| ISSN | 1436-9915 |
| Nummer | 2013/02 |
| Institution | Fakultät IV, Technische Universität Berlin |
| Zusammenfassung | Hypergraph transformation systems are examples of madh transformation systems based on $mathcalM$-adhesive categories. For typed attributed graph transformation systems, the tool environment AGG allows the modelling, the simulation and the analysis of graph transformations. A corresponding tool for analysis of hypergraph transformation systems does not exist up to now. The purpose of this paper is to establish a formal relationship between the corresponding madh transformation systems, which allows us the translation of hypergraph transformations into typed attributed graph transformations with equivalent behavior, and, vice versa, the creation of hypergraph transformations from typed attributed graph transformations. This formal relationship is based on the general theory of $mathcalM$-functors between different $mathcalM$-adhesive transformation systems. We construct a functor between the $mathcalM$-adhesive categories of hypergraphs and of typed attributed graphs, and show that our construction yields an $mathcalM$-functor with suitable properties. We then use existing results for $mathcalM$-functors to show that analysis results for hypergraph transformation systems can be obtained using AGG by analysis of the translated typed attributed graph transformation system. This is shown in general and for a concrete example. |
Zurück [3]
ungsberichte/
s/prof_ehrig/parameter/maxhilfe/?no_cache=1&tx_sibi
btex_pi1%5Bdownload_bibtex_uid%5D=1288282&tx_sibibt
ex_pi1%5Bcontentelement%5D=tt_content%3A243818
s/prof_ehrig/parameter/maxhilfe/
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
- Schriftgröße:
Copyright TU Berlin 2008