Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
| Autor: | Bruggink, H.J.S., König, B., Nolte, D., Zantema, H., Parisi-Presicce, F., Westfechtel, B. |
|---|---|
| Přispěvatelé: | Parisi-Presicce, F., Westfechtel, B., Formal System Analysis |
| Rok vydání: | 2015 |
| Předmět: |
Block graph
Discrete mathematics Graph rewriting Computer science Data Science Comparability graph 1-planar graph Graph Modular decomposition Combinatorics Informatik Indifference graph Pathwidth Chordal graph Confluence Partial k-tree ComputingMethodologies_DOCUMENTANDTEXTPROCESSING Cograph Lecture Notes in Computer Science Rewriting Split graph Graph product MathematicsofComputing_DISCRETEMATHEMATICS Universal graph |
| Zdroj: | Parisi-Presicce, F.; Westfechtel, B. (ed.), Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 52-68 Lecture Notes in Computer Science ; 9151, 52-68. Berlin : Springer International Publishing STARTPAGE=52;ENDPAGE=68;TITLE=Lecture Notes in Computer Science ; 9151 Graph Transformation ISBN: 9783319211442 ICGT Graph Transformation (8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings), 52-68 STARTPAGE=52;ENDPAGE=68;TITLE=Graph Transformation (8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings) |
| Popis: | We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which includes the tropical and arctic type graphs of [6] and a new variant of arithmetic type graphs. These type graphs can be used to assign weights to graphs and to show that these weights decrease in every rewriting step in order to prove termination. We present an example involving counters and discuss the implementation in the tool Grez. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|