Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Laneve Cosimo Connect in order to contact the contributor
Submitted on : Saturday, December 6, 2014 - 9:14:28 AM
Last modification on : Wednesday, February 2, 2022 - 3:56:18 PM
Long-term archiving on: : Monday, March 9, 2015 - 6:06:49 AM


Files produced by the author(s)




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⟩



Record views


Files downloads