Formal semantics of visual occam

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

Citing 6
Cited 0

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
Communication and Concurrency

Communication and Concurrency
Visual Occam: Syntax and semantics

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Visual programming languages (VPLs) have been proposed to simplify the task of programming and to make better use of human capabilities. 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 the language occam. The main emphasis in this paper is to provide formal semantics of VISO using process calculus. The semantics of all programming constructs and icons in VISO are given as well as a number of complete example programs and their translation in process calculus.