共查询到20条相似文献，搜索用时 796 毫秒
1.
2.
随着Internet信息的迅速增长,快速而有效地查找网络信息成为获取网络信息的基础.为了实现高效查找web服务,提出一种基于语义的三阶段匹配算法,首先对web服务进行基于关键字的分类筛选,然后实现web服务基于语义的功能匹配,最后实现web服务的非功能匹配.实践证明,该算法能够提高web服务匹配效率. 相似文献
3.
随着信息技术的不断发展和语义web技术的日渐兴起,充分发挥语义web技术用于延伸web服务在语义注解方面的功能,通过多种语义web服务来消除单独语义web服务的局限性,同时为客户提供最佳的语义web服务,是语义web服务的主要研究方向.但是,在目前已有的语义web服务组合方法中,却并未较好的结合主体agent技术.为解决这一问题,应该利用一种基于主体的语义web服务的自动组合方法,通过利用主体之间的相互协作从而实现语义web服务自动组合的目标.本文主要通过分析主体技术及语义web服务的关系来说明两者结合的可行性,从而使计算机在能理解服务的基础上进行准确快速的查找服务及自动组合. 相似文献
4.
为了解决区域内不同学校教育资源库集成的不足,文章分析了web服务与xml的优点,提出了一种基于web服务/xml的区域教育资源库集成方案,并详细设计了资源web服务以及用户代理模块. 相似文献
5.
为了形式化地推理和验证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服务组合进行推理和验证的. 相似文献
6.
为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务. 相似文献
7.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
8.
为了提高基于智能规划的web服务组合的效率,提出了一个面向业务领域的web服务组合的智能规划算法.该算法通过所提出的包含资源间关系、资源动作间关系以及动作和动作间关系的业务关联关系模型缩小规划问题的搜索空间,将所提出的目标距离作为启发式规则以提高规划的效率.与其他的基于智能规划的web服务组合算法相比,该算法不仅解决了web服务组合问题向智能规划问题的转换,同时也解决了如何将web服务组合的业务特点应用于智能规划中以提高规划效率的问题.最后,实验证明了所提出算法的有效性. 相似文献
9.
WEB2.0环境下的信息服务 总被引：19，自引：0，他引：19
文小明 《湘潭师范学院学报(社会科学版)》2006,28(6):212-214
web2.0是一种以信息用户为中心的网络技术与服务,本文从其概念入手,分析了在web2.0环境下信息用户信息需求的特点,随后介绍了web2.0环境下信息服务的方式,以求能让读者对web2.0环境下的信息服务有一个基本的认识。 相似文献
10.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 相似文献
11.
为解决集中式服务发现结构存在的性能瓶颈问题,基于领域本体语义信息,提出一种能自适应地调整领域划分、分配系统资源的分布式web服务发现体系结构,并分析了该结构的可扩展性、自组织性和自适应性.具体描述了该结构下的语义web服务发现算法的2个阶段:语义注册中心定位和基于输入输出的服务匹配.在注册中心组成的平衡树拓扑结构中,注册代理能够快速将请求转发至目标注册中心,避免产生性能瓶颈.然后,通过引入一种新的基于语义距离的服务匹配算法来进行服务查询效果优化.模拟实验结果表明:提出的服务发现方法具有高可扩展性的优点;与其他服务查询算法相比,服务匹配算法具有更高的查全率和查准率. 相似文献
12.
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 protocols and communication methods have appeared, it is needed to model service composition from a new view
which is adapted to the new development in service area. In this paper we offer a function oriented model of service composition
which treats the composite service as a software system and specify the function of services which can be directly used to
the realization by service providers. 相似文献
13.
为解决基于服务质量的服务选择,提出了一个多属性群决策算法.该算法通过使用Borda社会选择函数集成了多种具有不同原理用于计算不断变化的服务质量方法的结果,从而增强了服务选择的可靠性.实验结果表明该方法具有较好的可扩展性,从而能适用于大规模的分布式服务计算环境;同时相比于随机和轮转服务选择策略,所提出的基于群决策的服务选择策略具有更优的性能,它能够有效地优化服务选择.该算法不仅仅是增加了一种用于获取不断变化的web服务质量的方法,而是建立一个具有多层知识的综合信息体,从而保障了服务选择的正确性. 相似文献
14.
陆静平 《重庆大学学报(英文版)》2003,2(1)
1. Introduction Product data management (PDM) is a technology helping workgroup, department, division, or enterprise manage product data and development process throughout the product life cycle, from inception, through development and production to dispatch and beyond. As an integration tool connecting many different areas, PDM manages product data throughout the enterprise, ensuring that right information is available to the right person at the right time and in the right form. Web-based … 相似文献
15.
彭幼航 《南宁职业技术学院学报》2014,(3):39-42
在分析云计算在教育中应用的基础上,提出基于云计算理念与技术的软硬件及数据资源充分共享的东盟职业教育网云平台的构建思路,重点阐述由核心服务、服务管理、用户访问接口等构成的东盟职业教育网云平台系统体系结构及其分层功能,并对东盟职业教育网云平台的服务对象、服务内容、服务模式及保障机制进行深入的探讨。 相似文献
16.
基于MAS系统的动态web服务组合形式化建模研究 总被引：1，自引：0，他引：1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献
17.
针对目前的工作流管理系统存在的问题,本文在传统工作流管理系统和目前流行的Web服务技术的基础上,提出了基于Web服务的工作流体系模型,该模型在传统工作流体系模型的基础上,引入Web服务。Web服务在Internet分布式环境下的动态发布、发现和集成应用的特点,能够很好地解决工作流程缺乏柔性,相互之间无法互操作,不能及时响应变化等缺点,提高了工作流程执行效率和服务质量,大大提高工作流系统的应用范围,促进了工作流管理系统的发展。 相似文献
18.
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. 相似文献
19.
MVC模式能克服二层体系结构的局限,被广泛地用于大型软件的开发。网格技术和web服务被用于解分布式资源的共享。在研究传统的MVC模式的基础上,提出一种基于网格的MVC模型(GM-VC),并分析和讨论该模型的结构及其设计。GMVC模型能较好地解决网格系统中业务逻辑混合的问题。 相似文献
20.
针对传统Web系统架构存在的问题,结合湖北文理学院的云计算平台优势,提出了一个基于云计算的Web系统架构.该架构具有可伸缩优点,支持一云多屏显示和离线应用机制.借助多租户思想,该架构可向用户提供个性化和多样化的规模化定制. 相似文献