Mixed programming metaphors in a shared dataspace model of concurrency

A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of Swarm is its ability to bring a variety of programming paradigms under a single, unified model. In a series of related examples Swarm's c...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 16; no. 12; pp. 1361 - 1373
Main Authors: Roman, G.-C., Cunningham, H.C.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.12.1990
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Subjects:
Algorithms
Applied sciences
Communication
Computer languages
Computer programming
Computer science
Computer science; control theory; systems
Concurrent computing
Cooperation
Data structures
Dynamic programming
Exact sciences and technology
Information science
Labeling
Language
Logic programming
Message passing
Paradigms
Parallel processing
Programming languages
Protocols
Software
Technology management
Vehicle dynamics
Distributed processing
Models
Parallel programming
Programming language
Concurrency
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of Swarm is its ability to bring a variety of programming paradigms under a single, unified model. In a series of related examples Swarm's capacity to express shared-variable, message-passing, and rule-based computations; to specify synchronous and asynchronous processing modes; and to accommodate highly dynamic program and data structure is explored. Several illustrations make use of a programming construct unique to Swarm, the synchrony relation and explain how this feature can be used to construct dynamically structured, partially synchronous computations. An overview of the Swarm programming notation, an examination of Swarm programming strategies via a series of related example programs, and a discussion of the distinctive features of the shared dataspace model are given. A formal operational model for Swarm is presented.< >
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/32.62445