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
Why interaction is more powerful than algorithms
Communications of the ACM
Coordinating Multiagent Applications on the WWW: A Reference Architecture
IEEE Transactions on Software Engineering
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Agentspace as a Middleware for Service Integration
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
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
Electronic Institutions: Future Trends and Challenges
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
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
Towards Seamless Agent Middleware
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Proceedings of the 2005 ACM symposium on Applied computing
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
The world wide web as a place for agents
Artificial intelligence today
Time-aware coordination in ReSpecT
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A framework for modelling and implementing self-organising coordination
Proceedings of the 2009 ACM symposium on Applied Computing
Fluctuated peer selection policy and its performance in large-scale multi-agent systems
Web Intelligence and Agent Systems
Hi-index | 0.00 |
Governing interaction, and in particular intra-system, inter-component interaction, is essential in the engineering of non-trivial multi-component systems. This also holds for Web-based systems à today the most relevant and widespread sort of distributed software system. Agent models and technologies are among the most promising approaches to the engineering of Web applications. In particular, agent coordination infrastructures aim at harnessing the complexity of interaction within MASs (multiagent systems), by providing agents and engineers with coordination artifacts, which shape agent environment by governing agent-to-agent and agent-to-environment interactions. Horizontal integration of Web infrastructure with agent coordination infrastructure is then a key issue in the engineering of agent-based Web applications. In this paper, we focus on the problem of time: time is essential in a large number of Web coordination scenarios and patterns - involving timeouts, obligations, commitments, etc. Along this line, we first discuss the notion of coordination artifact and its relation to agent environment. Then we discuss a notion of timed environment for Web agents, and show how it can be enforced through suitably-extended timed coordination artifacts. In particular, we adopt TuCSoN tuple centres (along with the ReSpecT language for programming them) as our concrete representatives for coordination artifacts, and show how they can be extended to catch with time, and to support the definition and enforcement of time-aware coordination policies. A Web-based agent workflow is finally presented as a case study, and used to demonstrate the expressiveness of the ReSpecT language to model timed coordination primitives and laws.