| Art der Veröffentlichung: |
Technischer Bericht |
| Autor: |
Drewes, Frank, Hoffmann, Berthold |
| Titel: |
Contextual Hyperedge Replacement |
| Ausgabe: |
14.04 |
| Erscheinungsjahr: |
2014 |
| Institution: |
Institutionen för datavetenskap, Umeaaa universitet |
| Typ: |
UMINF report |
| Abstract / Kurzbeschreibung: |
Contextual hyperedge-replacement grammars (contextual grammars, for short) are an extension of hyperedge replacement grammars. They have recently been proposed as a grammatical method for capturing the structure of object-oriented programs, thus serving as an alternative to the use of meta-models like UML class diagrams in model-driven software design.
In this paper, we study the properties of contextual grammars. Even though these grammars are not context-free, one can show that they inherit several of the nice properties of hyperedge replacement grammars. In particular, they possess useful normal forms and their membership problem is in NP. |
| Internet: |
http://www8.cs.umu.se/research/uminf/index.cgi?year=2014&number=4 |
| Schlagworte: |
graph grammar, hyperedge replacement, context, contextual grammar |
| Status: |
Other |
| Letzte Aktualisierung: |
27. 02. 2014 |
|
 |
