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
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
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
Comparing semantic frameworks for coordination: on the conformance issue for coordination media
Proceedings of the 2003 ACM symposium on Applied computing
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Biochemical Tuple Spaces for Self-organising Coordination
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Chemical-inspired self-composition of competing services
Proceedings of the 2010 ACM Symposium on Applied Computing
Agents, intelligence and tools
Artificial intelligence
Co-argumentation artifact for agent societies
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Context-aware tuples for the ambient
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Distributed workflow upon linkable coordination artifacts
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
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.