A scalable and highly available brokering service for SLA-based composite services