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.00010234468
Overall Rank: 1,877 | 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,377	Relational Transducers for Declarative Networking	2011	PODS	0.00012299784
1,931	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	0.0001005178
5,374	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	5.5408029e-05
7,288	Static Analysis of Active XML Systems	2008	PODS	4.7695781e-05
7,826	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	4.6381971e-05
10,910	Verification of Unary Communicating Datalog Programs	2024	PODS	4.1905499e-05
12,040	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1905499e-05
12,291	Optimal Top-K Query Evaluation for Weighted Business Processes	2010	VLDB	4.1905499e-05
12,356	Goal-Oriented Web-site Navigation for On-line Shoppers	2009	VLDB	4.1905499e-05
12,366	Complexity and Composition of Synthesized Web Services	2008	PODS	4.1905499e-05
12,390	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB	4.1905499e-05
12,430	Demaq: A Foundation for Declarative XML Message Processing	2007	CIDR	4.1905499e-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,777	E-Services: A Look Behind the Curtain	2003	PODS	0.00010571658
2,765	Temporal versus First-Order Logic to Query Temporal Databases	1996	PODS	8.1563487e-05
3,197	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.404293e-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
4,011	Automatic Composition of Transition-based Semantic Web Services with Messaging	2005	VLDB	6.5347168e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,040	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1905499e-05
7,288	Static Analysis of Active XML Systems	2008	PODS	4.7695781e-05
13,480	Verifying Computations with Streaming Interactive Proofs	2012	VLDB	-
8,984	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	4.4132034e-05
2,499	A System for Specification and Verification of Interactive, Data-driven Web Applications	2006	SIGMOD	8.6390448e-05
12,559	Consistency for Web Services Applications	2005	VLDB	4.1905499e-05
3,197	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.404293e-05
4,183	Verification of Relational Data-Centric Dynamic Systems with External Services	2013	PODS	6.3721558e-05
12,366	Complexity and Composition of Synthesized Web Services	2008	PODS	4.1905499e-05
3,498	Specification and Verification of Data-driven Web Services	2004	PODS	7.0370688e-05