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.
Type de document :
Communication dans un congrès
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 - 103, 2014, 〈10.1007/978-3-662-45231-8_7〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01091748
Contributeur : Laneve Cosimo <>
Soumis le : samedi 6 décembre 2014 - 09:14:28
Dernière modification le : samedi 27 janvier 2018 - 01:31:27
Document(s) archivé(s) le : lundi 9 mars 2015 - 06:06:49

Fichier

LaneveIsola2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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, 2014, 〈10.1007/978-3-662-45231-8_7〉. 〈hal-01091748〉

Partager

Métriques

Consultations de la notice

98

Téléchargements de fichiers

88