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 条
  • [1] Semantics of visual languages
    Erwig, M
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 300 - 307
  • [2] Abstract syntax and semantics of visual languages
    Erwig, M
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (05): : 461 - 483
  • [3] Aligning syntax and semantics in formalisations of visual languages
    Gurr, C
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 60 - 61
  • [4] Defining the syntax and semantics of natural visual languages
    Blostein, D
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 225 - 232
  • [5] On specifying semantics of visual spatial query languages
    Haarslev, Volker
    Moeller, Ralf
    Wessel, Michael
    IEEE Symposium on Visual Languages, Proceedings, 1999, : 4 - 11
  • [6] Analysis-oriented semantics definition of visual languages
    Jin, Y
    Esser, R
    Janneck, JW
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 189 - 191
  • [7] Action patterns for the incremental specification of the execution semantics of visual languages
    Bottoni, Paolo
    de lara, Juan
    Guerra, Esther
    VL/HCC 2007: IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2007, : 163 - +
  • [8] Enforced generative patterns for the specification of the syntax and semantics of visual languages
    Bottoni, Paolo
    Guerra, Esther
    de Lara, Juan
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (04): : 429 - 455
  • [9] On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
    Rivera, Jose E.
    Duran, Francisco
    Vallecillo, Antonio
    REWRITING LOGIC AND ITS APPLICATIONS, 2010, 6381 : 174 - 190
  • [10] SEMANTICS OF VISUAL PERCEPTION VERBS IN THE ERZYA-MORDVIN AND FINNISH LANGUAGES
    Mosina, N. M.
    Kazaeva, N., V
    EZHEGODNIK FINNO-UGORSKIKH ISSLEDOVANII-YEARBOOK OF FINNO-UGRIC STUDIES, 2021, 15 (01): : 23 - 30
12345