Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Using coordination for cooperative constraint solving
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A coordination-based chaotic iteration algorithm for constraint propagation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
PICCOLA---a small composition language
Formal methods for distributed processing
Software Architectures and Coordination Models
The Journal of Supercomputing
TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination of a Parallel Proposition Solver
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Simulation of Conference Management Using an Even-Driven Coordination Language
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Distributed Splitting of Constraint Satisfaction Problems
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination Models and Software Architectures in a Unified Software Development Process
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Formalization of the IWIM Model
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Eliciting coordination policies from requirements
Proceedings of the 2003 ACM symposium on Applied computing
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Hi-index | 0.00 |
Massively parallel and distributed systems open new horizons for large applications and present new challenges for software technology. Many applications already take advantage of the increased raw computational power provided by such parallel systems to yield significantly shorter turn-around times. However, the availability of so many processors to work on a single application presents a new challenge to software technology: coordination of the cooperation of large numbers of concurrent active entities. Classical views of concurrency in programming languages that are based on extensions of the sequential programming paradigm are ill-suited to meet this challenge. Exploiting the full potential of massively parallel systems requires programming models that explicitly deal with the concurrency of cooperation among very large numbers of active entities that comprise a single application. In practice, the concurrent applications of today essentially use a set of ad hoc templates to coordinate the cooperation of their active components. This shows the lack of proper coordination languages that can be used to explicitly describe complex cooperation protocols in terms of simple primitives and structuring constructs. In this paper we present a generic model of communication and describe a specific control-oriented coordination language based on this model. The important characteristics of this model include compositionality, which it inherits from the data-flow model, anonymous communication, and separation of computation concerns from communication concerns. These characteristics lead to clear advantages in large concurrent applications.