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