Towards the Typing of Resource Deployment

In cloud computing, resources as files, databases, applications, and virtual machines may either scale or move from one machine to another in response to load increases and decreases (resource deployment). We study a type-based technique for analysing the deployments of resources in cloud computing....

Full description

Saved in:
Bibliographic Details
Published inLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications pp. 88 - 103
Main Authors Giachino, Elena, Laneve, Cosimo
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Behavioural Type
Cloud Computing
Type Inference
Type System
Virtual Machine
Online AccessGet full text

Cover

More Information
Summary:In cloud computing, resources as files, databases, applications, and virtual machines may either scale or move from one machine to another in response to load increases and decreases (resource deployment). 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 creations 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 optimisation of the costs and consumption of resources.
Bibliography:Partly funded by the EU project FP7-610582 ENVISAGE: Engineering Virtualized Services.
ISBN:9783662452301
3662452308
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-662-45231-8_7