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
Hi-index | 0.01 |
We address the problem of constructing multiagent systems for service composition by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. We develop an approach that (a) takes declarative specifications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, has a rigorous semantics, and yields a naturally distributed implementation.