志愿计算模型形式化方法
王宇+, 王志坚

Journal of Software, Vol.19, No.5, May 2008, pp.1125−1133

摘要:

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

关键词: 志愿计算;构件;形式方法

1 形式化描述初步

2 资源构件系统模型

志愿计算模型形式化方法.pdf