基于petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述。该文在服务发现中引入Petri网,通过Petri网描述Web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petfi网的语义Web服务发现匹配。这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用。     

基于相似度特征的Web服务匹配算法

针对Web服务查找与匹配困难问题,提出一种基于Petri网和QOS计算的Web服务模糊匹配算法.构建OWL-S过程模型,依靠该模型中的控制流、状态转移与信息转换,将Web服务以Petri网的形式表示,利用节点、网络架构与变迁的语义标准计算Petri网相似度,获取Petri网参数的最优匹配子图,通过计算Petri网的输出...     

基于Petri网的语义Web服务流程一致性验证

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性。通过一个实际案例验证了该方法的正确性和有效性。     

基于语义距离度量模型的语义Web服务匹配排序机制

随着语义Web服务技术研究工作的不断深入,因特网上语义Web服务数量急剧增加。如何快速便捷地定位可用语义Web服务已经成为一个迫切且关键的问题。在语义Web服务匹配技术研究中,其中一个重要的研究主题就是语义Web服务匹配结果的排序机制。本文在综合概括和分析各种关于语义Web服务匹配结果排序机制的基础上,提出了一种基于语义距离度量模型的语义Web服务匹配结果排序机制,利用该排序机制,计算待匹配语义Web服务的语义相似度量,并依据此度量对语义Web服务匹配结果进行排序。该度量模型将语义Web服务引用概念间的语义关系转换成可精确比较的量化度量值,对属于相同语义匹配类型的匹配候选服务也能够分别计算语义距离,区分出相同匹配类型的候选服务与服务请求的匹配程度,从而达到改善用户对语义Web服务的搜索体验的目的。     

组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。     

语义标记Petri网的组合Web服务建模与验证(英文)

随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。     

BPMN 2.0过程模型的语义和分析

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。     

基于属性Petri网的语义网络知识表示

首先给出了基于定性映射的属性Petri网的形式定义和运行机制；其次给出了基于属性Petri网的语义网络知识表示模式，此模式适合干感觉特征抽取与整合，和基于该机制的各种思维功能的描述。     

基于语义的Web服务发现机制研究

针对基于加语义描述,构建一种基于语义的Web服务发现机制.将Web服务请求进行语义解析,生成请求服务文档,在服务注册库中通过服务匹配算法,得到候选服务集,并借助线形评价标准对所选服务进行语义评估,为服务请求者选择最优的服务.     

语义物联网中基于语义空间的语义协同方法研究

物联网是由许多的设备互连起来构成的一个巨大网络,如何实现物理世界中物的信息共享和协同工作是实现物联网的根本所在。与此同时,借助语义网的基石-本体,能够表达物的信息的概念及其概念间的关系,因此,将语义网与物联网结合起来形成的语义物联网是实现物联网的有效手段。针对语义物联网中的语义协同方法,提出将网络物理社会和智慧物联网相结合,以机器空间、物理空间、社会空间和精神空间结合而形成的语义空间为目标,结合语义网中的本体和推理技术,通过语义匹配建立语义物联网的协同服务框架。实验结果表明,通过语义匹配、服务过滤和服务评分的语义协同过程,能够为用户提供满足其偏好的最优服务。     

基于Petri网的语义Web服务发现框架的研究

针对目前语义Web服务发现研究中存在的不足,提出一种基于Petri网的语义Web服务发现框架.该框架利用OWL-S本体提供的语义信息及Petir网在系统动态行为方面的验证功能,从服务注册中心发现用户所需的服务组合.Web服务的发现结果不仅满足用户的功能需求,而且保证无死锁并能够正确执行,提高了服务发现的准确性.最后通过实例分析验证了该服务发现框架的有效性.     

利用语义匹配度计算的Web服务发现方法

针对目前在Web服务注册与匹配过程中服务发现的查全率和查准率不高的问题,本文提出一种利用语义匹配度计算的Web服务发现方法.首先给出一个轻量级的Web服务功能接口和服务请求的语义描述模型WS-SDM;然后利用领域本体作为语义知识表达方式,计算服务请求和服务描述中单个功能接口的语义匹配度;在此基础上,分别给出接口匹配算法和服务匹配算法.实验结果表明提出的服务发现方法能够获得较好的服务发现效果.     

基于模糊Petri网的服务发现框架研究

现有的主流服务发现方法不支持模糊逻辑推理，无法处理软计算语义，从而缺乏灵活性．为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异，提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架．为支持这一框架。设计了一种模糊Petri网服务描述语言，其主要特点是变迁表示一个服务或者请求；变迁的输入库所表示服务执行前应满足的条件，变迁的输出库所表示只有在所需争件满足的情况下服务才能成功执行．变迁相关的CF值（certainty factor value）表示服务消费者对Agent所提供服务的置信度．其次，提出了支持软计算语义的松弛匹配机制，并且给出了模糊松弛匹配算法；借助于本体库（类库），通过计算命题的真实度，在不精确模糊信息情况下，可以实现服务和请求的模糊松弛匹配．     

Web服务组合构建与执行的Petri网平台研究

针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的注册及发布,将各具体服务绑定到语义功能体系中的某一功能;其次实现了基于视图的服务组合构建,用户可在相应视图中通过选择相应的功能进行方便的服务组合构建,并得到相应的服务组合功能流程;最后进一步将相关功能转换为绑定具体服务实例的Petri网模型,并交由相应的基于Petri网的服务组合执行引擎实现执行。实现了从服务组合构建到执行实现的完整功能流程,为基于Petri网的服务组合动态执行相关问题的分析提供了软件平台支撑。     

利用服务聚类优化面向过程模型的语义Web服务发现

如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过程描述的形式化工具.首先,利用聚类技术,从服务的功能相似和过程相似两个层面对服务进行聚类预处理,从而在很大程度上降低服务的查找空间,提高服务的查找效率.进一步,针对服务请求中可能潜在的行为约束,建立基于Petri网的过程需求模型,将其与候选服务的过程模型进行比较,对满足功能需求的可行服务进一步筛选,从而提高查找的精确度.最后,利用仿真实验对所提出的方法进行验证.     

基于语义规则的Web服务发现方法

语义Web服务发现问题研究的核心内容是服务描述与对应的服务发现方法。服务描述分为服务请求描述与服务发布描述,但目前的服务发现方法,并未将请求描述与发布描述分开,以比对服务请求描述与服务发布描述中对应部分作为匹配依据,导致服务请求描述构建困难以及发现结果不够理想。提出以语义规则刻画服务请求描述,以本体构建服务发布描述,进行有效的以语义规则驱动的Web服务发现。对语义规则添加影响因子使得服务匹配精度可以通过匹配度来度量,并按照给定的调节系数来决定最终匹配是否成功。最后以OWL-S TC V2测试服务集合进行了对比实验,证实该方法有效地提高了查全率与查准率高,特别是Top-k查准率。     

基于语义规则的分阶段语义Web服务发现方法

为解决现有语义Web服务发现方法发现效率较低的问题,针对服务发现过程中服务描述不对称的特点,在现有研究基础上,提出了一种基于语义规则的分阶段语义Web服务发现方法.该方法使用语义规则来刻画服务请求描述,对服务发布本体进行了扩展,并通过分阶段服务发现,实现了服务匹配范围的准确界定,提高了服务发现的效率,保证了服务发现的质量.通过与已有算法在成功率、完成时间等方面的对比模拟实验,表明了该方法的性能.     

基于语义的Web服务发现机制研究

针对基于关键词Web服务发现的不足,采用OWL-S作为服务描述语言,为Web服务添加语义描述,构建一种基于语义的Web服务发现机制.本文首先将Web服务请求进行语义解析,生成请求服务文档,然后在服务注册库中通过服务匹配算法,得到候选服务集,并借助线形评价标准对所选服务进行语义评估,为服务请求者选择最优的服务.