原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Nb．4
第37卷第4期 同济大学学报(自然科学版) v01．37
2009年4月 埘眼NAI．0F咖II㈣SI订(脒rURAL
文章编号：0253—374X(2009)04一0540—05
一种基于分块推理的语义Web服务合成方法
刘 磊1，2
(1．同济大学计算机科学与技术系。上海201804，2．德州学院计算机系t山东德州253023)
摘要：将分块推理方法扩展到命题逻辑和描述逻辑的混合逻 随着越来越多的公司和组织利用Internet来发
辑上，得出一种新的web服务合成方法．该方法可以方便地布他们的商业服务，能够有效选择和合成这些web
在UDDI(蚰ive嘲ldescripti叽，血∞ve盯andintegmtion)之
上的服务成了一个比较重要的需求．
间的web服务之上进行合成，并有效结合了语义推理机，提 虽然很多为了能方便使用、陀b服务的语言和平
高了算法的效率．为了把证明转化为可执行的过程，给出一 台被作为标准提出，例如皿DI，web服务描述语言
种基于兀演算的提取过程模型的方法，并为方便地利用语义
(Ⅵreb鸵而cedescription
推理机的语义关系，定义了一种伪过程以便统一地处理这种
(simpleobiect
情况．
agentlTlarkup
关键词：web服务合成；语义推理，分块推理；消息传递务合成却不是一个简单的问题．对用户来说，能自动
算法 合成是比较方便的；由于web服务数量多，所以合成
中图分类号：TPl82 文献标识码：A
算法的效率是很重要的．
文献[1]给出了一种半自动的web服务合成方
MethodofWebService
ANew Compositi∞
法．给定一个目标服务，将所有能与此目标输出匹配
Patition-b嬲ed
Basedon R魄s蚰ing 的服务以表的方式列出给用户，由用户选择一个服
务，然后再将所有能与这个服务输入匹配的服务列
UU崩1·2
出，直到找到一组(或者一个)服务的输入与目标服
of
(1．De：par呦tcompll6盯Sciell舱andTe曲∞Iogy．1钿西i
201804·alilla；2．Depart嗍tof 务的输入相同．
Ullive塔it)r，slIangIlai ccm椰ter
文献[2]给出了一种利用线性逻辑推理的web
ScieI雠andTf曲∞Iogy，De曲伽Ullive娼ity．DE：zh加253023，ClliI蛆)
服务合成方法，其逻辑证明是基于传统定理证明的
a雠廿Iodof (算法效率比较低)，并且这个方法需要在一个大的
Ahst眦t：Pad廿0n．based嘲湖啦(PBR)is
r∞∞lling丽tIIpartitio璐of把Iated19西=al弘ioms．A艟w理论中进行推理
文档评论（0）