As the world of Web services is dynamic and heterogeneous, a requester often needs to invoke an unfamiliar Web service at run time. However, current Web services technology pays little attention to this issue. In this paper, we propose a requester-based mediation framework for a requester to dynamically invoke Web services. The framework can increase the… (More)
Web services provision is the process of assigning particular services to the constituent tasks of business processes. It describes a promising scenario where services are dynamically chosen and invoked in a business process according to their functional and non-functional capabilities. It also introduces many challenging problems and has received much… (More)
Web services can be described as local autonomous routines communicating with each other through message exchange. Hence a good understanding of the messages defined in each Web service is crucial to enabling automatic composition. This paper presents a semantic specification framework for analyzing the functional composability of autonomous Web services.… (More)
Web services technologies promise to create new business applications by composing existing services and to publish these applications as services for further composition. The business logic of applications is described by abstract processes consisting of tasks which specify the required functionality. Web services provision refers to assigning concrete Web… (More)
In this paper, we characterize the problem of how to synthesize a reliable service mediator that can guarantee reliable interaction of the mediated Web services. We first present formal models of reliable protocols for Web services and service mediators. Then, we introduce an algorithm for synthesizing reliable service mediators.