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: 3665
Venue: SIGMOD
Year: 2005
Pagerank: 7.404293e-05
Overall Rank: 3,197 | 77.79%
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,371	Querying Business Processes	2006	VLDB	0.00012335393
1,877	Verification of Communicating Data-Driven Web Services	2006	PODS	0.00010234468
1,931	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.0001005178
2,499	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	8.6390448e-05
4,183	Verification of Relational Data-Centric Dynamic Systems with External Services	2013	PODS	6.3721558e-05
5,374	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	5.5408029e-05
6,638	The SQL-based All-Declarative FORWARD Web Application Development Framework	2011	CIDR	4.9768002e-05
6,842	Querying and Monitoring Distributed Business Processes	2008	VLDB	4.904836e-05
6,915	VERIFAS: A Practical Verifier for Artifact Systems	2018	VLDB	4.8878659e-05
7,288	Static Analysis of Active XML Systems	2008	PODS	4.7695781e-05
12,283	Navigating in Complex Mashed-Up Applications	2010	VLDB	4.1905499e-05
12,390	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	4.1905499e-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
990	Relational Transducers for Electronic Commerce	1998	PODS	0.00014800793
1,777	E-Services: A Look Behind the Curtain	2003	PODS	0.00010571658
2,145	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	9.4349268e-05
3,498	Specification and Verification of Data-driven Web Services	2004	PODS	7.0370688e-05
3,832	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.7145204e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,123	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB	4.1905499e-05
13,699	Declarative Specification of Web Applications exploiting Web Services and Workflows	2004	SIGMOD	-
4,002	Verification of Database-driven Systems via Amalgamation	2013	PODS	6.5406774e-05
7,288	Static Analysis of Active XML Systems	2008	PODS	4.7695781e-05
5,491	On Verification Of Database Temporal Constraints	1985	SIGMOD	5.4780618e-05
12,163	Querying Schemas With Access Restrictions	2012	VLDB	4.1905499e-05
4,489	A Temporal Framework for Database Specification and Verification	1984	VLDB	6.1395366e-05
1,877	Verification of Communicating Data-Driven Web Services	2006	PODS	0.00010234468
3,498	Specification and Verification of Data-driven Web Services	2004	PODS	7.0370688e-05
2,499	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	8.6390448e-05