摘要

由于云计算中的应用程序涉及在远程虚拟机上运行的一组互相关联的软件组件,其部署和动态重配置是极其容易出错的任务。重配置操作必须保持应用程序的一致性,并维持与软件依赖性相关重要架构的不变性。本文介绍了一种动态自适应的重配置算法,基于Maude系统实现了该算法,并使用其分析工具对算法进行了验证。

  • 单位
    安徽电子信息职业技术学院