Agent negotiation protocols in time-bounded service composition