Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Solving the Linda multiple rd problem using the copy-collect primitive
Science of Computer Programming
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
XMLSpaces for Coordination in Web-Based Systems
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Autonomous Agents and Multi-Agent Systems
IBM Systems Journal
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed environment for web agents
Web Intelligence and Agent Systems
Time-aware coordination in ReSpecT
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
Among the existing extensions to the basic tuple space coordination model, the tuple centre approach has been introduced to allow for the flexible programming of a tuple space behaviour, so as to encapsulate coordination laws directly as behaviour of the coordination medium. In particular, the logic-based language ReSpecT has been used for programming tuple centres in the TuCSoN coordination infrastructure [11, 9].However, among the application contexts that can be suitably engineered with agents and coordination infrastructures, some involve coordination processes where the notion of time and duration play a relevant role. Examples include distributed control systems, protocol-based interactions as in auctions, and in general all the coordination contexts where high dynamism and openness are concerned, which call for time-aware coordination artifacts supporting timed system engineering.Accordingly, in this work we discuss how the basic ReSpecT tuple centre model has been extended to support the definition and enaction of time-aware coordination policies. Several examples are provided to show the expressiveness of the language to model temporal coordination primitives and laws.