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

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

作　　者：郑剑[1,2] 江建慧[1] 

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]江西理工大学信息工程学院,江西赣州341000

出　　处：《计算机集成制造系统》2011年第12期2743-2751,共9页Computer Integrated Manufacturing Systems

基　　金：国家863计划资助项目(2007AA01Z142);江西省自然科学基金资助项目(2009GZS0043);江西省教育厅科学技术研究项目(GJJ09247);江西省教育厅青年科学技术研究项目(GJJ09522)~~

摘　　要：目前,对于精确地确认失配类型,特别是如何区分未指定接收的失配和死锁的研究工作还较为缺乏。针对该问题,采用标签转换系统对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.

关 键 词：WEB服务 失配类型 可比较路径 服务适配 行为相容 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]