How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Selected papers of the Second Workshop on Concurrency and compositionality
Programming by multiset transformation
Communications of the ACM
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Embedding as a tool for language comparison
Information and Computation
Coordination models and languages as software integrators
ACM Computing Surveys (CSUR)
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the 21st international conference on Software engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
On the expressiveness of Linda coordination primitives
Information and Computation - Special issue on EXPRESS 1997
Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
2000 Symposium on Applied Computing
Optimising the Linda in primitive: understanding tuple-space run-times
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
Comparing three semantics for Linda-like languages
Theoretical Computer Science
Coordination languages and their significance
Communications of the ACM
Communication and Concurrency
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Handbook of Process Algebra
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 1
Proceedings of the First International Conference on Coordination Languages and Models
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Proceedings of the Second International Conference on Coordination Languages and Models
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Proceedings of the Third International Conference on Coordination Languages and Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Process Calculi for Coordination: From Linda to JavaSpaces
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Extending ReSpecT for Multiple Coordination Flows
PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
On the Expressiveness of Event-based Coordination Media
PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Embeddings Among Concurrent Programming Languages (Preliminary Version)
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
On the Operational Sematics of a Coordination Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Tuple-Based Coordination Models in Event-Based Scenarios
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
A Process Algebra Based on LINDA
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
On What Linda Is: Formal Description of Linda as a Reactive System
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Using Logical Operators as an Extended Coordination Mechanism in Linda
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
State- and Event-Based Reactive Programming in Shared Dataspaces
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Tuple-Based Models in the Observation Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
IBM Systems Journal
Objective versus subjective coordination in the engineering of agent systems
Intelligent information agents
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Hi-index | 0.00 |
Coordination models like LINDA were first conceived in the context of closed systems, like high-performance parallel applications. There, all coordinated entities were known once and for all at design time, and coordination media were conceptually part of the coordinated application. Correspondingly, traditional formalisations of coordination models - where both coordinated entities and coordination media are uniformly represented as terms of a process algebra - endorse the viewpoint of coordination as a language for building concurrent systems. The complexity of today application scenarios calls for a new approach to the formalisation of coordination models. Open systems, typically hosting a multiplicity of applications working concurrently, require coordination to be imposed through powerful abstractions that (i) persist through the whole engineering process - from design to execution time - and (ii) provide coordination services to applications by a shared infrastructure in the form of coordination media. As a unifying framework for a number of existing works on the semantics of coordination media, in this paper we present a basic ontology and a formal framework endorsing the viewpoint of coordination as a service. By this framework, coordination media are characterised in terms of their interactive behaviour, and are seen as primary abstractions amenable of formal investigation, promoting their exploitation at every step of the engineering process.