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

Author

Meng, Sun

Author_Institution

CWI, Amsterdam

fYear

2007

fDate

6-8 June 2007

Firstpage

389

Lastpage

400

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.

Keywords

calculus of communicating systems; quality of service; software architecture; QCCS; QoS requirements; calculus; calculus of communication systems; quality of service; service composition; service-oriented application; service-oriented systems; Algebra; Calculus; Carbon capture and storage; Computer networks; Costs; Distributed computing; Logic; Quality of service; Service oriented architecture; Web services; Bisimulation; Q-algebra; QCCS; QCTL; Quality of Service; Quantified;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on

Conference_Location

Shanghai

Print_ISBN

978-0-7695-2856-4

Type

conf

DOI

10.1109/TASE.2007.37

Filename

4239982