An Aspect Oriented Method to Model and AnalyzeSelf-Recovery of Cloud Computing

Abstract

Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. This paper proposes an aspect oriented method to model and analyze self-recovery of cloud application according to its characteristics. Petri nets are used as the formal description language for cloud application, and use it to describe its basic elements, such as, cloud module, resource service, physical machine, virtual machine, etc. Aspect oriented programming method is used to extract self-recovery process as the core and crosscutting concerns. On this basis, the self-recovery approach is presented, the related theories and tools of Petri nets are used to verify the correctness of proposed method. Experiments show that the proposed solutions have better performance in supporting the self-healing Web service composition.