loading...
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
Shanghai, China June 06-June 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2007.37First Joint IEEE/IFIP Symposium on Th ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Sun Meng, "QCCS: A Formal Model to Enforce QoS Requirements in Service Composition," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 389-400, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2007.37,
author = {Sun Meng},
title = {QCCS: A Formal Model to Enforce QoS Requirements in Service Composition},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2856-2},
pages = {389-400},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.37},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
SN - 0-7695-2856-2
SP389
EP400
A1 - Sun Meng,
PY - 2007
KW - Quality of Service
KW - Q-algebra
KW - QCCS
KW - Quantified Bisimulation
KW - QCTL
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
Sun Meng, CWI, Kruislaan 413, Amsterdam, The Netherlands
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.
Index Terms:
Quality of Service, Q-algebra, QCCS, Quantified Bisimulation, QCTL
Citation:
Sun Meng, "QCCS: A Formal Model to Enforce QoS Requirements in Service Composition," tase, pp.389-400, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.