Coverage-Based Testing for Service Level Agreements

Service-Level Agreements for Service-Oriented Computing

Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quali...

RiPROSA Risk-based Decisions for Process-Oriented Service Level Agreements

Reputation-Based Service Level Agreements for Web Services

Most web services need to be contracted through service level agreements that typically specify a certain quality of service (QoS) in return for a certain price. We propose a new form of service level agreement where the price is determined by the QoS actually delivered. We show that such agreements make it optimal for the service provider to deliver the service at the promised quality. To allo...

Service level agreements for DiffServ-based services' provisioning

The evolution of mechanisms for providing Quality-of-Service (QoS) over the contemporary network infrastructures has introduced the need for regulation and management of the emerging QoS services with the use of Service Level Agreements (SLAs). SLAs define the qualitative and quantitative characteristics of the services provided from a network provider to peering networks or customers. In this ...

Sampling Schemes for Validating Service Level Agreements

* Fraunhofer FOKUS, Berlin, Germany + Swinburne University of Technology, Melbourne, Australia Abstract-Service Level Agreements (SLAs) specify the network Quality of Service (QoS) that providers are expected to deliver. Providers have to verify if the actual quality of the network traffic complies with the SLA. Ideally this should be done without introducing significant additional network load...