Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency

Date
1996
Authors
Cau, A. (Antonio)
Collette, Pierre
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
Springer
Peer reviewed
Abstract
We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing language-dependent definitions, we first assume that the model of a process can be given as a set of 'sequences' (e.g., traces, state sequences). Then we assume the existence of a merging operator that captures the compositionality of that model. On this basis, we formulate a semantic parallel composition rule for assumption-commitment specifications wherein the merging operator behaves as a parameter. Then, by providing suitable language-specific definitions for the model of a process and the merging operator, we transform the semantic rule into syntactic ones, both for the state-based and message-based approaches to concurrency.
Description
Keywords
ESPRIT 6021 REACT, National Fund for Scientific Research Belgium, parallel programming, concurrent programming
Citation
Acta informatica, 33 (2), 1996, pp. 153-176
Research Institute