A Verifier for Interactive, Data-driven Web Applications

Summary: WAVE: a verifier for interactive, database-driven Web apps specified with WebML. Complete for a broad class of infinite-state runs; by coupling model checking with database-optimization, it achieves seconds-level verification on real apps and supports incomplete verification. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 3726
Venue: SIGMOD
Year: 2005
Pagerank: 7.4467496e-05
Overall Rank: 3,398 | 76.69%
DOI: 10.1145/1066157.1066219

Incoming Non-self Citations Over Time

Authors

1. Alin Deutsch (University of California San Diego)
2. Monica Marcus (University of California San Diego)
3. Liying Sui (University of California San Diego)
4. Victor Vianu (University of California San Diego)
5. Dayou Zhou (University of California San Diego)

BibTeX Citation

@inproceedings{deutsch_sigmod05,
        title = {{A Verifier for Interactive, Data-driven Web Applications}},
        author = {Deutsch, Alin and Marcus, Monica and Sui, Liying and Vianu, Victor and Zhou, Dayou},
        series = {{SIGMOD} '05},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/1066157.1066219},
        url = {https://dl.acm.org/doi/10.1145/1066157.1066219},
        year = {2005}
}

Incoming Citations (Sorted by Pagerank)

Showing 12 of 12 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,985	Querying Business Processes	2006	VLDB	9.353709e-05
2,125	Verification of Communicating Data-Driven Web Services	2006	PODS	9.1334411e-05
2,653	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.2898925e-05
3,826	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	7.0916124e-05
5,511	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	6.1915384e-05
5,874	Verification of Relational Data-Centric Dynamic Systems with External Services	2013	PODS	6.0586728e-05
7,097	The SQL-based All-Declarative FORWARD Web Application Development Framework	2011	CIDR	5.704861e-05
7,361	Static Analysis of Active XML Systems	2008	PODS	5.6340455e-05
7,390	Querying and Monitoring Distributed Business Processes	2008	VLDB	5.626643e-05
7,516	VERIFAS: A Practical Verifier for Artifact Systems	2018	VLDB	5.6029996e-05
12,470	Navigating in Complex Mashed-Up Applications	2010	VLDB	5.093636e-05
12,575	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1,159	Relational Transducers for Electronic Commerce	1998	PODS	0.00011898742
2,122	E-Services: A Look Behind the Curtain	2003	PODS	9.1402274e-05
2,641	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	8.307117e-05
4,080	Specification and Verification of Data-driven Web Services	2004	PODS	6.9165722e-05
4,624	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.599431e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	11,326	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB
2	13,886	Declarative Specification of Web Applications exploiting Web Services and Workflows	2004	SIGMOD
3	5,127	Verification of Database-driven Systems via Amalgamation	2013	PODS
4	7,361	Static Analysis of Active XML Systems	2008	PODS
5	6,196	On Verification Of Database Temporal Constraints	1985	SIGMOD
6	12,351	Querying Schemas With Access Restrictions	2012	VLDB
7	5,081	A Temporal Framework for Database Specification and Verification	1984	VLDB
8	2,125	Verification of Communicating Data-Driven Web Services	2006	PODS
9	4,080	Specification and Verification of Data-driven Web Services	2004	PODS
10	3,826	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD