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

Authors:
Sun Meng
Affiliations:
CWI, Kruislaan 413, Amsterdam, The Netherlands
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 5

Connector Rewriting with High-Level Replacement Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Services and Contracts: Coalgebraically

Electronic Notes in Theoretical Computer Science (ENTCS)
Design of A QoS-Aware Service Composition and Management System in Peer-to-Peer Network Aided by DEVS

DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata

Fundamenta Informaticae - Application of Concurrency to System Design
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata

Fundamenta Informaticae - Application of Concurrency to System Design

Quantified Score

Hi-index	0.00

Visualization

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.