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
相关论文
共 11 条
[1]  
BROOKES GR, 1989, INTRO OCCAM 2 TRANSP
[2]  
*COMP SYST ARCH, 1989, OCC 2 TOOLS US MAN
[3]   COMMUNICATING SEQUENTIAL PROCESSES [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1978, 21 (08) :666-677
[4]   GRAPHICAL CONFIGURATION PROGRAMMING - THE STRUCTURAL DESCRIPTION, CONSTRUCTION AND EVOLUTION OF SOFTWARE SYSTEMS USING GRAPHICS [J].
KRAMER, J ;
MAGEE, J ;
NG, K .
COMPUTER, 1989, 22 (10) :53-65
[5]   STRUCTURING PARALLEL AND DISTRIBUTED PROGRAMS [J].
MAGEE, J ;
DULAY, N ;
KRAMER, J .
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (02) :73-82
[6]  
MARIO R, 1993, SOFTWARE ENG J, V8, P83
[7]   I-PIGS - AN INTERACTIVE GRAPHICAL ENVIRONMENT FOR CONCURRENT PROGRAMMING [J].
PONG, MC .
COMPUTER JOURNAL, 1991, 34 (04) :320-330
[8]  
Stotts P. D., 1988, Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Vol.II. Software Track (Cat. No.88TH0212-1), P630, DOI 10.1109/HICSS.1988.11861
[9]  
STOTTS PD, 1988, P IEEE 1988 WORKSH V, P168
[10]  
STOTTS PD, P INT C PAR PROC 198, P72
12