RESTful Transactions Supported by the Isolation Theorems

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.

Recovery management in RESTful interactions

“…We now show that by adding two-phase locking, the model becomes wormhole-free (full details about our formal model and detailed proof for consistency can be found at [27]). …”

“…In this paper we describe how this approach can be extended to produce a fully specified and theoretically robust RESTful transaction model. In [27] we have provided a primary framework for consistent RESTful transactions and in this paper we focus on Recovery issue.…”

What, not how: A generative approach to service composition

“…While various new protocols have been proposed, such as the WebDAV [17], the weakness of this is that while it maintains the theoretical advantages of the REST style, it foregoes the practical advantages that arise from the widespread adoption of HTTP. We are currently working on an alternative approach that retains both the theoretical advantages of REST and the practical advantages of HTTP adoption [21].…”

Design and complexity of RESTful Web applications optimisation of simple stateless scenarios

“…This paper therefore focuses on examining and reducing the complexity of ESC while improving the design. The proposed solutions are based on the authors earlier works on the loosely coupled interaction model for service composition [10], [11] and the stateless transaction model [12]. This paper is composed of 5 sections.…”