Visual language semantics specification in the VisPro system

Authors:
Ke-Bing Zhang;Mehmet A. Orgun;Kang Zhang
Affiliations:
Department of Computing, ICS, Macquarie University, Sydney, NSW, Australia;Department of Computing, ICS, Macquarie University, Sydney, NSW, Australia;Department of Computer Science, University of Texas at Dallas, Richardson, TX
Venue:
VIP '02 Selected papers from the 2002 Pan-Sydney workshop on Visualisation - Volume 22
Year:
2003

Citing 12
Cited 5

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Attribute grammars: definitions, systems and bibliography

Attribute grammars: definitions, systems and bibliography
How to represent a visual specification

Visual language theory
Application of graph transformation to visual languages

Handbook of graph grammars and computing by graph transformation
A Visual Approach to XML Document Design and Transformation

HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
A graph grammar approach to graphical parsing

VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Formal semantics of visual languages using spatial reasoning

VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Visual programming with graph rewriting systems

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
Semantics of Visual Languages

VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs

VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
VisPro: A Visual Language Generation Toolset

VL '98 Proceedings of the IEEE Symposium on Visual Languages

Compiled visual programs by VisPro

VIP '05 Proceedings of the Pan-Sydney area workshop on Visual information processing
Towards Test-Driven Semantics Specification

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Graphical microcontroller programming tool based on extended S-System Petri net

CEA'10 Proceedings of the 4th WSEAS international conference on Computer engineering and applications
Visual microcontroller programming using extended S-system Petri nets

WSEAS Transactions on Computers
Defining object-oriented execution semantics using graph transformations

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

VisPro is a general-purpose visual language generation system, which can produce a wide range of diagrammatic visual programming languages (VPLs) based on Reserved Graph Grammar (RGG), a context sensitive graph grammar. This paper presents an approach to specify the semantic execution sequence of VPLs based on VisPro. In this approach, we use an ordering mechanism to facilitate the parsing formalism of Reserved Graph Grammar to determine semantic execution sequence of super-nodes in visual programs of the VPLs.