志愿计算模型形式化方法-CiteSeerX.PDF

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.19, No.5, May 2008, pp.1125− 1133 DOI: 10.3724/SP.J.1001.2008.01125 Tel/Fax: +86-10 © 2008 by Journal of Software . All rights reserved. ∗ 志愿计算模型形式化方法 + 王 宇 , 王志坚 (河海大学 计算机信息及工程学院,江苏 南京 210098) Formal Models and Methods on Volunteer Computing + WANG Yu , WANG Zhi-Jian (College of Computer and Information Engineering, Hohai University, Nanjing 210098, China) + Corresponding author: E-mail: won9805@ Wang Y, Wang ZJ. Formal models and methods on volunteer computing. Journal of Software, 2008,19(5): 1125−1133. /1000-9825/19/1125.htm Abstract : This paper aims at revealing the essence of volunteer computing from the point of view of formal abstraction. At first, three elements of volunteer computing are analyzed and outlined. It included some concepts of component and computing resource in volunteer computing. One formal model and method concerning volunteers are introduced. Resource roles such as the basic elements of systems are identified in the abstract model, and modeling volunteer systems by basic elements. Relationships among elements and relationship changes are also characterized, based on set theory and operational reduction rules. And take XtremWeb as an example. These elements and relationships are specified in a formal manner. All of the results can help to build a firm foundation for research of formalisms for volunteer computing. Key words: volunteer computing; component; formal method 摘 要: 旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台