Publication type: |
Article |
Author: |
Frank Drewes, Berthold Hoffmann |
Title: |
Contextual hyperedge replacement |
Volume: |
52 |
Page(s): |
497 – 524 |
Journal: |
Acta Informatica |
Number: |
6 |
Year published: |
2015 |
Abstract: |
In model-driven design, the structure of software is commonly specified by meta-models like textscuml class diagrams. In this paper we study how graph grammars can be used for this purpose, using statecharts as an example. We extend context-free hyperedge-replacement - which is not powerful enough for this application - so that rules may not only access the nodes attached to the variable on their left-hand side, but also nodes elsewhere in the graph. Although the resulting notion of contextual hyperedge replacement preserves many properties of the context-free case, it has considerably more generative power---enough to specify software models that cannot be specified by class diagrams. |
ISSN: |
0001-5903 |
Internet: |
http://dx.doi.org/10.1007/s00236-015-0223-4 |
Status: |
Reviewed |
Last updated: |
03. 09. 2015 |
|
|