QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.

Sun Meng
DOI: https://doi.org/10.1109/tase.2007.37
2007-01-01
Abstract:Assuring quality of service (QoS) requirements is critical when assembling a service-oriented application (SOA) from a repository of existing services. This paper presents an approach for assuring satisfaction of QoS requirements in service-oriented systems.We investigate a calculus called QCCS, for representing both behaviour and QoS requirements in services. The notion of quantified bisimulation on services provide us a measure on the degree of equivalence of services based on costs. We introduce a quantified version of CTL and show how QoS properties of services can be specified in our framework.
What problem does this paper attempt to address?