Sciweavers

Share
ATAL
2003
Springer

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

9 years 7 months ago
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
Munindar P. Singh
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2003
Where ATAL
Authors Munindar P. Singh
Comments (0)
books