Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal verification of a grid resource allocation protocol

 
: Dalheimer, M.; Pfreundt, F.-J.; Merz, P.

:

Institute of Electrical and Electronics Engineers -IEEE-:
8th IEEE International Symposium on Cluster Computing and the Grid, CCGRID 2008 : Lyon, France, 19 - 22 May 2008
New York, NY: IEEE, 2008
ISBN: 978-0-7695-3156-4
pp.332-339
International Symposium on Cluster Computing and the Grid (CCGRID) <8, 2008, Lyon>
English
Conference Paper
Fraunhofer ITWM ()

Abstract
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.

: http://publica.fraunhofer.de/documents/N-111473.html