@inproceedings{ff234333038e4a5fb4bb7b568453a9f1,
title = "Configuration of services based on virtualization",
abstract = "Virtualization is fundamental to cloud computing. It allows abstraction centred on services and isolation of lower level functionalities and underlying hardware. Modeling, analyzing and verifying cloud systems necessarily involve virtualization and services. However, there exist few efforts to effectively formalizing virtualization in cloud computing. In this paper, based on services we present an approach for defining virtualization. We discuss some properties of service virtualization under some operations and the correctness of virtual services (virtual services without abnormal behavioral problems). Moreover, we investigate automatic configuration of a service based on virtualization, that is, given a virtualized service, how can we automatically obtain all possible correct virtual services of such a service? The configuration process is to first separate a virtualized service into atomic and correct virtual services and then merge these atomic virtual services into all possible correct virtual services of such a virtualized service. The obtained theoretical results help to formally analyze, verify and configure cloud systems.",
keywords = "Virtualization, cloud computing, configuration, service",
author = "Jiang, \{Jian Min\} and Zhu, \{Hui Biao\} and Qin Li and Shi Zhang and Ping Gong and Zhong Hong",
note = "Publisher Copyright: Copyright {\textcopyright} 2014 by The Institute of Electrical and Electronics Engineers, Inc.; 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014 ; Conference date: 01-09-2014 Through 03-09-2014",
year = "2014",
month = dec,
day = "4",
doi = "10.1109/TASE.2014.28",
language = "英语",
series = "Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "177--184",
booktitle = "Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014",
address = "美国",
}