Distributed enactment of multiagent workflows: temporal logic for web service composition

We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area is Web service composition. 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 execution. Categories and Subject Descriptors I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence General Terms Design, Verification Keywords Temporal logic; service composition

• Type: Conference
• Year: 2003
• Where: ATAL
• Authors: Munindar P. Singh
• Keywords: Artificial Intelligence, ATAL 2003, Intelligent Agents, Service Composition, Temporal Logic