基于标签转换系统的Web服务行为失配类型的判定方法

Labeled transition system based decision method for Web service behavior mismatch type

目前,对于精确地确认失配类型,特别是如何区分未指定接收的失配和死锁的研究工作还较为缺乏。针对该问题,采用标签转换系统对Web服务的行为协议进行描述,并提出了一种基于该描述的失配类型判定方法,该方法不仅能识别常见的失配类型,而且还能借助对组合的可比较路径的判断区分未指定接收的失配和死锁。在服务交互过程中的典型应用表明,该方法对于服务失配类型的正确确认和服务的正确适配具有重要作用。

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.