| Publication type: |
Technical Report |
| Author: |
Drewes, Frank, Hoffmann, Berthold |
| Title: |
Contextual Hyperedge Replacement |
| Number: |
14.04 |
| Year published: |
2014 |
| Institution: |
Institutionen för datavetenskap, Umeaaa universitet |
| Type: |
UMINF report |
| Abstract: |
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 |
| Keywords: |
graph grammar, hyperedge replacement, context, contextual grammar |
| Status: |
Other |
| Last updated: |
27. 02. 2014 |
|
 |
