Labeled transition system based decision method for Web service behavior mismatch type
Jianhui Jiang · Computer Integrated Manufacturing Systems · 2011
Identifying various kinds of mismatch at interface and protocol levels was necessary for resolving mismatch between interactive Web services through adapter development.At present,how to identify mismatch types precisely,especially how to distinguish unspecified reception and deadlock were not studied in detail.Aiming at this peoblem,the labeled transition system was used to describe the behavioral protocol of Web services,and the mismatch type decision method based on above description was proposed.This method could not only identify common mismatch types,but also differentiated the unspecified receptive mismatch and deadlock through identifying the combinatorial comparable path.The typical application in the process of service interaction showed that the method played an important role in both determining mismatch types and adapting Web services.