首页> 中文期刊> 《计算机工程》 >一种基于定理证明的Web服务合成方法研究

一种基于定理证明的Web服务合成方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着Internet中Web服务的不断增长,如何通过对现存的服务进行合成,以满足用户的个性化需求,成为目前的研究热点.通过引入线性逻辑工具,提出了一种新的Web服务合成解决方案,通过定理证明形成对应的自动服务合成流程.示例证明了该方法的有效性.

著录项

来源
《计算机工程》 |2006年第20期|51-52|共2页
作者
余强; 梁丽;
展开▼
作者单位

西华大学数学与计算机科学技术学院;

成都;

610039;

西华大学数学与计算机科学技术学院;

成都;

610039;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
线性逻辑; Web服务合成; 定理证明;

相似文献

中文文献
外文文献
专利

1. 基于UML活动图的Web服务合成动态行为建模方法研究 [J] . 赵夏雷 . 计算机与数字工程 . 2010,第003期
2. 一种基于局部链接预测的Web服务质量稀疏性方法研究 [J] . 王加年 ,先晓兵 . 计算机应用研究 . 2015,第004期
3. 一种基于虚拟社交化的Web服务发现方法研究 [J] . 潘善亮 ,茅琴娇 ,韩露 . 电信科学 . 2013,第012期
4. 一种基于OWL-S领域本体的Web服务语义标注方法研究 [J] . 李建新 ,柯钢 ,杨怀德 . 现代计算机（专业版） . 2013,第003期
5. 一种改进的基于需求上下文的Web服务信任评估方法研究 [J] . 王玲玲 ,张为群 ,刘哲 . 计算机科学 . 2011,第003期
6. 一种Web服务动态合成模式的研究与实现 [C] . 袁兆山 ,高尚 ,李宏芒 . 全国第18届计算机技术与应用学术会议(CACIS) . 2007
7. 一种基于BPMN的Web服务组合方法研究 [A] . 房杰 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号