Web Service Selection Method Based on Runtime Verification
Zhang Ya-hon · 2014
To verify the consistency between run-time behavior of Web service and user requirements,a Web service selection method based on runtime verification was proposed.In this paper,based on automata theory,Web service was verified at run time.And then three kinds of behavior matching relationships were presented.Based on the results of runtime verification,the Web services matching degree between run-time behavior of Web service and user requirements was quantified.Besides,the user preferences were considered based on AHP.The method can deal with Web service selection in terms of behavior matching degree and users' preferences,and the experimental results indicate that this method is reasonable.