Deep Semantics of Visual Languages

被引：0
|
作者：
Grigorenko, Pavel [1 ]
Tyugu, Enn [1 ]
机构：
[1] Tallinn Univ Technol, Inst Cybernet, EE-12618 Tallinn, Estonia
来源：
KNOWLEDGE-BASED SOFTWARE ENGINEERING | 2006年 / 140卷
关键词：
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 条
  • [31] Static and Dynamic Semantics of NoSQL Languages
    Benzaken, Veronique
    Castagna, Giuseppe
    Nguyen, Kim
    Simeon, Jerome
    ACM SIGPLAN NOTICES, 2013, 48 (01) : 101 - 113
  • [32] COMPOSITION SEMANTICS OF PROGRAMMING LANGUAGES.
    Nikitchenko, N.S.
    Programming and Computer Software (English Translation of Programmirovanie), 1982, 8 (06): : 306 - 314
  • [33] AN AXIOMATIC APPROACH TO SEMANTICS OF SPECIFICATION LANGUAGES
    MAHR, B
    MAKOWSKY, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 211 - 219
  • [34] THE MODALITY IN THE FORMAL SEMANTICS OF NATURAL LANGUAGES
    de Oliveira, Roberta Pires
    REVISTA VIRTUAL DE ESTUDOS DA LINGUAGEM-REVEL, 2014, 12 (08): : 1 - 7
  • [35] Historical semantics in the Romance languages.
    Rainer, F
    ROMANISCHE FORSCHUNGEN, 2005, 117 (04) : 502 - 505
  • [36] Research on Semantics Finding for Formal Languages
    Chen, Xing
    Wang, Hai-tao
    Hong, Kun
    2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SCIENCE AND APPLICATION (FCSA 2011), VOL 1, 2011, : 510 - 512
  • [37] Adding semantics to Interface Definition Languages
    Watkins, D
    Thompson, D
    1998 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 66 - 78
  • [38] A social semantics for agent communication languages
    Singh, MP
    ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 31 - 45
  • [39] Verifiable semantics for agent communication languages
    Wooldridge, M
    INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 349 - 356
  • [40] REPRESENTATION OF SEMANTICS OF INEXPRESSIBLE IN DIFFERENT LANGUAGES
    Mikhailova, Marina Yurevna
    RUSSIAN LINGUISTIC BULLETIN, 2015, (03) : 19 - 21
12345