Verification of Communicating Data-Driven Web Services

Summary: Verifies asynchronous, data-driven web-service compositions of peers with local databases whose reactions are DB queries over state, user input and messages; uses Linear Temporal First‑Order Logic and Conversation Protocols. Characterizes decidability frontiers and supports modular assume‑guarantee verification. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1380
Venue: PODS
Year: 2006
Pagerank: 0.00010243508
Overall Rank: 1,875 | 86.96%
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,374	Relational Transducers for Declarative Networking	2011	PODS	0.0001230835
1,928	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.00010061483
5,364	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	5.5461492e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
7,822	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	4.6426494e-05
10,906	Verification of Unary Communicating Datalog Programs	2024	PODS	4.1945683e-05
12,032	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1945683e-05
12,283	Optimal Top-K Query Evaluation for Weighted Business Processes	2010	VLDB	4.1945683e-05
12,348	Goal-Oriented Web-site Navigation for On-line Shoppers	2009	VLDB	4.1945683e-05
12,358	Complexity and Composition of Synthesized Web Services	2008	PODS	4.1945683e-05
12,382	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	4.1945683e-05
12,421	Demaq: A Foundation for Declarative XML Message Processing	2007	CIDR	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 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,779	E-Services: A Look Behind the Curtain	2003	PODS	0.00010581176
2,760	Temporal versus First-Order Logic to Query Temporal Databases	1996	PODS	8.1634739e-05
3,190	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.4113639e-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
4,008	Automatic Composition of Transition-based Semantic Web Services with Messaging	2005	VLDB	6.5380441e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,032	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1945683e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
13,467	Verifying Computations with Streaming Interactive Proofs	2012	VLDB	-
8,977	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	4.4174383e-05
2,496	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	8.6474041e-05
12,550	Consistency for Web Services Applications	2005	VLDB	4.1945683e-05
3,190	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.4113639e-05
4,183	Verification of Relational Data-Centric Dynamic Systems with External Services	2013	PODS	6.378289e-05
12,358	Complexity and Composition of Synthesized Web Services	2008	PODS	4.1945683e-05
3,494	Specification and Verification of Data-driven Web Services	2004	PODS	7.040662e-05