基于流演算的Web服务自动组合方法
作者机构：山东大学计算机科学与技术学院济南250101 人力资源和社会保障部信息中心北京100716 威海职业学院工业技术系山东威海264210
基 金：国家科技支撑计划项目(2009BAH44B01)资助 国家自然科学基金项目(90818001 61003253)资助 山东省自然科学基金项目(ZR2010FQ010 ZR2010FM031)资助 山东大学自主创新基金项目(2009TS030)资助
出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)
年 卷 期：2013年第34卷第1期
页 码：83-89页
摘 要：近年来,基于语义的Web服务组合,尤其是Web服务的自动组合方法已成为服务计算领域的一个研究热点.实现了从一个OWL-S过程模型到流演算概念的映射,并给出了相应的转换算法.在此基础上,提出了一个新颖的、基于流演算形式化体系的Web服务自动组合方法.该方法采用前推推理机制对状态和动作进行推理,有效地克服了以传统的情景演算为代表的人工智能规划算法执行效率较低的问题.设计实现了一个实验性的原型系统,结合一个旅游行程规划的实例说明了本文提出的方法的有效性.对提出的BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)算法与基于情景演算的同类算法进行性能比较,实验结果表明该算法具有较好的性能.
主 题 词：语义Web服务 服务组合 流演算 OWL-S FLUX
学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类]
核心收录：
D O I：10.3969/j.issn.1000-1220.2013.01.015
馆 藏 号：203100394...
