基于有界限模型检验的服务建模与自动组合

作     者：李艳 刘金江 LI Yan;LIU Jin-jiang

作者机构：山东理工大学计算机科学与技术学院山东淄博255049 南阳师范学院计算机与信息技术学院河南南阳473061 

基　　金：河南省科技厅科技攻关基金项目(102102210483 102102210465) 河南省重大科技攻关基金项目(092102110274) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2011年第32卷第12期

页      码：4079-4082页

摘      要：针对面向服务架构(SOA)体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法。其中,Web服务被建模为有限状态自动机,众多Web服务构成服务社区,Web服务组合需求由线性时态逻辑公式描述,通过有界模型检验器的系统化搜索,该方法能够从服务社区中自动地构建满足需求的Web服务组合。实验结果表明,该方法能够适应较大规模的Web服务组合场景。

主 题 词：有界模型检验 Web服务组合 线性时态逻辑 服务社区 有限状态自动机 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2011.12.080

馆 藏 号：203142602...