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....
Saved in:
Published in | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications pp. 88 - 103 |
---|---|
Main Authors | , |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |