Contextual Hyperedge Replacement
2015 (English)In: Acta Informatica, ISSN 0001-5903, E-ISSN 1432-0525, Vol. 52, no 6, 497-524 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
Springer, 2015. Vol. 52, no 6, 497-524 p.
Graph grammar, Hyperedge replacement, Context, Contextual grammar
Research subject Computer Science
IdentifiersURN: urn:nbn:se:umu:diva-99085DOI: 10.1007/s00236-015-0223-4ISI: 000359813500002OAI: oai:DiVA.org:umu-99085DiVA: diva2:785761