Distributed Enactment of Multiagent Flows
Munindar P. Singh · 2003
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.