收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Semantic Web Services的自动化组合技术

叶力  
【摘要】: 本论文以Semantic Web Services(语义Web服务)的自动化组合技术为研究的中心,围绕这一主要问题,分3个部分分别分析与探讨了服务的语义、组合服务、以及自动化服务组合的方法。 本论文所有的研究,都是基于服务的语义进行的。“语义”是Semantic Web Services体系中最重要的一个部分。服务被解释成一种特殊的软件组件,提取其输入参数((?)nput)、输出参数((?)utput)、前置条件((?)recondition)、执行效果((?)ffect)、以及执行功能(IO-(?)inculum)这5个要素,即(I,O,P,E,V),给出了服务作为一个整体的语义定义。以此语义定义为基础,分析了服务语义之间的关联关系,给出了“服务语义匹配”的严格的形式化定义。 对服务组合演算的产物——组合服务,做了深入的分析。组合服务是一种服务执行流程,以π-Calculus为形式化描述工具,分别以数据流模型(DFM)和中心控制点模型(CCM)为视点,定义了两种表达形式。定义了基于DFM表述形式的组合服务语义积分算法(SCA),用于从组件服务的语义以及组合模型来获取组合服务的语义,这是服务验证的基础。定义了基于CCM表述形式的BPEL脚本生成规则(CCM2BPEL),用于获取可发布执行的组合服务最终形式。给出了从DFM模型到CCM模型的映射算法(DFM2CCM)。 以“证明与程序的等价理论(Proof as Programs)”为依据,以“基于推理的程序生成技术(Deductive Program Synthesis)”为原型,给出了实现自动化服务组合的技术解决方案——基于逻辑定理证明的自动化服务组合技术。依照一个逻辑公式转换模板,把服务的语义(I,O,P,E,V)映射成一个一阶谓词逻辑(First-Order Logic,FOL)定理,以已有服务作为已知定理,目标服务作为待证明定理。从OWL本体库以及背景知识库中导入相关的外部语义知识,以弥合已知定理之间的语义缝隙。应用自动化定理证明引擎(Automatic Theorem Prover,ATP),获取证明结果,提取证明路径。最后利用CSEA算法,从证明路径中提取目标服务的实现体(基于DFM模型),从而构建了完整的从需求到最终结果的技术路径(Problem→Proof→DFM→CCM→BPEL)。这种“从证明到程序”的方法,保证了所得组合结果的完备性与正确性。 通过一个完整的应用示例,对论文中的各个关键步骤进行了具体的说明与演示。实现了一个原型系统,用于对整套方法进行初步的可行性验证。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张祥;石广田;;基于聚类优化的支持QOS语义web服务发现框架研究[J];硅谷;2011年17期
2 陈鑫铭;熊曙初;;基于SOA的虚拟研发组织协同管理平台设计[J];软件导刊;2011年08期
3 司华友;倪宇林;陈钟;郁莲;;对等模式下语义Web服务发布与发现技术综述[J];计算机科学;2011年07期
4 艾丹祥;左晖;杨君;;基于语义Web服务的电子商务供应链管理系统框架设计[J];物流科技;2011年07期
5 王广正;;基于QoS的语义Web服务组合优化算法[J];微电子学与计算机;2011年07期
6 刘昌明;卢建云;李林;;基于QoS本体的语义Web服务选择算法[J];西南师范大学学报(自然科学版);2011年04期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 伍伟;李兵;曾诚;;基于本体的语义Web服务注册平台研究[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
2 蓝乾艺;覃海生;;语义网格在技术渗透和融合中发展[A];广西计算机学会2006年年会论文集[C];2006年
3 王文博;李晓峰;;基于语义的智能电信业务系统的研究与实现[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
4 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
5 夏虹;李增智;陈彦萍;;基于概念格的语义Web服务匹配研究[A];2006年全国通信软件学术会议论文集[C];2006年
6 颜波;桂寿平;黄必清;;基于互联网物流商务过程的建模与优化方法研究[A];第25届中国控制会议论文集(下册)[C];2006年
7 宋庭新;熊健民;刘幺和;;基于语义Web服务的供应链协同与集成技术研究[A];2006年湖北省博士论坛——先进制造技术与制造装备论文集[C];2006年
8 项高友;黄志球;;基于SAT的语义Web服务发现[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
9 许国艳;王志坚;李晓芳;;基于语义Web服务的发布/订阅模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(下册)[C];2009年
10 许鹏波;鱼滨;;基于P2P环境的语义Web服务发现模型[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
中国博士学位论文全文数据库 前10条
1 叶力;Semantic Web Services的自动化组合技术[D];北京邮电大学;2008年
2 陈丁剑;基于语义的Web服务发现和组合技术研究[D];西北工业大学;2007年
3 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
4 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年
5 刘勇军;基于语义Web服务的供应链知识协同模式研究[D];武汉理工大学;2006年
6 李勇;分布式Web服务发现机制研究[D];北京邮电大学;2008年
7 徐萌;基于服务关系的服务组合相关技术研究[D];北京邮电大学;2007年
8 江志雄;基于动态语义的Web服务描述[D];复旦大学;2008年
9 李祯;混合QoS模型感知的语义Web服务组合决策算法研究[D];北京邮电大学;2008年
10 乔秀全;模型驱动的业务生成方法及业务智能化支撑技术研究[D];北京邮电大学;2007年
中国硕士学位论文全文数据库 前10条
1 秦雪杰;基于语义Web服务的业务过程集成研究与应用[D];河海大学;2006年
2 王长霞;语义Web服务中的领域本体半自动构建研究[D];大连海事大学;2009年
3 钱斌;语义Web服务的自动调用[D];山东大学;2005年
4 陈伟;语义Web服务的关键技术研究[D];西北工业大学;2006年
5 荆利强;电子商务中服务信息的发现与集成[D];同济大学;2006年
6 高志升;基于多Agent的语义Web服务自动组合方法的研究[D];西华大学;2006年
7 赵娟;本体在Web服务发现中的应用[D];西北大学;2006年
8 严娜;基于上下文的语义Web服务发现框架及其应用[D];大连海事大学;2009年
9 王华刚;基于语义网技术的Web服务研究[D];武汉大学;2005年
10 牟欣涛;基于语义的WEB服务组合框架的研究[D];中国海洋大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978