Distributed Enactment of Multiagent Workflows: Temporal Logic for Web Service Composition

Proceedings of the Interantional Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 907-914

  Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

Service composition; Temporal logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; DISTRIBUTED COMPUTER SYSTEMS; ITERATIVE METHODS; NETWORK PROTOCOLS; PROBLEM SOLVING; SEMANTICS; SET THEORY; SOFTWARE ENGINEERING; THEOREM PROVING; WORLD WIDE WEB;

DISTRIBUTED ARTIFICIAL INTELLIGENCE; SERVICE COMPOSITIONS; TEMPORAL LOGIC;

MULTI AGENT SYSTEMS;

EID: 1142268242     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. A. Ankolekar, et al. DAML-S: Semantic markup for Web services. Proc. Intl. Semantic Web Working Symp., Jul. 2001.
2. H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. Proc. ACM Symp. Theory of Computing, pp 51-63. 1984.
3. Business process execution language for web services, version 1.0, July 2002. www-106.ibm.com/developerworks/webservices/library/ws-bpel.
4. F. Curbera, et al. Unraveling the Web services Web. IEEE Internet Computing, 6:86-93, 2002.
5. S. Dalal, S. Temel, M. Little, M. Potts, and J. Webber. Coordinating business transactions on the Web, IEEE Internet Computing, 7(1):30-39, Jan. 2003.
6. R. Davis and R. G. Smith. Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20:63-109, 1983.
7. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, vol. B, pages 995-1072. North-Holland, 1990.
8. N. Francez and I. R. Forman. Interacting Processes. ACM Press, New York, 1996.
9. J. Klein. Advanced rule driven transaction management. Proc. IEEE COMPCON, 1991.
10. R. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
11. S. A. McIlraith, T. C. Son, and H. Zeng. Semantic Web services. IEEE Intelligent Systems, 16(2):46-53, Mar. 2001.
12. T. Mikalsen, S. Tai, and I. Rouvellou. Transactional Attitudes. Proc. Workshop Dependable Middleware-Based Systems at Dependable Systems & Networks Conf., 2002.
13. M. P. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2):107-132, Jun. 2000.
14. M. P. Singh. Distributed enactment of multiagent flows, TR 2003-12, Dept of Computer Science, NCSU, 2003.
15. M. Wooldridge. A knowledge-theoretic semantics for concurrent METATEM. Agent Theories, Architectures, and Languages, LNAI 1193, pp. 357-374, Springer, 1997.
16. J. Xing and M. P. Singh. Engineering Commitment-Based Multiagent Systems: A Temporal Logic Approach, Proc. Intl. Joint Conf. Autonomous Agents and MultiAgent Systems, ACM Press, 2003, this volume.
17. P. Yolum and M. P. Singh. Flexible Protocol Specification and Execution, Proc. Intl. Joint Conf. Autonomous Agents and MultiAgent Systems, pp. 527-534, ACM Press, 2002.