基于SxSTS的会话类型Web服务匹配判定框架

SESSION TYPE WEB SERVICE MATCHING JUDGMENT FRAMEWORK BASED ON SxSTS

  • 摘要: 针对当前会话类型Web服务匹配模型信息不足的问题,提出蕴含多层次、多概念和多策略的Web服务匹配框架。该文构造涵盖语法、语义和行为协议的SxSTS模型,以完整准确地描述Web服务;定义包含强、弱、迹三种内部变迁处理策略和涵盖完全匹配、包含匹配、部分匹配和不匹配四种匹配标准的Web服务匹配框架;通过SxSTS同步积中有无死锁设计匹配判定算法,实现对匹配类型的自动判定。最后,通过实例验证该框架的有效性。

     

    Abstract: To address the problem of insufficient information in the current session type Web service matching model, this paper propose a Web service matching framework that embodies multi-level, multi-concept and multi-strategy. The SxSTS model covering syntactic, semantics and behavioral protocols was constructed to achieve a complete and accurate description of Web services. We defined a Web service matching framework that included three internal transition processing strategies of strong, weak, and trace and four matching criteria of exact match, inclusive match, partial match, and no match. The matching determination algorithm was designed with or without deadlock in the SxSTS synchronization product to achieve automatic determination of matching types. The effectiveness of the framework was verified by examples.

     

/

返回文章
返回