Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), volume 47 of Electronic Communications of the EASST, (2012)Abstract
The precise specification of software models is a major concern in
model-driven design of object-oriented software. In this paper, we investigate how
program graphs, a language-independent model of object-oriented programs, can
be specified precisely, with a focus on shape (static structure) rather than behavior.
The metamodel-based approach is an apparent choice for such a specification;
graph grammars are another natural candidate for specifying the shape of a class
of graphs. However, star grammars (equivalent to the well-known hyperedge
replacement grammars) do not allow all properties of program graphs to be specified.
So we propose contextual star grammars as an extension of this mechanism. We
discuss the specifications of program graphs by metamodels and by contextual star
grammars.
