Distributed enactment of multiagent workflows: temporal logic for web service composition
暂无分享,去创建一个
[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..