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: 9255
Venue: VLDB
Year: 2005
Pagerank: 4.1905499e-05
Overall Rank: 12,559 | 12.72%
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,924	Isolation Support for Service-based Applications: A Position Paper	2007	CIDR	4.8878659e-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.00071732655

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
2,724	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.2300934e-05
13,802	SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment	2002	VLDB	-
8,984	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	4.4132034e-05
12,292	Principles for Inconsistency	2009	CIDR	4.1905499e-05
12,538	A Scalability Service for Dynamic Web Applications	2005	CIDR	4.1905499e-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
12,549	Model-driven Design of Service-enabled Web Applications	2005	SIGMOD	4.1905499e-05
13,693	Secure, Reliable, Transacted; Innovation in Web Services Architecture	2004	SIGMOD	-
1,877	Verification of Communicating Data-Driven Web Services	2006	PODS	0.00010234468