Computing Ranges for Temporal Parameter...

Temporal Service Level Agreements (SLAs) are a distinguishing characteristics for offered (composed) services: the weaker the restrictions, the broader the ranges of input parameters, the wider the applicability of an offered service. We propose a technique for the providers of composed services with temporal parameters to compute the broadest ranges for the temporal input parameters such that all service invocations where the parameters are within these ranges are dynamically controllable, i.e. that the adherence to temporal constraints can be guaranteed.