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