A QoS View ofWeb Service Choreography

Abstract

Web service choreography describes the common and collaborative observable behavior of multiple services that interact with each other. Integrating QoS into choreography is valuable for designing and analyzing a choreography specification. In this paper, a formal model of web service choreography which incorporates QoS information such as time and cost is proposed. A formal trace semantics for the model is also given, together with several QoS estimation methods.