Deep Semantics of Visual Languages

Authors:
Pavel Grigorenko;Enn Tyugu
Affiliations:
Institute of Cybernetics, Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia;Institute of Cybernetics, Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia
Venue:
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Year:
2006

Citing 6
Cited 0

Graph attribution as a specification paradigm

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Computational and attribute models of formal languages

Theoretical Computer Science - Special issue on the Second French-Soviet Workshop on Methods of Compilation and Program Construction, Nice, France, Feb. 1988
Performance modeling of VLSI systems

Performance modeling of VLSI systems
Attribute models of design objects

Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD
Attributed graph grammars for graphics

Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Visual tool for generative programming

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Visual specification of software is gaining popularity, but its usage is restricted by the lack of precise semantics of visual languages. In the present work, precise semantics of visual languages is defined. Three kinds of deep semantics of schemes are presented as different ways of usage of attribute models of schemes. Attribute models of a wide class of schemes are defined and higher-order attribute models are introduced. Dynamic evaluation of attributes is used in defining semantics of schemes.