Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Automating Visual Language Generation
IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Parsing Methodology for the Implementation of Visual Systems
IEEE Transactions on Software Engineering
Visual language theory
Automatic construction of intelligent diagram editors
Proceedings of the 11th annual ACM symposium on User interface software and technology
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hierarchical Automata as Model for Statecharts
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Towards a visual programming environment generator for algebraic specifications
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
A graph based framework for the implementation of visual environments
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
An interpreter for diagrammatic languages based on SR grammars
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
Diagram Editing with Hypergraph Parser Support
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
Automatically Generating Environments for Dynamic Diagram Languages
VL '98 Proceedings of the IEEE Symposium on Visual Languages
GenGEd - A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars
VL '98 Proceedings of the IEEE Symposium on Visual Languages
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
A Short Introduction to the GXL Software Exchange Format
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
GXL: Toward a Standard Exchange Format
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
In this paper we present the approach based on the formalism of Extended Positional Grammars for specifying, designing and implementing visual modeling languages. In order to stress the main characteristics of the approach and highlight its power, we describe the use of the formalism to implement statecharts languages which represent one of the most complex visual modeling languages used in the software engineering field. In the paper special emphasis is put on describing the benefits deriving from the use of such formal specifications such as incrementality, easy customization, and automatic generation of visual programming environments. Such features turn out to be especially important because visual modeling languages are subjected to continuous changes as the history of statecharts languages and UML diagrams shows. Moreover, visual languages can be effectively used only if they are supported by a powerful visual environment within they are embedded and used.