RESTful Transactions Supported by the Isolation Theorems

  • Amir Razavi
  • Alexandros Marinos
  • Sotiris Moschoyiannis
  • Paul Krause
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5648)


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.


REST Transactions Isolation Theorems Locking 


  1. 1.
    Astrahan, M.M., et al.: A history and evaluation of System R. Communications of the ACM 24, 632–646 (1981)CrossRefGoogle Scholar
  2. 2.
    Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems. Addison-Wesley Longman Publishing, Boston (1987)Google Scholar
  3. 3.
    Cabrera, L.F., et al.: Web Services Atomic Transaction (WS-AtomicTransaction). Version 1.0, IBM developerWorks (2005)Google Scholar
  4. 4.
    Castro, P., Nori, A.A.: A Programming Model for Data on the Web. Data Engineering, 2008. In: IEEE 24th International Conference on Data Engineering. ICDE 2008, pp. 1556–1559 (2008)Google Scholar
  5. 5.
    Crockford, D.: JSON: The fat-free alternative to XML. In: Proc. of XML 2006 (2006)Google Scholar
  6. 6.
    Date, C.J.: An Introduction to Database Systems, 5th edn. Addison-Wesley, Reading (1996)zbMATHGoogle Scholar
  7. 7.
    Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. University of California, Irvine (2000)Google Scholar
  8. 8.
    Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Berners-Lee, T.: Hypertext Transfer Protocol–HTTP/1.1. RFC 2616, The Internet Engineering Task Force (1999)Google Scholar
  9. 9.
    Gray, J.: Benchmark Handbook: For Database and Transaction Processing Systems. Morgan Kaufmann Publishers Inc., San Francisco (1992)zbMATHGoogle Scholar
  10. 10.
    Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., San Francisco (1993)zbMATHGoogle Scholar
  11. 11.
    Greenberg, S., Marwood, D.: Real time groupware as a distributed system: concurrency control and its effect on the interface. In: Proceedings of the 1994 ACM conference on Computer supported cooperative work, pp. 207–217 (1994)Google Scholar
  12. 12.
    Hadley, M., Sandoz, P.: JSR 311: Java api for RESTful web services. Technical report, Java Community Process, Sun Microsystems (2007)Google Scholar
  13. 13.
    Hoffman, P., Bray, T.: Atom Publishing Format and Protocol (atompub). In: IETF (2006)Google Scholar
  14. 14.
    Khare, R., Taylor, R.N.: Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems. In: Proc. of the 26th International Conf. on Software Engineering, vol. 23, pp. 428–437 (2004)Google Scholar
  15. 15.
    McGuffin, L.J., Olson, G.M.: ShrEdit: A Shared Electronic Work Space. University of Michigan, Cognitive Science and Machine Intelligence Laboratory (1992)Google Scholar
  16. 16.
    Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill Science/Engineering/Math (2003)Google Scholar
  17. 17.
    Razavi, A., Moschoyiannis, S., Krause, P.: Concurrency Control and Recovery Management in Open e-Business Transactions. In: Proc. WoTUG (CPA 2007), pp. 267–285 (2007)Google Scholar
  18. 18.
    Richardson, L., Ruby, S.: RESTful Web Services. O’Reilly Media, Inc., Sebastopol (2007)Google Scholar
  19. 19.
    Sun, C., Ellis, C.: Operational transformation in real-time group editors: issues, algorithms, and achievements. In: Proc. of the 1998 ACM conference on Computer supported cooperative work, pp. 59–68 (1998)Google Scholar
  20. 20.
    Vinoski, S.: WS-nonexistent standards. IEEE Internet Computing 8, 94–96 (2004)Google Scholar
  21. 21.
    Marinos, A., Razavi, A., Moschoyiannis, S., Krause, P.: RETRO: A Consistent and Recoverable RESTful Transaction Model. In: IEEE 7th International Conference on Web Services (ICWS 2009), Los Angeles, CA, USA (2009) (in the processe to be published)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Amir Razavi
    • 1
  • Alexandros Marinos
    • 1
  • Sotiris Moschoyiannis
    • 1
  • Paul Krause
    • 1
  1. 1.Department of Computing, FEPSUniversity of SurreyGuildfordUK

Personalised recommendations