Formal description of virtual resources

Virtualization technology allows multiple computers running as virtual machine on a single physical computer. These virtual machines share the same underlying physical resources. The formal description is in urgent need for effectively virtual resources management and manipulation. This paper describes the virtual resources and its basic characteristics. We firstly define the resources pool, the virtual resources pool and virtual machines. Then, we describe the problem of shared resources. In particular, we present the operation semantics of virtual machines. This paper reveals the logical laws of virtual resources and their dynamic behaviour and makes the virtualization theory system more rigorous.