메뉴 건너뛰기




Volumn 34, Issue 4, 2009, Pages

Static analysis of active XML systems

Author keywords

Automatic verification; Web services; Workflows; XML

Indexed keywords

AUTOMATIC VERIFICATION; BASED ON XML DOCUMENTS; EMBEDDED FUNCTION; FUNCTION CALLS; HIGH LEVEL SPECIFICATION; INTERNAL FUNCTION; LOCAL COMPUTATION; LTL PROPERTY; SEMANTIC PROPERTIES; SUBTASKS; TEMPORAL PROPERTY; WORK-FLOWS; XML SYSTEM;

EID: 76149136072     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1620585.1620590     Document Type: Conference Paper
Times cited : (23)

References (32)
  • 4
    • 46749136902 scopus 로고    scopus 로고
    • The Active XML project: An overview
    • ABITEBOUL, S., BENJELLOUN, O., AND MILO, T. 2008a. The Active XML project: An overview. VLDB J. 17, 5, 1019-1040.
    • (2008) VLDB J. , vol.17 , Issue.5 , pp. 1019-1040
    • Abiteboul, S.1    Benjelloun, O.2    Milo, T.3
  • 9
    • 43949103102 scopus 로고    scopus 로고
    • Xpath satisfiability in the presence of DTDs
    • BENEDIKT, M., FAN, W., AND GEERTS, F. 2008. Xpath satisfiability in the presence of DTDs. J. ACM 55, 2, 1-79.
    • (2008) J. ACM , vol.55 , Issue.2 , pp. 1-79
    • Benedikt, M.1    Fan, W.2    Geerts, F.3
  • 14
    • 0020735797 scopus 로고
    • On communicating finite-state machines
    • BRAND, D. AND ZAFIROPULO, P. 1983. On communicating finite-state machines. J. ACM 30, 2, 323-342.
    • (1983) J. ACM , vol.30 , Issue.2 , pp. 323-342
    • Brand, D.1    Zafiropulo, P.2
  • 16
    • 67249143974 scopus 로고    scopus 로고
    • LTL with the freeze quantifier and register automata
    • DEMRI, S. AND LAZÍC, R. 2009. LTL with the freeze quantifier and register automata. ACM Trans. Comput. Logic 10, 3, 1-30.
    • (2009) ACM Trans. Comput. Logic , vol.10 , Issue.3 , pp. 1-30
    • Demri, S.1    Lazíc, R.2
  • 18
    • 33845938560 scopus 로고    scopus 로고
    • Specification and verification of data-driven Web applications
    • DEUTSCH, A., SUI, L., AND VIANU, V. 2007. Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73, 3, 442-474.
    • (2007) J. Comput. Syst. Sci. , vol.73 , Issue.3 , pp. 442-474
    • Deutsch, A.1    Sui, L.2    Vianu, V.3
  • 27
    • 24344444145 scopus 로고    scopus 로고
    • Tools for composite Web services: A short overview
    • HULL, R. AND SU, J. 2005. Tools for composite Web services: A short overview. SIGMOD Record 34, 2, 86-95.
    • (2005) SIGMOD Record , vol.34 , Issue.2 , pp. 86-95
    • Hull, R.1    Su, J.2
  • 28
    • 33746354640 scopus 로고    scopus 로고
    • Business processes for Web services: Principles and applications
    • KHALAF, R., KELLER, A., AND LEYMANN, F. 2006. Business processes for Web services: Principles and applications. IBM Syst. J. 45, 2.
    • (2006) IBM Syst. J. , vol.45 , pp. 2
    • Khalaf, R.1    Keller, A.2    Leymann, F.3
  • 30
    • 3142676414 scopus 로고    scopus 로고
    • Finite state machines for strings over infinite alphabets
    • NEVEN, F., SCHWENTICK, T., AND VIANU, V. 2004. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic 5, 3, 403-435.
    • (2004) ACM Trans. Comput. Logic , vol.5 , Issue.3 , pp. 403-435
    • Neven, F.1    Schwentick, T.2    Vianu, V.3
  • 31
    • 0141940583 scopus 로고    scopus 로고
    • Business artifacts: An approach to operational specification
    • NIGAML, A. AND CASWELL, N. 2003. Business artifacts: An approach to operational specification. IBM Syst. J.
    • (2003) IBM Syst. J
    • Nigaml, A.1    Caswell, N.2
  • 32
    • 34249886017 scopus 로고    scopus 로고
    • Static analysis of XML processing with data values
    • SEGOUFIN, L. 2007. Static analysis of XML processing with data values. SIGMOD Record 36, 1, 31-38.
    • (2007) SIGMOD Record , vol.36 , Issue.1 , pp. 31-38
    • Segoufin, L.1


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