共查询到18条相似文献，搜索用时 890 毫秒
1.
随着信息技术的不断发展和语义web技术的日渐兴起,充分发挥语义web技术用于延伸web服务在语义注解方面的功能,通过多种语义web服务来消除单独语义web服务的局限性,同时为客户提供最佳的语义web服务,是语义web服务的主要研究方向.但是,在目前已有的语义web服务组合方法中,却并未较好的结合主体agent技术.为解决这一问题,应该利用一种基于主体的语义web服务的自动组合方法,通过利用主体之间的相互协作从而实现语义web服务自动组合的目标.本文主要通过分析主体技术及语义web服务的关系来说明两者结合的可行性,从而使计算机在能理解服务的基础上进行准确快速的查找服务及自动组合. 相似文献
2.
为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务. 相似文献
3.
基于MAS系统的动态web服务组合形式化建模研究 总被引：1，自引：0，他引：1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献
4.
为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的. 相似文献
5.
面对Web环境下日益增加的Web服务,如何自动地根据服务请求进行服务的动态组合,成为目前研究的热点技术。提出了一种基于领域本体的动态组合方法,并且设计了一个框架模型,该模型利用领域本体以及语义技术支持服务的自动发现、调用、组合。该方法综合考虑了服务的语义支持、领域特性、服务的自动组合。 相似文献
6.
可以把Web服务描述为一个关系,把Web服务的组合过程描述为关系间的运算．据此阐述了Web服务组合的关系模型,给出了相关定义,分析了一种用于消除合成语义冲突的领域级本体,给出了一种输入闭包的优化过程;通过建立服务组合序列,描述了Web服务组合方法,该方法简化Web服务的合成,具有无回溯、易于优化和易于实现的优点． 相似文献
7.
刘跃建 《连云港职业技术学院学报》2013,(4):30-34
Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。 相似文献
8.
《蒙自师范高等专科学校学报》2016,(2)
近年来,随着Internet上的Web服务数量激增,单个Web服务已不能满足用户需求,开展语义Web服务的组合问题研究具有重要的现实意义。文章在前期Ontology的语义Web服务组合框架研究基础上,围绕Petri网在Web服务的应用展开工作,提出一种Petri网的服务组合建模方法,并通过实例仿真对其有效性、可行性进行了验证。 相似文献
9.
10.
利用语义服务构件和组合模式支持web服务重用 总被引：1，自引：0，他引：1
由于目前的web服务描述方法不能有效地解决不同粒度的服务重用问题,引入“语义服务构件”的概念封装多个服务以及它们的协调规则(choreography),为不同抽象层次的服务提供统一的描述框架.为了提高服务的可重用性,提出了“组合模式”的思想描述构件之间的关系,并定义了构件关系的语义.组合模式可以有效地支持不同粒度的服务重用和设计阶段的测试.开发经验表明:由于比较容易地进行构件的理解、选择和重用,组合模式能够有效地支持应用组装. 相似文献
11.
WEB服务匹配在服务自动组合及服务智能化动态组合中具有重要的意义.而服务匹配算法决定高效、快速服务匹配的的关键因素.本文在本体推理匹配算法以及相似度度量算法的基础上提出将两者结合起来的服务匹配思想.并通过实例说明服务匹配的实现过程.实践证明,该匹配算法能有效缩短服务匹配时间,提高服务匹配效率,为语义网环境下的服务匹配实现提供了良好的技术支持. 相似文献
12.
针对传统Web服务机制的注册集中、标注语义缺乏和自动处理困难的问题,提出了一种基于主题组(Topic-Group)的Web服务机制;以基于超节点的peer-to-peer作为网络架构,OWL-S/UDDI作为服务注册平台,用语义Web服务技术对传统的Web服务机制进行了改进。研究表明,模型提高了Web服务的注册、发现和匹配的自动化处理能力。 相似文献
13.
静态服务和动态服务是Web服务的两种组成方式,但是目前主要采用的静态服务的方式有较大的局限性。鉴于此,本文探索性地提出了一种基于BPEL技术的动态服务组合体系架构,分析了该体系结构中的关键问题及解决策略,在具体的实现中采用了Dijkstra算法作为服务匹配组合的策略方法,通过具体的阐述说明了服务组合实现的请求、分解、组合、验证等几个方面的问题。 相似文献
14.
基于语义与QoS全局感知的web服务组合 总被引：1，自引：0，他引：1
针对服务组合流程,提出了语义与QoS全局感知的服务组合.在全局语义匹配过程中,既考虑了全局匹配,又考虑了从QoS角度进行匹配.当对服务组合有全局语义满足及QoS约束要求时,在全局范围里选择满足整个服务组合流程的QoS约束和语义匹配度要求的具体服务集,并实现服务组合的优化解.建立了全局匹配的QoS模型及其评价方法,基于该模型及评价方法,采用遗传算法实现全局语义匹配度最大化及满足用户的QoS指标需求.实验结果和分析表明,基于语义与QoS感知的服务匹配算法是可行和有效的. 相似文献
15.
Formal models for service composition have been proposed with the variation of the requirements of service developers.Some famous models have provided checking and verification techniques and tools for the behavior of service composition.These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services,which restrict the application range of these models and also the web service techniques.As new kind of services with different p... 相似文献
16.
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN. 相似文献
17.
自适应服务组合中基于语义相似度及面向任务的服务发现算法(英文) 总被引：1，自引：0，他引：1
为了实现自适应和高效的Web服务组合, 提出了一种面向任务的服务发现算法. 将传统的服务组合过程划分为语义上的发现和功能上的匹配, 并将任务作为操作对象, 利用语义相似度从候选服务中寻找与给定任务相匹配的服务, 并生成对应的TWC图, 同时针对新服务设计更新算法. 将该方法应用到服务组合模型中, 搜索TWC图以得到一条最优的路径作为服务组合结果输出, 并能在服务失效时做出实时的更新以完成服务请求. 实验结果证明了算法的可行性和有效性, 也表明当最大搜索半径取2时, 服务数量和质量之间可达到平衡. 相似文献
18.
语义web是web2.0时代计算机对网络发展做出的定义,是自动语义处理用户的数据,以帮助用户使用,同时提供个性化的服务。web数据挖掘是数据挖掘的一个应用,利用数据挖掘技术从网络文档中抽取并且发现信息,着重从web日志和数据中发现模式。语义结构可以通过web挖掘发现的模式或关系来构建,通过结合两个应用程序,实现语义web挖掘。在电子教学中的web挖掘应用,已成为一个教育的基本组件。 相似文献