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: 3664
Venue: SIGMOD
Year: 2005
Pagerank: 7.4113639e-05
Overall Rank: 3,190 | 77.81%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 12 of 12 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,368	Querying Business Processes	2006	VLDB	0.00012347323
1,875	Verification of Communicating Data-Driven Web Services	2006	PODS	0.00010243508
1,928	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.00010061483
2,496	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	8.6474041e-05
4,183	Verification of Relational Data-Centric Dynamic Systems with External Services	2013	PODS	6.378289e-05
5,364	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	5.5461492e-05
6,638	The SQL-based All-Declarative FORWARD Web Application Development Framework	2011	CIDR	4.9808044e-05
6,844	Querying and Monitoring Distributed Business Processes	2008	VLDB	4.9095428e-05
6,913	VERIFAS: A Practical Verifier for Artifact Systems	2018	VLDB	4.8925595e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
12,275	Navigating in Complex Mashed-Up Applications	2010	VLDB	4.1945683e-05
12,382	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	4.1945683e-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
989	Relational Transducers for Electronic Commerce	1998	PODS	0.00014814282
1,779	E-Services: A Look Behind the Curtain	2003	PODS	0.00010581176
2,143	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	9.4436896e-05
3,494	Specification and Verification of Data-driven Web Services	2004	PODS	7.040662e-05
3,829	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.7206878e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,120	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB	4.1945683e-05
13,685	Declarative Specification of Web Applications exploiting Web Services and Workflows	2004	SIGMOD	-
4,000	Verification of Database-driven Systems via Amalgamation	2013	PODS	6.5469864e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
5,482	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4833354e-05
12,155	Querying Schemas With Access Restrictions	2012	VLDB	4.1945683e-05
4,487	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.1454721e-05
1,875	Verification of Communicating Data-Driven Web Services	2006	PODS	0.00010243508
3,494	Specification and Verification of Data-driven Web Services	2004	PODS	7.040662e-05
2,496	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	8.6474041e-05