基于有界模型检验的Web服务组合
随着SOA在众多应用领域中得到认同以及可用的Web服务数量的快速增长，如何有效地组合Web服务来满足用户需求成为一个备受关注的问题。本文提出一种基于有界模型检验的Web服务组合方法．其中，Web服务被建模为有限状态自动机，众多Web服务构成服务社区，Web服务组合需求由线性时态逻辑公式描述，通过有界模型检验器的系统化搜索，该方法能够从服务社区中自动地构建满足需求的Web服务组合．实验表明，该方法能够适应较大规模的Web服务组合场景．
有界模型检验 Web服务组合 线性时态逻辑
方志 廖乐健 陈若愚
北京理工大学 计算机学院，北京市 100081
国内会议
哈尔滨
中文
466-472
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）