基于Petri网的语义Web服务自动组合方法_第1页
基于Petri网的语义Web服务自动组合方法_第2页
基于Petri网的语义Web服务自动组合方法_第3页
基于Petri网的语义Web服务自动组合方法_第4页
基于Petri网的语义Web服务自动组合方法_第5页
已阅读5页，还剩1页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

基于Petri网的语义Web服务自动组合方法利用Web服务，开发人员可以进行应用程序的快速创建。而在Web服务数目逐渐增多的情况下，Web服务的组合就变得相对复杂。所以，有必要进行一种语义Web服务的自动组合方法的研究，从而解决Web服务组合困难的问题。因此，本文在利用Petri网的基础之上，对语义Web服务自动组合方法进行了研究，从而提出了一种算法来满足用户的请求的同时，进行用户行为的约束，进而为关注这一话题的人们提供一些参考。【关键词】Petri网语义Web服务自动组合方法由于Web服务具有松散耦合、语言重力和开放性等多种优势，所以利用Web服务可以进行平台异构和互操作等问题的解决。但是，为了保证服务的可用性，单个Web服务一般不会太复杂。所以，想要进行复杂应用的时间，就要使多个Web服务组合起来。而通过语义Web服务组合建模，可以使服务以Horn子句形规则表示，从而将合成服务问题转化成Horn子句推理问题来进行解决。1Petri网与语义Web服务1.1Petri网Petri网常常被当做工作流、Web服务等不确定的形式化模型，因为其具有良好的操作语义。而在Petri网的理论中，有效的结构分析法为T-不变量。而在进行服务组合相比时，利用此方法较有效。而所谓的Petri网，则可以利用一个五元式来表示，既。其中，P指的是库的有限集合，T为变迁有限集合，F则为弧的集合，Mo为初始标识，而W为弧的关联权函数。1.2语义Web服务所谓的语义Web服务，其实就是一个原子Web服务。从本质上来讲，其实Web服务是SAWSDL中的一个操作，可以利用四元组来表示。而该四元组为。其中，I指的是服务的输入参数的语义概念的集合，O指的是服务输出参数的语义概念的集合，BC指的是服务行为约束集合，而QoS则指的是服务质量参数集合。2基于Petri网的语义Web服务自动组合方法2.1组合建模进行语义Web服务的组合问题的解决时，可以利一组Horn子句形进行用户请求和Web服务的表示。而使用的Horn子句形规则为：利用一组命题Horn子句及其附属子句参数进行一个原子服务的表示。其中，可以将服务的输入/输出（I，O）以这样一条命题规则表示。而由于该服务的名字、行为约束和质量都是每条规则的附属参数，所以可以将这样的规则称之为服务规则。而按照标准的Horn子句形的规则来表714-716+723.[2]林跃东.语义Web服务组合关键技术研究及其在物联网中的应用[D].华南理工大学，2013.[3]吴洪越，杜玉越.一种基于逻辑Petri网的Web服务簇组合方法[J].计算机

人人文库> 全部分类> 教育资料 > 英语等级

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论