Hierarchical Specification Of Graphical User Interfaces Using A Graph Grammar Approach

Authors:
M. Goedicke;P. Tröpfner;B. Enders-Sucrow
Affiliations:
Dept. of Mathematics and Computer Science, University of Essen, Essen, Germany;Dept. of Mathematics and Computer Science, University of Essen, Essen, Germany;Dept. of Mathematics and Computer Science, University of Essen, Essen, Germany
Venue:
Journal of Integrated Design & Process Science
Year:
2001

Citing 4
Cited 0

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Formal specification of human-computer interaction by graph grammars under consideration of information resources

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Towards a formal specification method for graphical user interfaces using modularized graph grammars

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this contribution we consider a rule based visual language for the specification of graphical user interfaces (GUIs). Our approach uses a graph rewrite approach in such a way that the state of a GUI is represented as a complex visual graph. An action is represented by a visual rewrite rule applicable to a graph of this form. Since the GUI features are represented as little pictures like windows, listboxes etc. it is necessary to define these problem oriented representa-tions by a more abstract mathematical formalism. We use graphs to represent the semantics of the problem oriented representation. Complex actions and events are modelled by rewrite steps on these graphs. Usually complex GUIs are described by a hierarchy of interaction objects. Such a hierarchy is adequately expressed as a hierarchy of graph layers. We present how the various descriptions of picture graphs and graphs as well as visual rules and graph rewrite rules, respectively, are integrated by a method using special mappings.