Expressing high-level visual concurrency structures in the PFG kernel language

Author

Stotts, P. David

Author_Institution

Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA

fYear

1988

fDate

10-12 Oct 1988

Firstpage

168

Lastpage

174

Abstract

The PFG language is a parallel programming language with graphical syntax. Its formal operational semantics are expressed by the HG model of concurrent real-time software systems. Informally, each procedure in a PFG program is a hierarchical graph expressing the data state and a place-timed Petri net expressing the possible parallel threads of control operating the data state. The author demonstrates how the PFG language, which is sufficient in itself for software construction, can be used as a kernel language for the implementation of higher-level languages. PFG can then be thought of as a graphical assembly language, with the HG model being the virtual machine

Keywords

concurrency control; high level languages; parallel programming; HG model; PFG kernel language; concurrent real-time software systems; formal operational semantics; graphical assembly language; graphical syntax; high-level visual concurrency structures; higher-level languages; parallel programming language; parallel threads; place-timed Petri net; software construction; virtual machine; Computational modeling; Computer science; Concurrent computing; Educational institutions; Kernel; Mercury (metals); Parallel programming; Real time systems; Virtual machining; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, 1988., IEEE Workshop on

Conference_Location

Pittsburgh, PA

Print_ISBN

0-8186-0876-5

Type

conf

DOI

10.1109/WVL.1988.18025

Filename

18025