Download:
|
by George A. Papadopoulos
Parallel Computing, Elsevier Science, special issue on Coordination
ftp://ftp.cwi.nl/pub/farhad/ParCoJ/Papadopoulos.ps.Z
Add To MetaCart
Abstract:
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as being able to express different software architectures and abstract interaction protocols, supporting multilinguality reusability and programming-in-the-large, etc. However, most of the proposed models and languages are data-driven in the sense that changes in the behaviour of the formalism are triggered by detecting the presence of data values. In addition, more often than not, the formalism does not clearly separate the computation components from other related components, namely (and primarily) communication ones but also synchronisation components, etc. In this paper we use a coordination model (IWIM) and language (MANIFOLD) which are control-driven in the sense that the formalism's change of behaviour is triggered by means of raising events. We illustrate the main features of this new formalism and we show how it can be used in supporting a variety of activities related to distributed and parallel software engineering, and software architectures. Throughout, we pay emphasis on the control-driven nature of this formalism discussing how that has helped us in modelling a variety of scenarios. Finally, we also compare the formalism with other such formalisms highlighting the differences between them.
Citations
|
693
|
Parallel Program Design { A Foundation
– Chandy, Misra
- 1988
|
|
382
|
Coordination languages and their significance
– Gelernter, Carriero
- 1992
|
|
370
|
The interdisciplinary study of coordination
– Malone, Crowston
- 1994
|
|
271
|
Specification and Analysis of System Architecture Using Rapide
– Luckham, Kenney, et al.
- 1995
|
|
254
|
Abstractions for software architecture and tools to support them
– Shaw, DeLine, et al.
- 1995
|
|
231
|
Linear objects: logical processes with built-in inheritance
– Andreoli, Pareschi
- 1991
|
|
183
|
The Polylith Software Bus
– Purtilo
- 1994
|
|
98
|
Coordination models and languages
– Papadopoulos, Arbab
- 1998
|
|
90
|
Structuring parallel and distributed programs
– Magee, Dulay
- 1993
|
|
72
|
The Gamma model and its discipline of programming
– Banatre, M'etayer
- 1990
|
|
60
|
and Friends
– Ahuja, Carrier0, et al.
- 1986
|
|
60
|
The toolbus coordination architecture
– Bergstra, Klint
- 1996
|
|
51
|
Functional skeletons for parallel coordination
– Darlington, Guo, et al.
- 1995
|
|
45
|
Durra: a structure description language for developing distributed applications
– Barbacci, Weinstock, et al.
- 1993
|
|
39
|
A Language Framework for Multi-Object Coordination
– Frlund, Agha
- 1993
|
|
38
|
The Programmers’ Playground: I/O Abstraction for User-Configurable Distributed Applications
– Goldman, Swaminathan, et al.
- 1995
|
|
36
|
A Constructive Approach to the Design of Distributed Systems
– Kramer, Magee, et al.
- 1990
|
|
33
|
Reusable Coordinator Modules for Massively Concurrent Applications
– Arbab, Blom, et al.
- 1996
|
|
29
|
A Formal Model for Module Interconnection Languages
– Rice, Seidman
- 1994
|
|
28
|
A software environment for concurrent coordinated programming
– Holzbacher
- 1996
|
|
12
|
An Overview of MANIFOLD and its Implementation," Concurrency: Practice and Experience, Volume 5, issue 1
– Arbab, Herman, et al.
- 1993
|
|
12
|
Productive parallel programming: The
– Foster, Olson, et al.
- 1992
|
|
11
|
The IWIM Model for Coordination of Concurent Activities
– Arbab
- 1996
|
|
11
|
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems
– Papadopoulos, Arbab
- 1997
|
|
8
|
Coordination of Systems With Real-Time
– Papadopoulos, Arbab
- 1996
|
|
5
|
The Concurrent Language Shared-Prolog
– Brogi, Ciancarini
- 1991
|
|
5
|
Towards a Higher Level of Abstraction in Parallel Programming", Programming Models for Massively Parallel Computers (MPPM'95
– Skillicorn
- 1995
|
|
4
|
Law-Governed Linda as a Coordination Model", ObjectBased Models and Languages for Concurrent Systems
– Minsky, Leichter
- 1994
|
|
3
|
Rapid prototyping of parallel fault tolerant systems
– NIXON, BIRKINSHAW, et al.
- 1994
|
|
3
|
Coordination of Distributed Activities
– Papadopoulos, Arbab
- 1997
|
|
2
|
The Linda alternative to message passing systems". Parallel Computing 20(4):633-655
– Carriero, Gelernter, et al.
- 1994
|
|
1
|
Interaction Abstract Machines", Trends in Object Based Concurrent Systems
– Andreoli, Ciancarini, et al.
- 1993
|
