||
志愿计算模型形式化方法
王宇+, 王志坚
Journal of Software, Vol.19, No.5, May 2008, pp.1125−1133
摘要:
旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型和方法.对系统中的基本元素和交互关系进行了形式化的描述,并通过集合理论和操作规约,又以志愿计算平台XtremWeb为例,描述了构件化的志愿计算形式模型和方法,为系统地研究志愿计算形式化理论打下了基础.
关键词: 志愿计算;构件;形式方法
1 形式化描述初步
2 资源构件系统模型
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-10-19 21:45
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社