共查询到19条相似文献，搜索用时 953 毫秒
1.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
2.
3.
胡安明 《广东技术师范学院学报》2014,(3):29-31
AIDL是一种Android平台下描述进程间通讯的接口描述语言,可以简化进程间数据格式交换和数据代码的交换,对于实现Android平台下进程间通讯有着重要意义.本文中系统分析了AIDL技术模型和通讯机制并给出实例加以论述. 相似文献
4.
为了提高基于智能规划的web服务组合的效率,提出了一个面向业务领域的web服务组合的智能规划算法.该算法通过所提出的包含资源间关系、资源动作间关系以及动作和动作间关系的业务关联关系模型缩小规划问题的搜索空间,将所提出的目标距离作为启发式规则以提高规划的效率.与其他的基于智能规划的web服务组合算法相比,该算法不仅解决了web服务组合问题向智能规划问题的转换,同时也解决了如何将web服务组合的业务特点应用于智能规划中以提高规划效率的问题.最后,实验证明了所提出算法的有效性. 相似文献
5.
Deep web数据集成需要对web查询接口进行模式匹配并获得映射关系.在web查询接口集成中引入语义冲突的概念,通过分析语义冲突的起源和分类,提出了一种基于本体的模式匹配方法.以房产领域的web查询接口集成为实例,详细阐述了这种方法的具体过程：通过比较语义相似度自动检测不同查询接口之间存在的语义冲突,识别冲突类别并且给冲突解决器发送消息,冲突解决器借助领域专家定义推理规则来消除冲突获得映射表.使用检测和解决语义冲突的方法来进行模式匹配,算法简单易于实现,扩充本体定义就可以使用于不同领域,灵活性和重用性较好. 相似文献
6.
为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务. 相似文献
7.
随着Internet信息的迅速增长,快速而有效地查找网络信息成为获取网络信息的基础.为了实现高效查找web服务,提出一种基于语义的三阶段匹配算法,首先对web服务进行基于关键字的分类筛选,然后实现web服务基于语义的功能匹配,最后实现web服务的非功能匹配.实践证明,该算法能够提高web服务匹配效率. 相似文献
8.
对当前广泛使用的负载均衡如何来实现服务交互和优化进行了详细探讨,在具体案例分析基础上,针对当前普遍使用的网络架构、服务器接入与现网部署方案,对服务器负载均衡实例中需解决的问题进行了分析,设计了一种基于虚拟IP(VIP)的双链路负载均衡总体解决方案,针对具体实例对它实现机制进行详细分析。 相似文献
9.
基于MAS系统的动态web服务组合形式化建模研究 总被引：1，自引：0，他引：1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献
10.
王远帆 《宁德师专学报(自然科学版)》2010,22(1):6-8
Web服务是一组迅速发展的标准和实现技术,适用于解决多种执行环境间的互操作问题.面向服务的体系结构（SOA）利用了面向服务的原则实现业务和支持业务信息系统之间更为紧密的联系.挖掘SOA体系结构的技术内涵和实现原理,并分析其如何随需应变地适应不断变化的业务需求. 相似文献
11.
With the advances of electronic information technology and computer network, especially the embedded technology, smart home
is no more just a vision but being practical. The interoperability of heterogeneous devices and flexibility of devices’ usage
are two key problems that challenge the implementation of smart home. To deal with these two issues, this paper proposes an
event-driven service oriented architecture using device profile for web services (DPWS). DPWS inherits the advantages of the
traditional web services in achieving interoperability without dependence on platform, while improving service discovery and
security as well as being optimized for deploying on resource constrained devices. By providing a visual interface for describing
a service workflow (SW), the user can easily customize the actions of devices by services composition. Devices automatically
cooperate without user’s intervention to complete required business logic. This is achieved by fully exploiting the eventing
capabilities on DPWS enabled home devices. Finally, a home theater scenario is given to illustrate the event driven mechanism
for the SW in the proposed smart home framework. 相似文献
12.
针对目前的工作流管理系统存在的问题,本文在传统工作流管理系统和目前流行的Web服务技术的基础上,提出了基于Web服务的工作流体系模型,该模型在传统工作流体系模型的基础上,引入Web服务。Web服务在Internet分布式环境下的动态发布、发现和集成应用的特点,能够很好地解决工作流程缺乏柔性,相互之间无法互操作,不能及时响应变化等缺点,提高了工作流程执行效率和服务质量,大大提高工作流系统的应用范围,促进了工作流管理系统的发展。 相似文献
13.
分析了三层跨平台数据库系统所面临的异构平台通信、代码可重用性及软件互操作性问题。介绍了Web Service技术的特点,提出了利用该技术解决三层跨平台数据库所面临问题的办法。 相似文献
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.
李光师 《鞍山师范学院学报》2013,(4):50-53
分析了OGC Web服务规范在地理信息共享和互操作中的作用,并给出了一个典型的基于OGC Web服务规范的信息共享平台的模型.在此基础之上,本文基于开源平台Geoserver构建了一个信息共享的实验系统,并着重对系统中WPS服务的设计和实现方法进行了探讨. 相似文献
16.
传统的IDS一般局限于单一的主机或网络架构,对异构系统及大规模的网络监测存在明显的不足.因此,需要对分布式入侵检测技术与协同通信机制开展研究,建立通用的协同通信机制,以构建有效的分布式检测系统,从而实现在大规模的网络与复杂环境中的入侵检测.本文为了解决分布式入侵检测的协同通信机制问题,针对IDS组件之间的互操作性进行了有益地探讨,提出了一种基于协同通信机制的分布式入侵检测系统CCM-D IDS. 相似文献
17.
18.
Web履务是一种崭新的分布式计算模式，是下一代电子商务的框架。Web服务的发展提出了许多安全挑战，其中主要的挑战之一就是要设计安全且有效的跨域身份认证机制。安全声明标记语言（SAML）标准的出现为解决这一问题带来了希望。本文分析了目前存在的Web服务的认证方式的优缺点，讨论了几种与Web服务相关的标准和协议，重点分析和研究了基于SAML的跨域单点认证机制的实现原理和特点，并讨论了其安全问题。 相似文献
19.
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. 相似文献