Computing admissible temporal SLAs for Web service compositions

Web service compositions establish Temporal Service Level Agreements to have guarantees of temporal correctness. Temporal SLAs can be realized through the exchange of temporal parameters between service providers and clients. However, so far, it was not possible to compute a priori restrictions on the values for these parameters, such that the composition is dynamically controllable, i.e. free from time failures under any foreseeable circumstance. Here we provide a sound and complete method to compute restrictions for temporal parameters in a Web service composition with guarantees of dynamic controllability.