Towards the Typing of Resource Deployment

Elena Giachino 1, 2 Cosimo Laneve 2, 1
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : In cloud computing, resources as files, databases, applica-tions, and virtual machines may either scale or move from one machine to another in response to load increases and decreases (resource deploy-ment). We study a type-based technique for analysing the deployments of resources in cloud computing. In particular, we design a type system for a concurrent object-oriented language with dynamic resource cre-ations and movements. The type of a program is behavioural, namely it expresses the resource deployments over periods of (logical) time. Our technique admits the inference of types and may underlie the optimisa-tion of the costs and consumption of resources.
Document type :
Conference papers
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01091748
Contributor : Laneve Cosimo <>
Submitted on : Saturday, December 6, 2014 - 9:14:28 AM
Last modification on : Saturday, January 27, 2018 - 1:31:27 AM
Long-term archiving on : Monday, March 9, 2015 - 6:06:49 AM

File

LaneveIsola2014.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Elena Giachino, Cosimo Laneve. Towards the Typing of Resource Deployment. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 - 103, ⟨10.1007/978-3-662-45231-8_7⟩. ⟨hal-01091748⟩

Share

Metrics

Record views

295

Files downloads

167