Semantics based verification and synthesis of BPEL4WS abstract processes

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 734-737

  Duan, Ziyang ^a   Bernstein, Arthur ^a   Lewis, Philip ^a   Lu, Shiyong ^b  

^a Stony Brook University   (United States)

^b Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL MODELS; DATA MANIPULATION; WEB SERVICES; WORKFLOW MANAGEMENT SYSTEMS (WFMS); TASK LIBRARIES; WORKFLOWS;

ABSTRACTING; ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; MATHEMATICAL MODELS; WORLD WIDE WEB; AUTOMATION; COMMUNICATION SYSTEMS; COMPUTATIONAL METHODS; DIGITAL LIBRARIES; QUERY LANGUAGES;

SEMANTICS;

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

References (10)

1. A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, and K. Sycara. Daml-s: Web service description for the semantic web. In Proc. 1st Intl. Semantic Web Conf., 2002.
2. D. Berardi, D. Calvanese, D. G. Giuseppe, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In The First International Conference on Service Oriented Computing, Trento, Italy, December 2003.
3. M. Carman, L. Serafini, and P. Traverso. Web service composition as planning. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.
4. A. Cimatti, M. Roveri, and P. Traverso. Automatic OBDD-based generation of universal plans in non-deterministic domains. In Proc. of the 15th National Conference on Artificial Intelligence, pages 875-881, Wisconsin, 1998.
5. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, 2003. http://www-106.ibm.com/developerworks/library/ws-bpel/.
6. E. Hansen and S. Zilberstein. Lao*: A heuristic search algorithm that finds solutions with loops. Artificial Intelligence, 129(1-2):35-62, 2001.
7. C. A. R. Hoare. An axiomatic basis for computer programming. Comm. ACM, pages 576-580, Oct. 1969.
8. M. Sheshagiri, M. desJardins, and T. Finin. A planner for composing services described in daml-s. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, 2003.
9. B. Srivastava and J. Koehler. Web service composition - current solutions and open problems. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.
10. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S web services composition using SHOP2. In Proc. 2nd Intl. Semantic Web Conf., Florida, 2003.