Visual Occam: syntax and semantics

被引：5
|
作者：
AlMulhem, M
Ali, S
机构：
[1] Info. and Comp. Science Department, King Fahd Univ. Petrol. and Minerals, Dhahran
来源：
COMPUTER LANGUAGES | 1997年 / 23卷 / 01期
关键词：
visual programming languages; petri nets; syntax and semantics; Occam; concurrent; programming;
D O I：
10.1016/S0096-0551(97)00005-2
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Visual Occam (VISO) is a visual programming language for concurrent programming. It uses message passing for interprocess communication and processes are disjoint. The VISO language uses a modular approach to visual programming which simplifies the specification of programs. It has a graphical syntax based on the language Occam. The petri net formalism is used to represent the semantics of the VISO language. This paper describes the design and implementation of the VISO language. It presents syntax, semantics, and a number of concurrent programs specified in the VISO language. Also, it discusses how synchronous communication can be expressed in petri nets. (C) 1997 Elsevier Science Ltd.
引用
收藏
页码：1 / 24
页数：24
相关论文
共 50 条
  • [1] Formal semantics of visual occam
    Al-Mulhem, M
    Ali, S
    [J]. COMPUTER LANGUAGES, 1998, 24 (02): : 99 - 113
  • [2] Abstract syntax and semantics of visual languages
    Erwig, M
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (05): : 461 - 483
  • [3] Aligning syntax and semantics in formalisations of visual languages
    Gurr, C
    [J]. 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
    [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 225 - 232
  • [5] AN OPERATIONAL SEMANTICS FOR OCCAM
    CAMILLERI, J
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1989, 18 (05) : 365 - 400
  • [6] DENOTATIONAL SEMANTICS FOR OCCAM
    ROSCOE, AW
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 306 - 329
  • [7] ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM
    GUREVICH, Y
    MOSS, LS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 176 - 192
  • [8] THE SEMANTICS OF PRIORITY AND FAIRNESS IN OCCAM
    BARRETT, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 194 - 208
  • [9] Enforced generative patterns for the specification of the syntax and semantics of visual languages
    Bottoni, Paolo
    Guerra, Esther
    de Lara, Juan
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (04): : 429 - 455
  • [10] SYNTAX AND SEMANTICS
    LENTIN, A
    [J]. INTERNATIONAL SOCIAL SCIENCE JOURNAL, 1971, 23 (03) : 453 - 461
12345