The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic

Authors

Gruia-Catalin Roman, Washington University in St Louis
H. Conrad Cunningham, Washington University in St Louis

Document Type

Technical Report

Publication Date

1990-03-01

Filename

WUCS-90-10.pdf

Technical Report Number

WUCS-90-10

Abstract

Swarm is a computational model which extends UNITY in three important ways: (1) UNITY's fixed set of variables is replaced by an unbounded set of tuples which are addressed by content rather than by name; (2) UNITY's static set of statements is replaced by a dynamic set of transactions; and (3) UNITY's static II-composition is augmented by dynamic coupling of transactions into synchronic groups. This paper overviews the Swarm model, introduced the synchronic group concept, and illustrates their use in the expression of dynamically structured programs. A UNITY-style programming logic is given for SWARM, the first axiomatic proof system for a shared database language.

Comments

Abridged Version

Recommended Citation

Roman, Gruia-Catalin and Cunningham, H. Conrad, "The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic" Report Number: WUCS-90-10 (1990). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/685