A Non-Functional Property Based Service Selection and Service Verification Model
Yu Bai,Yaoxue Zhang,Yuezhi Zhou,Laurence T. Yang
DOI: https://doi.org/10.1007/978-3-642-23641-9_20
2011-01-01
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.