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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. 16; H. 12; S. 1361 - 1373
Hauptverfasser: Roman, G.-C., Cunningham, H.C.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY IEEE 01.12.1990
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
Bibliographie: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