基于逻辑推理与Petri网的Web服务自动组合.pdfVIP

NCSC 第一届全国服务计算学术会议IccF 20to)论文集 基于逻辑推理和Petri网的Web服务自动组合木 汤宪飞。2+，蒋昌俊’，2，丁志军1,2，王鹏伟n 1(同济大学计算机科学与技术系，上海201804) 2(同济大学嵌入式系统与服务计算教育部重点实验室，上海201804) Email：Xianfei．tang@gmail．com 摘要：本文提出了一种基于逻辑推理和Petri网的Web服务自动组合方法．该方法使用命题逻辑规则作为语叉 Web服务的内在表示模型，通过把服务及服务接口概念之间的语叉关系表示为一组命题逻辑规则．把用户提供的 输入和要求的输出分别表示为事实和目标命题，从而将服务自动组合问题转化为命题逻辑推理问题．基于逻辑推 理的算法可以在规则库大小的线性时间内有效判断是否存在满足用户功能要求的合成服务，并同时选出那些组合 中可能会用到的规则：进而使用Petri网为选出的规则集建模，利用其结构分析方法来有效获取及验证合成服务 的流程． 关键词： Web服务：Web服务组合；逻辑推理；Petri网 已经对此问题进行了很多的研究，并取得了不 1引言 少成果，如摹于人T智能规划(AI规划)方法 的12曲1、基于形式化方法的(如Petri网127-91) Web服务是自包含，自描述和模块化的应 和基于图或树搜索的110-121等服务自动组合方 用程序，町以通过基于XML的开放标准，如 法。卜．面给出了一些组合方法的简要介绍。 Narayananpl使用‘组情景演算公理来定 SOAP、WSDL和UDDl等，在网上发布、查 义DAML．S的语义，使用Petri网来提供情景 找和访问。Web服务使得组织可以通过Intemet 来共享数据、软件和硬件资源，正在成为一个 演算公式的操作语义，合成服务的存在足通过 崭新的分布式计算模型和一种新兴的互联网 Pe讲网的可达性分析来确定的。但是，Petri 应用模式，引起了学术界和工业界极大的研究 网的可达性分析常常遭遇状态空问爆炸问题， 兴趣。 特别是对于一个规模较大的网络。 在Web服务的相关研究中，Web服务发 Ponnekantipl采J{J实体．关系模型来规范 现和组合一直是研究的两大热剧¨。W曲服务 Web服务，将一个Web服务表示为’4条谓词 发现集中于怎样找到一个满足用户请求的可 逻辑规则，合成服务可以通过基于规则的专家 用服务。而Web服务合成则关心当没有可用服 系统生成。但是该方法缺乏对服务的语义描 务可以满足用户请求的时候，怎样通过组合多 述，并且没有考虑服务参数的潜在语义冲突 个服务来得到一个满足用户请求的合成服务。 等。 为了提高服务的可霞J}J性，分散和简化应 基于层次任务网络(HTN)的W曲服务 用逻辑，单个Web服务一般都不会做得太复杂 组合方法将Jf】户任务分解成越来越小的子任 p1．每个服务所提供的功能一般都比较简单。 务，一直循环这个过程，直到分解后的任务能 要满足复杂的服务请求及实现具体的复杂应 被单个服务执行的简单任务为止。SirinHI使用 用，就必须要实现多个服务的交互协作。服务 HTN表示模板，将OWL．SWeb服务描述编码 组合可以集成现有的简译服务，快速而义灵活 为一个SHOP2(一个HTN规划器)规划问题， 地构建功能强大的新应用，对于网络资源的鼋 利用SHOP2规划器自动生成一个合成服务。 用和协同具有晕要意义。