Formal Aspects of Grid Brokering