Deep Semantics of Visual Languages

被引:0
|
作者
Grigorenko, Pavel [1 ]
Tyugu, Enn [1 ]
机构
[1] Tallinn Univ Technol, Inst Cybernet, EE-12618 Tallinn, Estonia
来源
关键词
Software synthesis; higher-order attribute models; semantics of visual languages; shallow and deep semantics of schemes; dynamic evaluation of attributes;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:83 / 95
页数:13
相关论文
共 50 条