基于模型检测技术的语义Web服务自动组合

发布时间：2018-03-02 01:13

  本文关键词： 人工智能 语义Web服务 服务组合 模型检测　出处：《吉林大学学报(工学版)》2013年02期 　论文类型：期刊论文

【摘要】：提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。
[Abstract]:An automatic composition method of Web services based on OWL-S and model checking technology is proposed. The model of semantic Web services is built by time automata, which can describe the semantic information of interface and process interaction. And it can express the needs of composite users. Using the corresponding model checking tools, it can realize efficient automatic combination. The simulation results show that this method can effectively improve the efficiency and quality of service composition. At the same time, it has significant advantages in the representation and maintenance of state space.
【作者单位】： 贵州大学计算机科学与信息学院;
【基金】：国家自然科学基金项目(60863005,61262006) 贵州省科学技术基金项目(黔科合J字[2012]2125号) 贵州大学引进人才科研项目(201114)
【分类号】：TP393.09

【共引文献】

相关期刊论文 前1条

1 邓水光;吴健;李莹;吴朝晖;;基于回溯树的Web服务自动组合[J];软件学报;2007年08期

相关博士学位论文 前5条

1 刘家茂;Web services动态合成及UDDI注册/查询技术的研究[D];复旦大学;2005年

2 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年

3 刘勇军;基于语义Web服务的供应链知识协同模式研究[D];武汉理工大学;2006年

4 黎英;面向铁路信息共享的语义web服务合成技术及方法研究[D];北京交通大学;2008年

5 周竹荣;基于语义的教学网格门户研究[D];西南大学;2008年

【相似文献】

相关期刊论文 前10条

1 崔华;应时;袁文杰;胡罗凯;;语义Web服务组合综述[J];计算机科学;2010年05期

2 沈记全,郑雪峰,涂序彦;基于广义人工生命的信息网格管理模型研究[J];计算机应用;2005年12期

3 鲁静;熊思;;Agent技术在入侵检测系统中的应用[J];湖北第二师范学院学报;2009年02期

4 好人难做;;让我猜猜你在想什么[J];电脑知识与技术(经验技巧);2009年12期

5 邢小东;侯飞;李千路;;人工免疫算法在入侵检测中的应用[J];微计算机信息;2010年27期

6 郭学俊;秦雪杰;杜春;;基于语义Web服务的业务过程集成的研究及实现[J];计算机技术与发展;2006年02期

7 冯名正;;Web服务组合研究综述[J];计算机应用与软件;2007年02期

8 高巾;姜赢;郭立帆;;语义Web服务异构性解决方法——WSMO中介器深入探讨[J];现代图书情报技术;2007年06期

9 冯栋柱;;基于神经网络的语义Web服务发现机制[J];电脑知识与技术;2008年36期

10 吴善明;沈建京;韩强;;基于领域本体和OWL-S的Web服务组合方法[J];计算机工程;2009年21期

相关会议论文 前10条

1 张强;;以校园网为平台充分发挥计算机作为知识载体的作用[A];教育技术：信息化阶段新发展的研究[C];2007年

2 龚成清;;基于人工智能的Linux网络入侵检测系统的设计[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

3 苏金泷;欧阳钟辉;;大信息平台智能入侵检测系统应用研究[A];中国信息经济学会2007年学术年会论文集[C];2007年

4 邓蔚;秦志光;;基于Kolmogorov复杂性的垃圾信息过滤研究综述[A];中国电子学会第十七届信息论学术年会论文集[C];2010年

5 蓝乾艺;覃海生;;语义网格在技术渗透和融合中发展[A];广西计算机学会2006年年会论文集[C];2006年

6 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年

7 夏虹;李增智;陈彦萍;;基于概念格的语义Web服务匹配研究[A];2006年全国通信软件学术会议论文集[C];2006年

8 宋庭新;熊健民;刘幺和;;基于语义Web服务的供应链协同与集成技术研究[A];2006年湖北省博士论坛——先进制造技术与制造装备论文集[C];2006年

9 项高友;黄志球;;基于SAT的语义Web服务发现[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

10 许鹏波;鱼滨;;基于P2P环境的语义Web服务发现模型[A];2006年全国开放式分布与并行计算学术会议论文集（一）[C];2006年

相关重要报纸文章 前10条

1 ;人工智能分辨垃圾邮件[N];网络世界;2003年

2 本报记者 于扬;赋“交换机”予“人工智能”[N];网络世界;2002年

3 ;港湾“人工智能”网络[N];网络世界;2002年

4 记者 萧阳;邮件丢信频发生 邮箱服务商出招应对[N];计算机世界;2007年

5 内蒙古建设银行包头分行 薛志强;体会宽度优先搜索[N];网络世界;2002年

6 中国科学院计算技术研究所 万长林邋史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年

7 李瀛寰;安全更需要智能[N];中国计算机报;2007年

8 王伟 张征 潘丽 赵丽丽;入侵检测的智能应用[N];计算机世界;2006年

9 港湾网络公司供稿;构建智慧型网络[N];计算机世界;2002年

10 彭岩 鄢琦;网络信息“推送”技术[N];计算机世界;2001年

相关博士学位论文 前10条

1 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

2 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年

3 叶力;Semantic Web Services的自动化组合技术[D];北京邮电大学;2008年

4 李勇;分布式Web服务发现机制研究[D];北京邮电大学;2008年

5 陈丁剑;基于语义的Web服务发现和组合技术研究[D];西北工业大学;2007年

6 许炜;Web服务事务管理关键技术研究[D];华中科技大学;2008年

7 徐萌;基于服务关系的服务组合相关技术研究[D];北京邮电大学;2007年

8 江志雄;基于动态语义的Web服务描述[D];复旦大学;2008年

9 李祯;混合QoS模型感知的语义Web服务组合决策算法研究[D];北京邮电大学;2008年

10 刘栋;上下文感知计算技术研究及其在语义Web服务中的应用[D];北京邮电大学;2009年

相关硕士学位论文 前10条

1 赵娟;本体在Web服务发现中的应用[D];西北大学;2006年

2 秦雪杰;基于语义Web服务的业务过程集成研究与应用[D];河海大学;2006年

3 钱斌;语义Web服务的自动调用[D];山东大学;2005年

4 陈伟;语义Web服务的关键技术研究[D];西北工业大学;2006年

5 高志升;基于多Agent的语义Web服务自动组合方法的研究[D];西华大学;2006年

6 路阳;信息Agent适应性实现技术研究[D];大庆石油学院;2005年

7 严娜;基于上下文的语义Web服务发现框架及其应用[D];大连海事大学;2009年

8 王华刚;基于语义网技术的Web服务研究[D];武汉大学;2005年

9 牟欣涛;基于语义的WEB服务组合框架的研究[D];中国海洋大学;2008年

10 姚书怀;语义Web服务发现机制的研究[D];西华大学;2006年

，

本文编号：1554391