Analysis-oriented semantics definition of visual languages

被引：0
|
作者：
Jin, Y [1 ]
Esser, R [1 ]
Janneck, JW [1 ]
机构：
[1] Univ Adelaide, Sch Comp Sci, Adelaide, SA 5005, Australia
来源：
200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS | 2003年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents a semantics definition method for a class of visual languages. The method is geared towards the analysis of heterogeneous component-based systems where components are described using different visual languages. This is made possible by the design of language-specific interpreters which interpret instances of these languages within a general semantic framework based on the notion of interconnected discrete-event components.
引用
收藏
页码：189 / 191
页数：3
相关论文
共 50 条
  • [41] 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
  • [42] 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
  • [43] Integrity constraints definition in object-oriented conceptual modeling languages
    Olivé, A
    CONCEPTUAL MODELING - ER 2003, PROCEEDINGS, 2003, 2813 : 349 - 362
  • [44] Definition of events and their effects in object-oriented conceptual modeling languages
    Olivé, A
    CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 136 - 149
  • [45] Definition, Semantics, and Analysis of Multirate Synchronous AADL
    Bae, Kyungmin
    Olveczky, Peter Csaba
    Meseguer, Jose
    FM 2014: FORMAL METHODS, 2014, 8442 : 94 - 109
  • [46] Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
    Ancona, Davide
    ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, 2012, 7313 : 459 - 483
  • [47] A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages
    Costantini, Stefania
    Tocchio, Arianna
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 238 - 255
  • [48] First steps towards fully abstract semantics for object-oriented languages
    Yelland, P.M., 1600, (32):
  • [49] A UNIFYING FRAMEWORK FOR PROCESS CALCULUS SEMANTICS OF CONCURRENT OBJECT-ORIENTED LANGUAGES
    PAPATHOMAS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 612 : 53 - 79
  • [50] DYNAMIC OVERLOADING WITH COPY SEMANTICS IN OBJECT-ORIENTED LANGUAGES: A FORMAL ACCOUNT
    Bettini, Lorenzo
    Capecchi, Sara
    Venneri, Betti
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (03): : 517 - 565
12345