RETRO: A Consistent and Recoverable RESTful Transaction Model

With REST becoming a popular paradigm for web services, more and more use cases are applied to it, including some that require transactional guarantees. We propose a RESTful transaction model that satisfies both the constraints of transactions as well as those of the REST architectural style. We provide formal proof of consistency and recoverability in the proposed framework and show the robustness of its properties in the presence of concurrent transactions.

[1]  Stéphane Bressan,et al.  Introduction to Database Systems , 2005 .

[2]  Chengzheng Sun,et al.  Operational transformation in real-time group editors: issues, algorithms, and achievements , 1998, CSCW '98.

[3]  Steve Vinoski.  Demystifying RESTful Data Coupling , 2008, IEEE Internet Computing.

[4]  A.R. Razavi,et al.  A Coordination Model for Distributed Transactions in Digital Business EcoSystems , 2007, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference.

[5]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[6]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.0 , 1996, RFC.

[7]  Saul Greenberg,et al.  Real time groupware as a distributed system: concurrency control and its effect on the interface , 1994, CSCW '94.

[8]  Irving L. Traiger,et al.  A history and evaluation of System R , 1981, CACM.

[9]  Anil Nori,et al.  Astoria: A Programming Model for Data on the Web , 2008, 2008 IEEE 24th International Conference on Data Engineering.

[10]  Ping Pan,et al.  Internet Engineering Task Force , 1995 .

[11]  Anthony Nadalin,et al.  Web Services Atomic Transaction (WS- AtomicTransaction) , 2003 .

[12]  Friedrich H. Vogt,et al.  Implementing Web service protocols in SOA: WS-Coordination and WS-BusinessActivity , 2005, Seventh IEEE International Conference on E-Commerce Technology Workshops.

[13]  Khaled Salah,et al.  Internet Computing , 2003, Inf. Sci..

[14]  Sotiris Moschoyiannis,et al.  Concurrency Control and Recovery Management for Open e-Business Transactions , 2007, CPA.

[15]  Raghu Ramakrishnan,et al.  Database Management Systems , 1976 .

[16]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[17]  Sam Ruby,et al.  RESTful Web Services , 2007 .

[18]  Steve Vinoski.  WS-Nonexistent Standards , 2004, IEEE Internet Comput..

[19]  Richard N. Taylor,et al.  Extending the Representational State Transfer (REST) architectural style for decentralized systems , 2004, Proceedings. 26th International Conference on Software Engineering.