A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM

This paper presents a formal model of a cloud service system in terms of Ambient Abstract State Machine in two abstraction layer: while the spatial locations, mobility and some security considerations (accessibility) are described by a hierarchy of some ambient constructs and the algorithmic functionalities are defined by abstract state machine agents (which reside on various locations in the ambient hierarchy). The proposed model applies a novel approach for client-cloud interaction by which service owners, they may be different from the cloud provider, are able to fully control the usages of their services in the case of each subscription, respectively.

Provided by: Johannes Kepler University Linz Topic: Cloud Date Added: Aug 2012 Format: PDF

Find By Topic