Consistency for Web Services Applications

Summary: Relates internal service states, messages, and application protocols to convert distributed consistency in service-oriented apps into a formal correctness problem. Uses established protocol verification tools to verify consistent outcomes under failures. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 9254
Venue: VLDB
Year: 2005
Pagerank: 4.1945683e-05
Overall Rank: 12,550 | 12.70%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,922	Isolation Support for Service-based Applications: A Position Paper	2007	CIDR	4.8925595e-05

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
45	Sagas	1987	SIGMOD	0.00071800944

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
2,723	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.2306728e-05
13,788	SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment	2002	VLDB	-
8,977	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	4.4174383e-05
12,284	Principles for Inconsistency	2009	CIDR	4.1945683e-05
12,529	A Scalability Service for Dynamic Web Applications	2005	CIDR	4.1945683e-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
12,540	Model-driven Design of Service-enabled Web Applications	2005	SIGMOD	4.1945683e-05
13,679	Secure, Reliable, Transacted; Innovation in Web Services Architecture	2004	SIGMOD	-
1,875	Verification of Communicating Data-Driven Web Services	2006	PODS	0.00010243508