Checking Temporal Service Level Agreements for Web Service Compositions with Temporal Parameters

摘要

Temporal Service Level Agreements are an important quality criterion for the offering of composed web services. The formulation of temporal requirements of a service might involve parameters passed to the service. We propose a technique enabling service providers to check whether they can guarantee a temporal service level agreement (SLA) requested by a client. This techniques is based on analyzing the controllability of service compositions with temporal parameters taking into account range constraints on these parameters as specified in a temporal SLA.