A Formal Method of Volunteer Computing

This paper aims to provide a formal abstraction of Volunteer computing system. At first, we identify three key roles of Volunteer resources. Then, a formal model and method concerning volunteers are introduced. We apply this model to describe Volunteer computing systems. Relationships among elements and relationship changes are also characterized, based on agent and components. All of the results can help to make a substantial foundation on the research of formalisms for Volunteer resource.