Skip to main content

On the Behaviour of General-Purpose Applications on Cloud Storages

Bocchi, Laura, Melgratti, Hernán (2014) On the Behaviour of General-Purpose Applications on Cloud Storages. In: 11th International Workshop on Web Services and Formal Methods (WSFM). 11th International Workshop on Web Services and Formal Methods (WS-FM). Lecture Notes in Computer Science . pp. 29-47. Springer, Cham, Switzerland ISBN 978-3-319-08259-2. E-ISBN 978-3-319-08260-8. (doi:10.1007/978-3-319-08260-8_3) (KAR id:43738)

Language: English
Download (247kB) Preview
[thumbnail of BM13.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


Managing data over cloud infrastructures raises novel challenges with respect to existing and well studied approaches such as ACID and long running transactions. One of the main requirements is to provide availability and partition tolerance in a scenario with replicas and distributed control. This comes at the price of a weaker consistency, usually called eventual consistency. These weak memory models have proved to be suitable in a number of scenarios, such as the analysis of large data with Map-Reduce. However, due to the widespread availability of cloud infrastructures, weak storages are used not only by specialised applications but also by general purpose applications. We provide a formal approach, based on process calculi, to reason about the behaviour of programs that rely on cloud stores. For instance, one can check that the composition of a process with a cloud store ensures `strong' properties through a wise usage of asynchronous message-passing.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1007/978-3-319-08260-8_3
Subjects: Q Science > QA Mathematics (inc Computing science) > QA299 Analysis, Calculus
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Laura Bocchi
Date Deposited: 05 Nov 2014 10:15 UTC
Last Modified: 16 Feb 2021 12:56 UTC
Resource URI: (The current URI for this page, for reference purposes)
Bocchi, Laura:
  • Depositors only (login required):


Downloads per month over past year