志愿计算模型形式化方法

被引：7

作者：

王宇

王志坚

机构：

[1] 河海大学计算机信息及工程学院

[2] 河海大学计算机信息及工程学院江苏南京

来源：

软件学报 | 2008年 / 05期

关键词：

志愿计算; 构件; 形式方法;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：1125 / 1133

页数：9

共 6 条

[1] 移动组件系统模型的分析与描述 [J].

魏峻 ;

周桓 .

软件学报, 2001, (01) :56-64

[2] Behavioral theory for mobile ambients [J].

Merro, M ;

Nardelli, FZ .

JOURNAL OF THE ACM, 2005, 52 (06) :961-1023

[3]

WebCom: A Web Based Volunteer Computer[J] . John P. Morrison,James J. Kennedy,David A. Power.The Journal of Supercomputing . 2001 (1)

[4]

Bayanihan: building and studying web-based volunteer computing systems using Java[J] . Luis F.G. Sarmenta,Satoshi Hirano.Future Generation Computer Systems . 1999 (5)

[5] THE TEMPORAL LOGIC OF ACTIONS [J].

LAMPORT, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03) :872-923

[6]

Volunteer availability based fault tolerant scheduling mechanism in desktop grid computing environment .2 Choi SJ,Baik MS. Proc.of the 3rd IEEE Int‘l Symp.on Network Computing and Applications . 2004

← 1 →