Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review
作者: Alireza SouriNima Jafari NavimipourAmir Masoud Rahmani
作者单位: 1Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran
2Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran
3Computer Science, University of Human Development, Sulaimanyah, Iraq
刊名: Computer Standards & Interfaces, 2018, Vol.58 , pp.1-22
来源数据库: Elsevier Journal
DOI: 10.1016/j.csi.2017.11.007
关键词: Cloud computingFormal verificationSystematic literature reviewSpecification
原始语种摘要: Abstract(#br)Cloud computing as a new internet-based computing model provides different resources as a service dynamically. Today, cloud computing is actually one of the main improvements in the computing procedure. However, by raising user interactions, the complexity of cloud processes is increasing with the advancement of technology. To evaluate the cloud computing challenges, the simulation experiments just satisfy the non-functional properties with a limited majority in forms of QoS factors. In addition, using simulation approaches have not been sufficient for developed complex cloud services that omit some critical test cases in the state space of the model. On the other hand, formal verification is an essential section in the complex information systems development that satisfies...
全文获取路径: Elsevier  (合作)
影响因子:0.978 (2012)

  • verification 检验
  • computing 计算
  • cloud 
  • standards 规程
  • formal 形式的
  • comprehensive 全面
  • specification 说瞄
  • modeling 制祝型
  • systematic 有系统的
  • highlighting 突出性