A system for specification and verification of interactive, data-driven web applications

Proceedings of the ACM SIGMOD International Conference on Management of Data

Volumn , Issue , 2006, Pages 772-774

  Deutsch, Alin ^a   Sui, Liying ^a   Vianu, Victor ^a   Zhou, Dayou ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automatic verification; Database driven; Interactive; Specification; Web application

Indexed keywords

AUTOMATIC VERIFICATION; MULTIVARIATE STATISTICS (MVS); PARTIAL KNOWLEDGE; WEB APPLICATIONS;

DATABASE SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; OPTIMIZATION; QUALITY OF SERVICE; SPECIFICATION LANGUAGES; STATISTICAL METHODS;

WEB SERVICES;

EID: 34250646689     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1142473.1142584     Document Type: Conference Paper

References (5)

1. M. Brambilla, S. Ceri, S. Comai, P. Fraternali, and I. Manolescu. Specification and design of workflow-driven hypertexts. J. Web Eng., 1(2): 163-182, 2003.
2. S. Ceri, P. Fraternali, A. Bongio, M. Brambilla, S. Cornai, and M. Matera. Designing Data-Intensive Web Applications. Morgan Kaufmann, 2002.
3. A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A verifier for interactive, data-driven web applications. In SIGMOD Conference, 2005.
4. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In PODS, pages 71-82, 2004.
5. WAVE. Project website. http://www.db.ucsd.edu/wave/.