A Formal Temporal Log Data Model for the Global Synchronized Virtual Machine Environment

The use of timestamps is fundamental to the management of time varying information and arguably it may be even more important for the synchronization of the virtual machine (VM) log data sets. In the context of managing (VM) logs for transactional database activity, the consistency of its state can be evaluated by these timestamps. Temporal data models claim to be point based whereas other temporal models are interval based. Hence the premise for synchronization as a component of a time event has become critical to a distributed hybrid compute cloud. The contributions of this paper apply the use of formal temporal mechanisms to appreciate the behaviour of our case study deployment. In our study we design a software application called a global virtual machine log auditor. We use the auditor to synchronize virtual server log events across a suite of non native VM environments in distinct time-zones. This work is useful in managing cloud data migration and synchronization across these time zones. Our implementation uses a snapshot equivalent approach to monitor the synchronized log events on these VMs. In this context the paper precisely defines the notions of point based and interval based temporal data models as the application of the case scenario, thus providing a new and formal basis for characterizing such models within the cloud computing environment. This paper’s motivation is an adoption of earlier work done [1, 4 15, 21].