A framework to guarantee time-bounded composed services