形式化方法在云计算中的应用现状

A survey on formal methods in cloud computing

在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需服务等特点,但由于云计算系统非常复杂,以致难以管理和测试.为了向用户保证云计算系统中存储的可靠性、程序的鲁棒性、数据的安全性等等,必须使用形式化方法对云计算系统的有关性质进行验证.本文主要调研了近年来使用形式化方法对云计算系统进行研究的工作,对云计算系统资源管理、云计算系统安全性等方面的工作分别进行了介绍.

In information era,with the rapid development of internet technology,people need new technology to store and process mass of data,so cloud computing is widely used.Cloud computing has several basic characteristics:on-demand service,fast application elasticity,network access,resource pooling and measured service.The cloud computing should provide the users with robustness,fault tolerance,execution automation,and powerful computing facilities.But cloud computing systems are very complex and dynamic which makes it difficult to manage and test.We need to use formal methods to ensure the forementioned properties in cloud computing systems.In this paper we mainly survey recent works using formal methods on cloud computing,and introduce them from aspects of resource management,security,virtualization,etc.