A non-functional property based service selection and service verification model

  • Authors:

  • Yu Bai;Yaoxue Zhang;Yuezhi Zhou;Laurence T. Yang

  • Affiliations:

  • Key Laboratory of Pervasive Computing, Ministry of Education, Department of Computer Science and Technology, Tsinghua University, Beijing, China;Key Laboratory of Pervasive Computing, Ministry of Education, Department of Computer Science and Technology, Tsinghua University, Beijing, China;Key Laboratory of Pervasive Computing, Ministry of Education, Department of Computer Science and Technology, Tsinghua University, Beijing, China;Department of Computer Science, St .Francis Xavier University, Antigonish, Canada

  • Venue:
  • UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

As the number of web services increases rapidly, there are two problems puzzling the customers. The first is how to get an optimal service from a set of functionally equivalent services, which mainly results from the absence of the description for non-functional properties. In this paper, we propose to add non-functional properties into WSDL, which can narrow down the scope of the service selection results according to individual preferences. The second problem is that, as customers' requirements are more complicated, several atomic services need to be composed together to satisfy their requirements. Due to the complex interactions, the process of service composition is error-prone and it may cause the system to crash. In this paper, we use Process Algebra-based Model Checking method to detect logical errors in order to guide the design of service composition. At last, an example is given to demonstrate the effectiveness of our methods.