A model for abstract process specification, verification and composition

ICSOC '04: Proceedings of the Second International Conference on Service Oriented Computing

Volumn , Issue , 2004, Pages 232-241

  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

BPEL abstract process; Web services

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; DATA REDUCTION; NETWORK PROTOCOLS; SOCIETIES AND INSTITUTIONS; TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

BPEL ABSTRACT PROCESS; BUSINESS PROCESS; FORMAL SPECIFICATION; WEB SERVICES;

ABSTRACTING;

EID: 20644438884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1035167.1035201     Document Type: Conference Paper

References (29)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Springer Verlag, 2003.
2. 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.
3. A. Arkin. Web Service Choreography Interface 1.0, 2002. http://www.w3.org/TR/wsci/.
4. A. H. M. t. H. B Kiepuszewski and W. M. P. van der Aalst. Fundamentals of control flow in workflows. Acta Informatica, 39(3): 143-209, 2003.
5. D. Berardi, D. Calvanese, G. Giacomo, and M. Mecella. Reasoning about actions for e-service composition. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.
6. 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.
7. BPMI.org. The Business Process Modeling Language (BPML), 2002. http://www.bpmi.org/bpml.esp.
8. J. Cardoso and A. Sheth. Semantic e-workflow composition. J. Intell. Inf. Syst., 21(3):191-225, 2003.
9. M. Carman, L. Serafini, and P. Traverse. Web service composition as planning. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.
10. A. Cimatti, M. Roveri, and P. Traverse. 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.
11. 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/.
12. Z. Duan, A. Bernstein, P. Lewis, and S. Lu. Semantics based verification and synthesis of BPEL4WS abstract processes. In Proceedings of the second IEEE International conference on Web Services, July 2004.
13. R. Fileto, L. Liu, C. Pu, E. D. Assad, and C. B. Medeiros. Poesia: An ontological workflow approach for composing web services in agriculture. The VLDB Journal, 12(4):352-367, 2003.
14. E. Hansen and S. Zilberstein. Lao*: A heuristic search algorithm that finds solutions with loops. Artificial Intelligence, 129(1-2):35-62, 2001.
15. C. A. R. Hoare. An axiomatic basis for computer programming. Comm. ACM, pages 576-580, Oct. 1969.
16. R. Hull. E-service composition: Models and formalisms. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), volume 81, pages 1-14, 2003.
17. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In Proceedings of the 22nd ACM symposium on Principles of Database Systems, pages 1-14. ACM Press, 2003.
18. F. Leymann. Web Services Flow Language (WSFL 1.0), 2001. http://www-306.ibm.com/software/ solutions/webservices/pdf/WSFL.pdf.
19. S. McIlraith and T. Son. Adapting golog for composition of semantic web services. In 8th International Conference on Principles of Knowledge Representation and Reasoning, 2002.
20. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing web services on the semantic web. The VLDB Journal, 12(4):333-351, 2003.
21. A. A. Patil, S. A. Oundhakar, A. P. Sheth, and K. Verma. Meteor-s web service annotation framework. In Proceedings of the 13th conference on World Wide Web, pages 553-562. ACM Press, 2004.
22. S. R. Ponnekanti and A. Fox. Sword: A developer toolkit for web service composition. In Proceedings of the 11th conference on World Wide Web, 2002.
23. 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.
24. K. Sivashanmugam, K. Verma, A. P. Sheth, and J. A. Miller. Adding semantics to web services standards. In Proc. of International Conference on Web Services, pages 395-401, Las Vegas, 2003.
25. 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.
26. S. Thatte. XLANG: Web Services for Business Process Design, 2001. http://www.gotdotnet.com/ team/xml_wsspecs/xlang-c/default.htm.
27. 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.
28. D. M. Yellin and R. E. Strom. Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst., 19(2):292-333, 1997.
29. H. Zhang. Sato: An efficient propositional prover. In Proc. of Intl. Conf. on Automated Deduction, 1997.