University of Surrey

Test tubes in the lab Research in the ATI Dance Research

RESTful Transactions Supported by the Isolation Theorems

Razavi, A, Marinos, A, Moschoyiannis, Sotiris and Krause, Paul (2009) RESTful Transactions Supported by the Isolation Theorems In: 9th International Conference on Web Engineering, 2009-06-24 - 2009-06-26, San Sebastian, SPAIN.

[img] Text
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (336kB)
[img] Text (licence)
Restricted to Repository staff only

Download (33kB)


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.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Surrey research (other units)
Authors :
Razavi, A
Marinos, A
Date : 1 January 2009
DOI : 10.1007/978-3-642-02818-2_32
Contributors :
ContributionNameEmailORCID BERLIN,
Uncontrolled Keywords : Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science, REST, Transactions, Isolation Theorems, Locking
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 28 Mar 2017 14:12
Last Modified : 23 Jan 2020 12:55

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800