An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Visual language theory
A survey of visual language specification and recognition
Visual language theory
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
A Framework of Syntactic Models for the Implementation of Visual Languages
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
| Hi-index | 0.00 |
In a rule-based approach the computation steps of a system are specified by rules that completely define how the system's state may change. For open systems a more liberal approach is required, where the state changes are only partly specified, and - interactively - other components may contribute further information on how the transformation is defined completely. In this paper we introduce a formal model for interactive rule-based specifications, where states are modelled as partial algebras and transformations are given by internal algebra rewritings and arbitrary external components. As an application we discuss how visual languages can be defined in this framework. Thereby the internal (logical) representations of visual expressions are transformed by rewriting rules, whereas their layouts are obtained interactively by external components like a constraint solver or a user working with a display and a mouse.