RESTful Transactions Supported by the Isolation Theorems

Authors:
Amir Razavi;Alexandros Marinos;Sotiris Moschoyiannis;Paul Krause
Affiliations:
Department of Computing, FEPS, University of Surrey, Guildford, UK GU2 7XH;Department of Computing, FEPS, University of Surrey, Guildford, UK GU2 7XH;Department of Computing, FEPS, University of Surrey, Guildford, UK GU2 7XH;Department of Computing, FEPS, University of Surrey, Guildford, UK GU2 7XH
Venue:
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Year:
2009

Citing 13
Cited 2

Concurrency control and recovery in database systems

Concurrency control and recovery in database systems
An introduction to database systems: vol. 1 (5th ed.)

An introduction to database systems: vol. 1 (5th ed.)
Real time groupware as a distributed system: concurrency control and its effect on the interface

CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Operational transformation in real-time group editors: issues, algorithms, and achievements

CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
A history and evaluation of System R

Communications of the ACM
Benchmark Handbook: For Database and Transaction Processing Systems

Benchmark Handbook: For Database and Transaction Processing Systems
Database Management Systems

Database Management Systems
Transaction Processing: Concepts and Techniques

Transaction Processing: Concepts and Techniques
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems

Proceedings of the 26th International Conference on Software Engineering
WS-Nonexistent Standards

IEEE Internet Computing
Restful web services

Restful web services
Astoria: A Programming Model for Data on the Web

ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
RETRO: A Consistent and Recoverable RESTful Transaction Model

ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services

On actors and the REST

ICWE'10 Proceedings of the 10th international conference on Web engineering
The atomic web browser

Proceedings of the 22nd international conference on World Wide Web companion

Quantified Score

Hi-index	0.01

Visualization

Abstract

With REST becoming the dominant architectural paradigm for web services in distributed systems, more and more use cases are applied to it, including use cases that require transactional guarantees. We propose a RESTful transaction model that satisfies both the constraints of transactions and those of the REST architectural style. We then apply the isolation theorems to prove the robustness of its properties on a formal level.