主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王 宇,王志坚.志愿计算模型形式化方法.软件学报,2008,19(5):1125-1133
志愿计算模型形式化方法
Formal Models and Methods on Volunteer Computing
投稿时间:2007-06-10  修订日期:2007-10-15
DOI:
中文关键词:  志愿计算  构件  形式方法
英文关键词:volunteer computing  component  formal method
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60573098 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z78 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2002CB312002 (国家重点基础研究发展计划(973))
作者单位
王 宇 河海大学 计算机信息及工程学院,江苏 南京 210098 
王志坚 河海大学 计算机信息及工程学院,江苏 南京 210098 
摘要点击次数: 5841
全文下载次数: 3833
中文摘要:
      旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型和方法.对系统中的基本元素和交互关系进行了形式化的描述,并通过集合理论和操作规约,又以志愿计算平台XtremWeb为例,描述了构件化的志愿计算形式模型和方法,为系统地研究志愿计算形式化理论打下了基础.
英文摘要:
      This paper aims at revealing the essence of volunteer computing from the point of view of formal abstraction. At first, three elements of volunteer computing are analyzed and outlined. It included some concepts of component and computing resource in volunteer computing. One formal model and method concerning volunteers are introduced. Resource roles such as the basic elements of systems are identified in the abstract model, and modeling volunteer systems by basic elements. Relationships among elements and relationship changes are also characterized, based on set theory and operational reduction rules. And take XtremWeb as an example. These elements and relationships are specified in a formal manner. All of the results can help to build a firm foundation for research of formalisms for volunteer computing.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利