Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
WWW '03 Proceedings of the 12th international conference on World Wide Web
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The cognitive coherence approach for agent communication pragmatics
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The IEEE FIPA approach to integrating software agents and web services
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Hi-index | 0.00 |
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent weakness is that commitment protocols thus fail to distinguish between possible executions that are normal and those that may be allowed but are not ideal. This paper develops an approach for specifying preferences among executions that are allowed by a protocol. It captures sets of executions via an event constraint specification language and gives them a denotational characterization based on branching-time models. This paper develops algorithms for choosing the best execution path by considering the interplay between the preference specification of a protocol and local policies of agents interacting using the protocol, thereby giving the specifications a natural operational characterization. The value of the concepts developed is illustrated by its application to a recent practical framework for protocols called OWL-P. Further, the paper shows that the operational and denotational characterizations of preference specifications coincide.