Visual Occam: Syntax and semantics

Authors:
Muhammed Al-Mulhem;Shahid Ali
Affiliations:
Information & Computer Science Department, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia;Information & Computer Science Department, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia
Venue:
Computer Languages
Year:
1997

Citing 4
Cited 1

The PFG environment: parallel programming with petri net semantics

Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Graphical Configuration Programming

Computer
I-Pigs: an interactive graphical environment for concurrent programming

The Computer Journal - Special issue: Concurrent programming
Communicating sequential processes

Communications of the ACM

Formal semantics of visual occam

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.