Time-aware coordination in ReSpecT

Authors:
Andrea Omicini;Alessandro Ricci;Mirko Viroli
Affiliations:
DEIS, Alma Mater Studiorum, Universit‘a di Bologna, Cesena, Italy;DEIS, Alma Mater Studiorum, Universit‘a di Bologna, Cesena, Italy;DEIS, Alma Mater Studiorum, Universit‘a di Bologna, Cesena, Italy
Venue:
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Year:
2005

Citing 14
Cited 5

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
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
Extending ReSpecT for Multiple Coordination Flows

PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
Programmable Coordination Media

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
On Timed Coordination Languages

COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
T spaces

IBM Systems Journal
Instructions-Based Semantics of Agent Mediated Interaction

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
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
A timed extension of ReSpecT

Proceedings of the 2005 ACM symposium on Applied computing
A Timed Linda Language and its Denotational Semantics

Fundamenta Informaticae

Artifacts for time-aware agents

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Formal ReSpecT in the A&A Perspective

Electronic Notes in Theoretical Computer Science (ENTCS)
Timed environment for web agents

Web Intelligence and Agent Systems
A framework for modelling and implementing self-organising coordination

Proceedings of the 2009 ACM symposium on Applied Computing
Situated tuple centres in ReSpecT

Proceedings of the 2009 ACM symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Tuple centres allow for dynamic programming of the coordination media: coordination laws are expressed and enforced as the behaviour specification of tuple centres, and can change over time. Since time is essential in a large number of coordination problems and patterns (involving timeouts, obligations, commitments), coordination laws should be expressive enough to capture and govern time-related issues. Along this line, in this paper we discuss how tuple centres and the ReSpecT language for programming logic tuple centres can be extended to catch with time, and to support the definition and enforcement of time-aware coordination policies. Some examples are provided to demonstrate the expressiveness of the ReSpecT language to model timed coordination primitives and laws.