志愿计算模型形式化方法

• 作者: 王宇 王志坚
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 志愿计算 构件 形式方法
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: Internet环境下基于构件的软件理论与方法
• 页码范围: 1125-1133
• 页数: 9页
• 分类号: TP393
• 字数: 7023字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.01125

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王志坚	河海大学计算机信息及工程学院	212	2079	22.0	37.0
2	王宇	河海大学计算机信息及工程学院	42	139	7.0	9.0