Management of the communications among a set of concurrent processes arises in many applications and is a central concern in parallel computing. The authors introduce Manifold: a language whose sole purpose is to describe and manage complex interconnections among independent, concurrent processes. In the underlying paradigm of this language the primary concern is not with what functionality the individual processes in a parallel system provide; the emphasis is on how these processes are interconnected and how their interaction patterns change during the execution life of the system. As an example of the application of Manifold, the authors describe a simple window system and show how the communications between clients running on different windows and a window server can be described in this language.<<ETX>>
[1]
Farhad Arbab,et al.
MANIFOLD: a language for specification of inter-process communication
,
1990
.
[2]
Farhad Arbab.
Specification of Manifold : version 1.0
,
1992
.
[3]
C. A. R. Hoare,et al.
Communicating sequential processes
,
1978,
CACM.
[4]
Farhad Arbab,et al.
The GKS Input Model in Manifold
,
1991,
Comput. Graph. Forum.
[5]
Narain H. Gehani,et al.
Concurrent C++: Concurrent programming with class(es)
,
1988,
Softw. Pract. Exp..
[6]
Farhad Arbab,et al.
An overview of manifold and its implementation
,
1993,
Concurr. Pract. Exp..