Towards the Typing of Resource Deployment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Towards the Typing of Resource Deployment


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.
Fichier principal
Vignette du fichier
LaneveIsola2014.pdf (360.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01091748 , version 1 (06-12-2014)



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⟩


156 View
76 Download



Gmail Facebook Twitter LinkedIn More