Detecting Behavioral Mismatch of Web Services Based on Bounded Model Checking
Guangquan Zhang · 2012
Due to inconsistent of the interface type or interaction protocol,services can not be combined in the right way.Web services mismatch detection can accurately capture the mismatch points,which creates a foundation for realizing right interaction,avoid invalid composition.This paper presented a method for detecting mismatch of Web services based on Satisfiability Modulo Theories(SMT).The issue of detecting mismatch of Web services can be transformed into the problem of existence model checking that a deadlock is reachable or not between the interaction of the services,and the issue of existence model checking can be transformed into the problem that the logic formula is satisfiable or not.Finally,an example was given to explain the process of Web service mismatch detection.