메뉴 건너뛰기




Volumn , Issue , 2005, Pages 539-550

A verifier for interactive, data-driven web applications

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC VERIFICATION; DATABASE OPTIMIZATION; MODEL CHECKING; WEBML;

EID: 29844434228     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066157.1066219     Document Type: Conference Paper
Times cited : (46)

References (34)
  • 1
    • 84858531429 scopus 로고    scopus 로고
    • Demo, http://www.cs.ucsd.edu/~lsui/project/index.html.
  • 3
    • 0034294212 scopus 로고    scopus 로고
    • Relational transducers for electronic commerce
    • Extended abstract in PODS 98
    • S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000. Extended abstract in PODS 98.
    • (2000) JCSS , vol.61 , Issue.2 , pp. 236-269
    • Abiteboul, S.1    Vianu, V.2    Fordham, B.3    Yesha, Y.4
  • 4
    • 0036039066 scopus 로고    scopus 로고
    • The SLAM project: Debugging system software via static analysis
    • T. Ball and S. Rajamani. The SLAM project: Debugging system software via static analysis. In POPL, 2002.
    • (2002) POPL
    • Ball, T.1    Rajamani, S.2
  • 6
    • 0028516965 scopus 로고
    • An overview of transaction logic
    • A. Bonner and M. Kifer. An overview of transaction logic. Theor. Comput, Sci., 133(2), 1994.
    • (1994) Theor. Comput, Sci. , vol.133 , Issue.2
    • Bonner, A.1    Kifer, M.2
  • 12
    • 84866258707 scopus 로고    scopus 로고
    • DAML-S: Web service description for the semantic Web
    • DAML-S Coalition (A. Ankolekar et al).DAML-S: Web service description for the semantic Web. In The Semantic Web - ISWC, pages 348-363, 2002.
    • (2002) The Semantic Web - ISWC , pp. 348-363
    • Ankolekar, A.1
  • 14
    • 3142757108 scopus 로고    scopus 로고
    • Specification and verification of data-driven web services
    • A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In PODS, 2004.
    • (2004) PODS
    • Deutsch, A.1    Sui, L.2    Vianu, V.3
  • 15
  • 16
    • 0034164918 scopus 로고    scopus 로고
    • Declarative specification of web sites with Strudel
    • M. F. Fernández, D. Florescu, A. Y. Levy, and D. Suciu. Declarative specification of web sites with Strudel. VLDB Journal, 9(1):38-55, 2000.
    • (2000) VLDB Journal , vol.9 , Issue.1 , pp. 38-55
    • Fernández, M.F.1    Florescu, D.2    Levy, A.Y.3    Suciu, D.4
  • 17
    • 29844446066 scopus 로고    scopus 로고
    • WEAVE: A data-intensive web site management system (software demonstration)
    • D. Florescu, K. Yagoub, P. Valduriez, and V. Issarny. WEAVE: A data-intensive web site management system (software demonstration). In (EDBT), 2000.
    • (2000) EDBT
    • Florescu, D.1    Yagoub, K.2    Valduriez, P.3    Issarny, V.4
  • 18
    • 19944405131 scopus 로고    scopus 로고
    • Analysis of interacting BPEL web services
    • X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In WWW'04, 2004.
    • (2004) WWW'04
    • Fu, X.1    Bultan, T.2    Su, J.3
  • 19
    • 33747074188 scopus 로고
    • An overview of workflow management: From process modeling to workflow automation infrastructure
    • D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to workflow automation infrastructure. In Distributed and Parallel Databases, 1995.
    • (1995) Distributed and Parallel Databases
    • Georgakopoulos, D.1    Hornick, M.2    Sheth, A.3
  • 23
    • 84924201860 scopus 로고    scopus 로고
    • Tools for design of composite web services (tutorial)
    • R. Hull and J. Su. Tools for design of composite web services (tutorial). In PODS, 2004.
    • (2004) PODS
    • Hull, R.1    Su, J.2
  • 28
    • 70349896736 scopus 로고    scopus 로고
    • Simulation, verification and automated composition of Web services
    • S. Narayanan and S. McIlraith. Simulation, verification and automated composition of Web services. In WWW, 2002.
    • (2002) WWW
    • Narayanan, S.1    McIlraith, S.2
  • 30
    • 0037591752 scopus 로고    scopus 로고
    • Verification of relational transducers for electronic commerce
    • Extended abstract in PODS 2000
    • M. Spielmann. Verification of relational transducers for electronic commerce. JCSS., 66(1):40-65, 2003. Extended abstract in PODS 2000.
    • (2003) JCSS. , vol.66 , Issue.1 , pp. 40-65
    • Spielmann, M.1
  • 31
  • 32
    • 0003305458 scopus 로고    scopus 로고
    • A formal foundation for distributed workflow execution based on state charts
    • D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In ICDT, 1997.
    • (1997) ICDT
    • Wodtke, D.1    Weikum, G.2
  • 33
    • 84858531428 scopus 로고    scopus 로고
    • Workflow management coalition, 2001. http://www.wfmc.org.
    • (2001)


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