Virtual machine model