Sciweavers

Share
CCGRID
2008
IEEE

Formal Verification of a Grid Resource Allocation Protocol

9 years 2 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In addition, the concept of selling computational power on a market is not established. On the other hand, the lack of billing capabilities hinders the commercial adoption. In this paper, we present our resource allocation protocol that suits the needs of commercial solution providers. We have developed an auction-based resource broker which uses a distributed agent infrastructure to communicate the user's requirements to resource providers and monetary prices back. The protocol has been formally verified and guarantees certain properties - for example, we can guarantee that the right stakeholder is billed for a job.
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CCGRID
Authors Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz
Comments (0)
books