A Cloud Computing Model Based On Extended Ambient ASM

With the development of Internet technology and society, the amount and scales of network data are rapidly growing. With the growing amount of data, the traditional methods for processing massive data have many shortcomings, such as, higher cost of data storage, more difficult data management, less reliable, lower efficiency, more difficult parallel programming, and so on. A novel technology is needed to solve these problems, so the cloud computing has been brought naturally.With the wide use of cloud computing services, tenants require higher and higher assurance. The characteristics of cloud computing are dynamics, randomness, complexity and openness, which make the original solutions difficult to be applied to the cloud environment. The Research of building models of cloud computing applications is still being explored, and relatively few achievements. So, in the era of big data, the key factors for the success of information construction is the appropriate use of cloud computing framework model and the efficient implementation of cloud computing services.In this paper, we present a software engineering method by which both the algorithms of the concurrent system components and the dynamic topology of complex distributed and cloud systems can be formally described. Combined with the characteristics of cloud computing service pattern, we have given a formal model of a simple Infrastructure as a Service(Iaa S) cloud service.The main works and achievements of this paper includes the following aspects:(1) The basic theories of cloud computing are introduced, including the concept, characteristics and framework architectures and some typical applications of the cloud computing platforms.(2) For cloud computing service system, it is necessary to describe formal models of mobile computing systems and complex service oriented architectures. In this case, We mainly studied and analyzed two kinds of formal tools: mobile ambient calculus and Abstract State Machine(ASM).We have a detailed analysis of the syntax and semantics of ambient calculus and ASM, and carefully study the definition of the traditional method of ambient ASM.(3) For the drawbacks of traditional ambient ASM definition---the presented definitions for moving ambients are unfortunately incomplete and the operation in,out,open can not be restricted in original ambient calculus. We proposed an extended definition of ambient ASM that the Safe Ambients with Password concept is introduced into the ASM method. This enhances the management of their own border and the security of the environment.(4) A cloud computing model based on extended ambient ASM is designed.