2014 | OriginalPaper | Buchkapitel
Towards the Typing of Resource Deployment
verfasst von : Elena Giachino, Cosimo Laneve
Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.