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)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Paul Greenfield (Commonwealth Scientific and Industrial Research Organisation)
- 2. Dean Kuo (Commonwealth Scientific and Industrial Research Organisation)
- 3. Surya Nepal (Commonwealth Scientific and Industrial Research Organisation)
- 4. Alan Fekete (University of Sydney)
BibTeX Citation
@article{greenfield_vldb05,
title = {{Consistency for Web Services Applications}},
author = {Greenfield, Paul and Kuo, Dean and Nepal, Surya and Fekete, Alan},
journal = {PVLDB},
series = {{VLDB} '05},
year = {2005}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,672 | Isolation Support for Service-based Applications: A Position Paper | 2007 | CIDR | 5.4772833e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 66 | Sagas | 1987 | SIGMOD | 0.00038047495 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 2,451 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD |
| 2 | 14,300 | SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment | 2002 | VLDB |
| 3 | 9,340 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB |
| 4 | 12,770 | Principles for Inconsistency | 2009 | CIDR |
| 5 | 13,012 | A Scalability Service for Dynamic Web Applications | 2005 | CIDR |
| 6 | 12,841 | Complexity and Composition of Synthesized Web Services | 2008 | PODS |
| 7 | 4,170 | Specification and Verification of Data-driven Web Services | 2004 | PODS |
| 8 | 13,023 | Model-driven Design of Service-enabled Web Applications | 2005 | SIGMOD |
| 9 | 14,191 | Secure, Reliable, Transacted; Innovation in Web Services Architecture | 2004 | SIGMOD |
| 10 | 2,164 | Verification of Communicating Data-Driven Web Services | 2006 | PODS |