基于SxSTS的会话类型Web服务匹配判定框架
来源：计算机应用与软件杂志2025年第8期北京时间：
作者：张驰, 金咏琪
摘要：针对当前会话类型Web服务匹配模型信息不足的问题，提出蕴含多层次、多概念和多策略的Web服务匹配框架。该文构造涵盖语法、语义和行为协议的SxSTS模型，以完整准确地描述Web服务；定义包含强、弱、迹三种内部变迁处理策略和涵盖完全匹配、包含匹配、部分匹配和不匹配四种匹配标准的Web服务匹配框架；通过SxSTS同步积中有无死锁设计匹配判定算法，实现对匹配类型的自动判定。最后，通过实例验证该框架的有效性。
关键词：会话类型Web服务, 匹配框架, SxSTS模型, 内部变迁处理策略
