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.

[1]  Munindar P. Singh.  Distributed Enactment of Multiagent Flows , 2003 .

[2]  CurberaFrancisco,et al.  Unraveling the Web Services Web , 2002 .

[3]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[4]  Sanjiva Weerawarana,et al.  Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI , 2002, IEEE Internet Computing.

[5]  Amir Pnueli,et al.  Now you may compose temporal logic specifications , 1984, STOC '84.

[6]  Jie Xing,et al.  Engineering commitment-based multiagent systems: a temporal logic approach , 2003, AAMAS '03.

[7]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[9]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[10]  Johannes Klein.  Advanced rule driven transaction management , 1991, COMPCON Spring '91 Digest of Papers.

[11]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[12]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[13]  Michael Wooldridge,et al.  A Knowledge-Theoretic Semantics for Concurrent METATEM , 1996, ATAL.

[14]  Munindar P. Singh.  Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents , 2000, Autonomous Agents and Multi-Agent Systems.

[15]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[16]  Jim Webber,et al.  Coordinating Business Transactions on the Web , 2003, IEEE Internet Comput..