关键词: Web服务, 失配类型, 可比较路径, 服务适配, 行为相容

Abstract: 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.

Key words: Web service, mismatch types, comparable path, service adaptation, behavioral compatible