Behavioral modeling and formal verification of a resource discovery approach in Grid computing
作者: Alireza SouriNima Jafari Navimipour
作者单位: 1Department of Computer Engineering, East Azarbaijan Science and Research Branch, Islamic Azad University, Tabriz, Iran
刊名: Expert Systems With Applications, 2014, Vol.41 (8), pp.3831-3849
来源数据库: Elsevier Journal
DOI: 10.1016/j.eswa.2013.11.042
关键词: Grid computingFormal verificationBehavioral modelingResource discoveryModel checkingNuSMV
英文摘要: Abstract(#br)Grid computing is the federation of resources from multiple locations to facilitate resource sharing and problem solving over the Internet. The challenge of finding services or resources in Grid environments has recently been the subject of many papers and researches. These researches and papers evaluate their approaches only by simulation and experiments. Therefore, it is possible that some part of the state space of the problem is not analyzed and checked well. To overcome this defect, model checking as an automatic technique for the verification of the systems is a suitable solution. In this paper, an adopted type of resource discovery approach to address multi-attribute and range queries has been presented. Unlike the papers in this scope, this paper decouple resource...
全文获取路径: Elsevier  (合作)
分享到:
来源刊物:
影响因子:1.854 (2012)

×
关键词翻译
关键词翻译
  • modeling 制祝型
  • verification 检验
  • discovery 发现
  • computing 计算
  • formal 形式的
  • resource 资源
  • checking 检查
  • approach