메뉴 건너뛰기




Volumn , Issue , 2008, Pages 231-240

Complexity and composition of synthesized Web services

Author keywords

Design; Languages; Theory; Verification

Indexed keywords

CONTROL THEORY; EQUIVALENCE CLASSES; WEB SERVICES; WORLD WIDE WEB;

EID: 57349191107     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1376916.1376949     Document Type: Conference Paper
Times cited : (20)

References (32)
  • 2
    • 0034294212 scopus 로고    scopus 로고
    • Relational transducers for electronic commerce
    • S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000.
    • (2000) JCSS , vol.61 , Issue.2 , pp. 236-269
    • Abiteboul, S.1    Vianu, V.2    Fordham, B.S.3    Yesha, Y.4
  • 3
    • 0002541139 scopus 로고    scopus 로고
    • Answering queries using materialized views with disjunctions
    • F. N. Afrati, M. Gergatsoulis, and T. G. Kavalieros. Answering queries using materialized views with disjunctions. In ICDT, 1999.
    • (1999) ICDT
    • Afrati, F.N.1    Gergatsoulis, M.2    Kavalieros, T.G.3
  • 4
    • 33750731959 scopus 로고    scopus 로고
    • Rewriting queries using views in the presence of arithmetic comparisons
    • F. N. Afrati, C. Li, and P. Mitra. Rewriting queries using views in the presence of arithmetic comparisons. Theor. Comput. Set., 368(1-2):88-123, 2006.
    • (2006) Theor. Comput. Set , vol.368 , Issue.1-2 , pp. 88-123
    • Afrati, F.N.1    Li, C.2    Mitra, P.3
  • 5
    • 33745587348 scopus 로고    scopus 로고
    • Automatic composition of transition-based semantic web services with messaging
    • D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In VLDB, 2005.
    • (2005) VLDB
    • Berardi, D.1    Calvanese, D.2    Giacomo, G.D.3    Hull, R.4    Mecella, M.5
  • 7
    • 84947109155 scopus 로고    scopus 로고
    • Business Process Execution Language for Web Services version 1.1 (BEPL4WS), 2004. http://www.ibm.com/developerworks/library/specification/ws- bpel/.
    • Business Process Execution Language for Web Services version 1.1 (BEPL4WS), 2004. http://www.ibm.com/developerworks/library/specification/ws- bpel/.
  • 8
    • 10644261399 scopus 로고    scopus 로고
    • Rewriting of regular expressions and regular path queries
    • D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Y. Vardi. Rewriting of regular expressions and regular path queries. JCSS, 64(3):443-465, 2002.
    • (2002) JCSS , vol.64 , Issue.3 , pp. 443-465
    • Calvanese, D.1    Giacomo, G.D.2    Lenzerini, M.3    Vardi, M.Y.4
  • 9
    • 18144381089 scopus 로고    scopus 로고
    • Decidable containment of recursive queries
    • D. Calvanese, G. D. Giacomo, and M. Y. Vardi. Decidable containment of recursive queries. TCS, 336(1) :33-56, 2005.
    • (2005) TCS , vol.336 , Issue.1 , pp. 33-56
    • Calvanese, D.1    Giacomo, G.D.2    Vardi, M.Y.3
  • 10
    • 0031075172 scopus 로고    scopus 로고
    • On the equivalence of recursive and nonrecursive datalog programs
    • S. Chaudhuri and M. Y. Vardi. On the equivalence of recursive and nonrecursive datalog programs. JCSS, 54(l):61-78, 1997.
    • (1997) JCSS , vol.54 , Issue.L , pp. 61-78
    • Chaudhuri, S.1    Vardi, M.Y.2
  • 11
    • 85139962248 scopus 로고
    • Parallel evaluation of recursive rule queries
    • S. S. Cosmadakis and P. C. Kanellakis. Parallel evaluation of recursive rule queries. In PODS, 1986.
    • (1986) PODS
    • Cosmadakis, S.S.1    Kanellakis, P.C.2
  • 12
    • 33845938560 scopus 로고    scopus 로고
    • Specification and verification of data-driven Web applications
    • A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven Web applications. JCSS, 73(3):442-474, 2007.
    • (2007) JCSS , vol.73 , Issue.3 , pp. 442-474
    • Deutsch, A.1    Sui, L.2    Vianu, V.3
  • 13
    • 34250668466 scopus 로고    scopus 로고
    • Verification of communicating data-driven Web services
    • A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven Web services. In PODS, 2006.
    • (2006) PODS
    • Deutsch, A.1    Sui, L.2    Vianu, V.3    Zhou, D.4
  • 14
    • 0030642616 scopus 로고    scopus 로고
    • Answering recursive queries using views
    • O. M. Duschka and M. R. Genesereth. Answering recursive queries using views. In PODS, 1997.
    • (1997) PODS
    • Duschka, O.M.1    Genesereth, M.R.2
  • 15
    • 19944405131 scopus 로고    scopus 로고
    • X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web services. In WWW, 2004.
    • X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web services. In WWW, 2004.
  • 16
    • 9544247758 scopus 로고    scopus 로고
    • X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. TCS, 328(l-2):19-37, 2004.
    • X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. TCS, 328(l-2):19-37, 2004.
  • 18
    • 20444448188 scopus 로고    scopus 로고
    • Automated composition of e-services: Lookaheads
    • C. E. Gerede, R. Hull, O. H. Ibarra, and J. Su. Automated composition of e-services: lookaheads. In IC-SOC, 2004.
    • (2004) IC-SOC
    • Gerede, C.E.1    Hull, R.2    Ibarra, O.H.3    Su, J.4
  • 19
    • 0038147465 scopus 로고    scopus 로고
    • On the complexity of single rule datalog queries
    • G. Gottlob and C. Papadimitriou. On the complexity of single rule datalog queries. Inf. Comput., 183(1):104- 122, 2003.
    • (2003) Inf. Comput , vol.183 , Issue.1 , pp. 104-122
    • Gottlob, G.1    Papadimitriou, C.2
  • 20
    • 0002372246 scopus 로고    scopus 로고
    • Theory of answering queries using views
    • A. Y. Halevy. Theory of answering queries using views. SIGMOD Record, 29(4), 2001.
    • (2001) SIGMOD Record , vol.29 , Issue.4
    • Halevy, A.Y.1
  • 21
    • 24344444145 scopus 로고    scopus 로고
    • Tools for composite web services: A short overview
    • R. Hull and J. Su. Tools for composite web services: a short overview. SIGMOD Record, 34(1):5-12, 2005.
    • (2005) SIGMOD Record , vol.34 , Issue.1 , pp. 5-12
    • Hull, R.1    Su, J.2
  • 22
    • 0023827554 scopus 로고
    • On conjunctive queries containing inequalities
    • A. Klug. On conjunctive queries containing inequalities. J. ACM, 35(1):146-160, 1988.
    • (1988) J. ACM , vol.35 , Issue.1 , pp. 146-160
    • Klug, A.1
  • 24
    • 57349094319 scopus 로고    scopus 로고
    • A lower bound on Web services composition
    • A. Muscholl and I. Walukiewicz. A lower bound on Web services composition. In FoSSaCS, 2007.
    • (2007) FoSSaCS
    • Muscholl, A.1    Walukiewicz, I.2
  • 26
    • 84947076287 scopus 로고    scopus 로고
    • Automated synthesis of composite BPEL4WS web services
    • M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated synthesis of composite BPEL4WS web services. In ISWC, 2005.
    • (2005) ISWC
    • Pistore, M.1    Traverso, P.2    Bertoli, P.3    Marconi, A.4
  • 27
    • 84947109158 scopus 로고    scopus 로고
    • Semantic Web Services Framework (SWSF) Version 1.1, 2005
    • Semantic Web Services Framework (SWSF) Version 1.1, 2005. http://www.daml.Org/services/swsf/l.l/.
  • 29
    • 0037591752 scopus 로고    scopus 로고
    • Verification of relational transducers for electronic commerce
    • M. Spielmann. Verification of relational transducers for electronic commerce. JCSS, 66(l):40-65, 2003.
    • (2003) JCSS , vol.66 , Issue.L , pp. 40-65
    • Spielmann, M.1
  • 32


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.