...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of critical computer-based systems >Formal verification of cloud systems elasticity
【24h】

Formal verification of cloud systems elasticity

机译：正式验证云系统的弹性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Cloud computing is a new delivery model based on a simple idea, which consists of providing a set of virtualised resources as on demand services that users can acquire according to their needs in an elastic way. In the context of preserving cloud systems elasticity and ensuring their reliability and consistency, formal methods can be very effective to model cloud systems and verify their inherent properties. Thus, we present in this paper a formal framework for specifying cloud systems and their elasticity methods. Furthermore, to show the usefulness of our BRS-based model, we propose two underlying formal approaches in order to verify the properties of elasticity and plasticity, while the first approach is based on the BigMC model-checker, the second one is based on judicious coupling between Maude language and BRS; in this case, the Maude LTL model-checker performs the verification.
机译：云计算是一种基于简单思想的新交付模型，其中包括提供一组虚拟化资源作为按需服务，用户可以根据自己的需求以弹性方式获取这些资源。在维护云系统弹性并确保其可靠性和一致性的情况下，形式化方法可以非常有效地为云系统建模并验证其固有属性。因此，我们在本文中提出了一个用于指定云系统及其弹性方法的正式框架。此外，为了展示基于BRS的模型的有用性，我们提出了两种基本的形式化方法来验证弹性和可塑性，而第一种方法基于BigMC模型检查器，第二种方法基于明智的方法。 Maude语言和BRS之间的耦合；在这种情况下，Maude LTL模型检查器将执行验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号