志愿计算模型形式化方法

摘要：

旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型和方法.对系统中的基本元素和交互关系进行了形式化的描述,并通过集合理论和操作规约,又以志愿计算平台XtremWeb为例,描述了构件化的志愿计算形式模型和方法,为系统地研究志愿计算形式化理论打下了基础.

关键词：志愿计算、构件、形式方法

所属期刊栏目：19

分类号：TP393(计算技术、计算机技术)

资助基金：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

在线出版日期：2008-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1125-1133