Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
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
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
On observation as a coordination paradigm: an ontology and a formal framework
Proceedings of the 2001 ACM symposium on Applied computing
Specifying agent observable behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Multi-agent infrastructure, agent discovery , middle agents for Web services and interoperation
Mutli-agents systems and applications
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Process Calculi for Coordination: From Linda to JavaSpaces
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
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
Comparing semantic frameworks for coordination: on the conformance issue for coordination media
Proceedings of the 2003 ACM symposium on Applied computing
The Knowledge Engineering Review
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we elaborate on modelling tuple-based coordination media in terms of observable sources providing coordination as a service. Only the medium's part directly affecting its observable behaviour is explicitly represented, while its inner activity is represented only as a source for proactive behaviour, thus abstracting away from its details. As an example of this methodology, we formalise JavaSpaces' time passing and leasing mechanisms, which are both modelled in terms of the medium's inner activity. Then, the formalisation of tuple centres is also shown that emphasises the ability of our approach to deal with the explicit representation of complex coordination services.