基于模糊Petri网的语义Web服务组合.pdfVIP

基于模糊Petri网的语义W曲服务组合 吴亮 袁兆山 合肥工业大学， 安徽合肥230009 摘要：web服务组合作为一种崭新的分布式计算模型，是web服务集成的有效机制。本文借助基于 接口匹配的服务组合思想，将语义w曲服务抽象成由输入和输出组成的实体，分析了各种服务依赖关系， 建立基于模糊推理Pe仃i网的服务依赖图。然后通过推理算法从服务依赖图中提取出web服务组合模型， 实现了w．eb服务的自动组合。 关键词：模糊Petri网语义w曲服务依赖图 1引 言 Web服务组合是将多个W曲服务按照一定的逻辑顺序组织起来构成新功能更丰富的面向服务的w曲 软件。语义W曲是以计算机可理解性和可处理性为目标，在W曲服务中加入语义的支持，以服务为向导， 进行带有语义的服务描述和推理，从『面达到服务的自动发现和组合Ilj。目前，语义W曲服务组合已经成为 W曲服务领域研究的一个热点。 Petri网是一种基于图的形式化描述模型，用于分析离散的并发系统。经过多年的发展，它不仅便于描 述系统中进程或部件的顺序、并发、冲突以及同步等关系，而且可以对系统做定性与定量的分析，在许多 领域得到广泛的应用。Petri网作为一种从过程的角度出发描述和分析复杂系统的建模工具，具有形式语义 定义、图形直观表达、数学图论支持等优点，可以很好的描述W曲服务的组合模型。模糊Petri网是在Petri 基础上发展来的，它是基于模糊产生式规则的知识表示描述模型， 它结合了Petri网的图形描述能力，使 得知识的表示简单清晰而又保持规则之间的结构化特性，并且具有模糊推理能力，便于知识的分析、推理。 现有研究中大多局限于用原型Petri网描述W曲服务及其组合的控制流，而针对语义W曲服务及其组 服务发布阶段建立基于模糊Petri网的服务依赖图，在此基础上根据推理方法从中提取出w曲服务的组合 模型。 2语义W-eb服务组合模糊Petri网模型 W曲服务动态组合需要一个好的流程模型，否则无法进行下去。Petri网技术是一种既可以进行结构建 模，又可以进行广泛定性和定量分析的建模方法。而模糊Pe仃i网具有模糊推理能力，便于知识的分析和推 理。用模糊Petri网对语义w曲服务的组合进行形式化描述，便于服务组合图的自动生成。文献[2】对模糊 Petri网进行了全面的分析和形式化的定义，我们将它与语义Web服务相结合，给出语义W曲服务组合的 模糊Pe仃i网形式化定义如下： 定义1 语义w曲服务组合模糊Pe仃i网的基本模型表达式为 WFPN=(P，T，I，o，p，r)其中： (1)P={Pl，P2，…，Pn)为库所的有穷集合，每个库所表示一个web服务； (2)T={Tl，T2，…，Tn}为Ij丁能性变迁的有穷集合，表示web服务依赖关系的实现； (3)I是定义在P×T上的一个带标识的模糊关系，表示W|eb服务与所连接的W曲服务的接口匹配度o， 满足OoSl； (4)O是定义在T×P上的一个带标识的模糊关系，表示被连接w曲服务的可信度t，满足Oq51； (5)p是定义在变迁集合T上的一个取值于【O，1】中实数的函数，表示变迁的触发阀值，用来控制调 用W曲服务可信度T的最小值； (6)r是定义在变迁集合T上的一个取值于【0，l】中实数的函数，表示变迁的状态转移函数，用来表示 W曲服务务依赖关系的可信度。 该服务的输入集合，oi为该服务的输出集合。文献【3】详细描述了接口匹配的方法，本文借助其接口匹配的 思想进行匹配并假设匹配度都是大于服务需求最低匹配的。 根据模糊产生式规则及web服务组合模糊Petri网模型，我们可以给出w曲服务前驱、后继关系的模 糊产生式规则和模糊Pe仃i网描述。 WSi_WSj：对于两个Web服务WSi(Ii，Oi)和WSj(Ij，Oj)，如果oi2Ij，当且仅当具备WSi就 述为图l。 WSl wsj wsj T