Hide metadata

dc.date.accessioned2018-10-16T11:22:32Z
dc.date.available2018-10-16T11:22:32Z
dc.date.issued2018
dc.identifier.urihttp://hdl.handle.net/10852/65176
dc.description.abstractCloud computing is a paradigm of distributed computing in which users share resources by storing data and executing processes in common data centers. A key factor for the success of this paradigm is virtualization technology, which represents the resources of an execution environment as a software layer, a so-called virtual machine. Virtualization allows to share existing hardware and software resources, improves security by providing isolation of different users, which share the same resource, and enables dynamic assignment of resources according to the demand of the user. The sharing of resources creates business drivers which make cloud computing an economically attractive model for deploying software. This thesis introduces the calculus of virtually timed ambients, a formal model of hierarchical locations for execution with explicit resource provisioning. This calculus is based on the well-known calculus of mobile ambients and motivated by the use of nested virtualization in cloud computing applications. The investigation of cloud computing from the point of view of process calculi provides a formal specification of the subject, which is necessary in order to develop executable models for analysis and optimization. The main contributions of this thesis are the definition of the calculus of virtually timed ambients, and the reasoning about its essential characteristics. In order to enable static analysis we enhance the calculus with a type system. Furthermore, we define a modal logic and a corresponding model checker, which we deploy in the definition of resource-awareness of virtually timed ambients, enabling dynamic self management of processes. Lastly, we present virtually timed ambients as a framework to analyse virtualization in cloud computing utilizing a prototype implementation. All concepts are illustrated by examples.en_US
dc.language.isoenen_US
dc.relation.haspartPaper 1 (Chapter 6): Virtually Timed Ambients: A calculus of nested virtualization. Einar Broch Johnsen, Martin Steffeinar broch johnsenen, Johanna Beate Stumpf. Journal of Logical and Algebraic Methods in Programming, volume 94, pp 109-127, 2018. DOI:10.1016/j.jlamp.2017.10.001. The article is included in the thesis. Also available at https://doi.org/10.1016/j.jlamp.2017.10.001
dc.relation.haspartPaper 2 (Chapter 7): Assumption Commitment Types for Virtually Timed Ambients. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. Submitted to Logical Methods In Computer Science (under review). To be published. The paper is not available in DUO awaiting publishing.
dc.relation.haspartPaper 3 (Chapter 8): Checking Modal Contracts for Virtually Timed Ambients. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. Proceedings of the 15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018). B. Fischer and T. Uustalu (Eds.): ICTAC 2018, LNCS 11187, pp. 252–272, 2018. DOI:10.1007/978-3-030-02508-3_14 The paper is not available in DUO due to publisher restrictions. The published version is available at: https://doi.org/10.1007/978-3-030-02508-3_14
dc.relation.haspartPaper 4 (Chapter 9): Resource-Aware Virtually Timed Ambients. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. Proceedings of the 14th International Conference on integrated Formal Methods (iFM 2018) C. A. Furia and K. Winter (Eds.): IFM 2018, LNCS 11023, pp. 194–213, 2018. DOI:10.1007/978-3-319-98938-9_12 The paper is not available in DUO due to publisher restrictions. The published version is available at: https://doi.org/10.1007/978-3-319-98938-9_12
dc.relation.haspartPaper 5 (Chapter 10): An Analysis Framework for Virtualization. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. Proceedings of the Norsk Informatikkonferanse (NIK 2018). The article is included in the thesis.
dc.relation.urihttps://doi.org/10.1016/j.jlamp.2017.10.001
dc.relation.urihttps://doi.org/10.1007/978-3-030-02508-3_14
dc.relation.urihttps://doi.org/10.1007/978-3-319-98938-9_12
dc.titleVirtually Timed Ambients: A Calculus for Resource Management in Cloud Computingen_US
dc.typeDoctoral thesisen_US
dc.creator.authorStumpf, Johanna Beate
dc.identifier.urnURN:NBN:no-67697
dc.type.documentDoktoravhandlingen_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/65176/1/PhD-Stumpf-2018.pdf


Files in this item

Appears in the following Collection

Hide metadata