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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sun Meng

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)

Shanghai, China

June 06-June 08

ISBN: 0-7695-2856-2

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2007.37

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.