On the computational complexity of behavioral description-based web service composition

Theoretical Computer Science

Volumn 412, Issue 48, 2011, Pages 6736-6749

  Nam, Wonhong ^a   Kil, Hyunyoung ^b   Lee, Dongwon ^c  

^a Konkuk University   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^c PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

Behavioral description; Computational complexity; Incomplete information; Web service composition

Indexed keywords

APPROXIMATION SOLUTION; AUTOMATIC CONSTRUCTION; BEHAVIORAL DESCRIPTIONS; COMPLETE INFORMATION; COMPOSITION PROBLEM; INCOMPLETE INFORMATION; WEB SERVICE COMPOSITION;

COMPUTATIONAL COMPLEXITY; QUALITY OF SERVICE; USER INTERFACES;

WEB SERVICES;

EID: 80053970818     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.04.020     Document Type: Conference Paper

References (32)

1. J.L. Balcázar, J. Díaz, and J. Gabarró Structural Complexity 1 1988 Springer-Verlag
2. J.L. Balcázar, J. Díaz, and J. Gabarró Structural Complexity 2 1990 Springer-Verlag
3. B. Benatallah, M. Hacid, A. Léger, C. Rey, and F. Toumani On automating web services discovery VLDB Journal 14 1 2005 84 96 (Pubitemid 40454275)
4. P. Bertoli, M. Pistore, Planning with extended goals and partial observability, in: Proceedings of the 14th Int'l Conf. on Automated Planning and Scheduling, ICAPS 2004, 2004, pp. 270278. (Pubitemid 40201854)
5. P. Bertoli, M. Pistore, P. Traverso, Automated web service composition by on-the-fly belief space search, in: Int'l Conf. on Automated Planning and Scheduling, ICAPS 2006, 2006, pp. 358361. (Pubitemid 44074231)
6. D. Beyer, A. Chakrabarti, T.A. Henzinger, Web service interfaces, in: Proceedings of the 14th Interational Conference on World Wide Web, WWW 2005, 2005, pp. 148159.
7. A. Chandra, D. Kozen, and L. Stockmeyer Alternation Journal of the ACM 28 1 1981 114 133
8. DARPA, DAML-S: Semantic markup for web services, 2003. http://www.daml.org/.
9. E. Emerson Temporal and modal logic J. van Leeuwen, Handbook of Theoretical Computer Science, vol. B 1990 Elsevier Science Publishers 995 1072
10. W. Fan, F. Geerts, W. Gelade, F. Neven, A. Poggi, Complexity and composition of synthesized web services, in: Proceedings of the ACM Symposium on Principles of Database Systems, PODS 2008, 2008, pp. 231240.
11. X. Fu, T. Bultan, J. Su, Analysis of interacting bpel web services, in: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, 2004, pp. 621630. (Pubitemid 40752796)
12. A. Herzig, J. Lang, D. Longin, T. Polacsek, A logic for planning under partial observability, in: Proceedings of National Conference on Artificial Intelligence, AAAI-00, 2000, pp. 768773.
13. R. Hull, and J. Su Tools for composite web services: a short overview SIGMOD Record 34 2 2005 86 95 (Pubitemid 41260016)
14. R. Kazhamiakin, M. Pistore, L. Santuari, Analysis of communication models in web service compositions, in: Proceedings of Int'l Conf. on World Wide Web, WWW 2006, 2006, pp. 267276. (Pubitemid 46946619)
15. H. Kil, W. Nam, D. Lee, Computational complexity of web service composition based on behavioral descriptions, in: IEEE Int'l Conf. on Tools with Artificial Intelligence, 2008, pp. 359363.
16. M. Moffitt, On the partial observability of temporal uncertainty, in: Proceedings of National Conference on Artificial Intelligence, AAAI-07, 2007, pp. 10311037. (Pubitemid 350149705)
17. M. Mrissa, C. Ghedira, D. Benslimane, Z. Maamar, F. Rosenberg, and S. Dustdar A context-based mediation approach to compose semantic web services ACM Transactions on Internet Technology 8 1 2007 4
18. W. Nam, H. Kil, D. Lee, Type-aware web service composition using boolean satisfiability solver, in: Proceedings of IEEE Joint Conference on E-Commerce Technology, CEC'08, and Enterprise Computing, E-Commerce and E-Services, EEE'08, 2008, pp. 331334.
19. S. Narayanan, S.A. McIlraith, Simulation, verification and automated composition of web services, in: Proceedings of the 11th Int'l Conf. on World Wide Web, WWW 2002, 2002, pp. 7788.
20. OASIS, UDDI version 3.0.2, 2004. http://uddi.xml.org/.
21. OASIS, Web services business process execution language version 2.0, 2007. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
22. M. Pistore, P. Traverso, P. Bertoli, Automated composition of web services by planning in asynchronous domains, in: Proceedings of International Conference on Automated Planning and Scheduling, ICAPS 2005, 2005, pp. 211.
23. M. Pistore, P. Traverso, P. Bertoli, A. Marconi, Automated synthesis of executable web service compositions from BPEL4WS processes, in: Special Interest Tracks and Posters of the 14th International Conference on World Wide Web, WWW 2005, 2005, pp. 11861187.
24. A. Pnueli The temporal semantics of concurrent programs Theoretical Computer Science 13 1981 45 60
25. J. Rintanen, Complexity of planning with partial observability, in: Proceedings of International Conference on Automated Planning and Scheduling, ICAPS 2004, 2004, pp. 345354. (Pubitemid 40201862)
26. W.J. Savitch Relationships between nondeterministic and deterministic tape complexities Journal of Computer and System Sciences 4 2 1970 177 192
27. W3C, Web services activity, 2002. http://www.w3.org/2002/ws/.
28. W3C, OWL-S: Semantic markup for web services, 2004. http://www.w3.org/ Submission/OWL-S/.
29. W3C, SOAP version 1.2, 2007. http://www.w3.org/TR/soap/.
30. W3C, Web services description language (WSDL) version 2.0, 2007. http://www.w3.org/TR/wsdl20-primer/.
31. Q. Yu, and A. Bouguettaya Framework for web service query algebra and optimization ACM Transactions on Web 2 1 2008 1 35
32. T. Yu, Y. Zhang, and K.-J. Lin Efficient algorithms for web services selection with end-to-end qos constraints ACM Transactions on Web 1 1 2007 6