Issue No. 12 - December (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.62445
<p>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.</p>
mixed programming metaphors; concurrency; simple language; Swarm; shared dataspace approach; concurrent computation; programming paradigms; unified model; shared-variable; message-passing; rule-based computations; asynchronous processing modes; highly dynamic program; data structure; programming construct; synchrony relation; partially synchronous computations; programming notation; programming strategies; example programs; shared dataspace model; formal operational model; data structures; parallel languages; parallel programming
G. Roman and H. Cunningham, "Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 1361-1373, 1990.