共查询到20条相似文献,搜索用时 15 毫秒
1.
《数字社区&智能家居》2008,(19)
Web服务组合问题中数以千计的Web Service的信息可能会随时改变,如何发现这些易变Web Service描述信息(包括服务提供者和服务消费者的描述信息),如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,并及时应用到业务执行流程中。本文设计了一种基于用户需求服务全局距离最优动态选择算法(Dynamic Selection Algorithm with Global OptimalDistance),用于发现动态调用Web Services来自动生成满足用户所需目标的Web Service组合。 相似文献
2.
Web服务组合问题中数以千计的Web Service的信息可能会随时改变,如何发现这些易变Web Service描述信息(包括服务提供者和服务消费者的描述信息),如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,并及时应用到业务执行流程中。本文设计了一种基于用户需求服务全局距离最优动态选择算法(Dynamic Selection Algorithm with Global OptimalDistance),用于发现动态调用Web Services来自动生成满足用户所需目标的Web Service组合。 相似文献
3.
4.
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。 相似文献
5.
6.
随着Web Services的广泛流行,怎样发现适当Web Services来支持Web Services的组合已经成为一种挑战.由于传统的关键字搜索具有太低的记忆性和精确性,因此这种方法是很低效的.基于Web Services的描述信息,介绍了一种有效的Web Services发现机制.此服务发现方法是简单可用的,通过引入语义变得十分高效,因此该机制成功的在服务组合模型上得到了实现. 相似文献
7.
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。 相似文献
8.
服务请求者身份的不可知性及其行为的动态不确定性,给Web Services的安全带来了严峻的挑战.在研究和分析现有信任模型不足的基础上,提出一种基于信任的Web Services动态访问控制模型(DWTBAC).新模型引入时间权重、上下文和推荐强度等客观因素,改进信任值的计算方法,根据信任值-信任等级-权限强度的三元映射关系进行授权管理,实现部分授权.为了抵制恶意行为,提出一种基于服务质量惩罚机制的直接交互经验值更新算法.仿真结果表明,新的访问控制方式,很好地实现了实体信任值随其行为而改变的动态特性,能有效地遏制恶意用户的不良行为,满足Web Services访问控制的安全性和动态性需求. 相似文献
9.
传统的Web Services技术已经不能充分利用语义信息,因此不能够解决服务能力的匹配问题和基于功能的服务定位问题,而Web服务和语义Web结合产生的语义Web服务技术为此提供了一种可行的解决办法.本文充分利用了语义本体的特性,提出了一种基于OWL本体的服务组合算法,并通过对Web Services本体的描述,构建,通过模型实现及实例来验证算法的可行性. 相似文献
10.
针对现有分布式构件库管理的不足,提出一种基于SOA的分布式构件库管理模型,将分散独立的构件或构件库包装成为Web Services,彻底屏蔽了分散独立的构件或构件库的异构性。提出了统一XML构件信息描述模型,利用XQuery映射统一Web Services返回的XML格式。在UDDI中注册后,将对构件的查询转化为对UDDI的查询。提高了检索构件{服务}的查全性和查准性。 相似文献
11.
针对现代钢铁物流园仓库管理需要,设计了一种基于移动终端的仓库管理系统。采用Web Services技术实现移动终端与数据库的通信。分析了Web Services应用架构模型,并按照Web Services模型来进行系统功能的总体设计。重点介绍了手持终端访问数据库的方法和Web服务的实现。设计的系统充分利用了手持终端的移动性和Web服务的易用性,操作方便灵活,提高了企业物流仓库管理的效率。 相似文献
12.
13.
14.
15.
在分析Web服务访问控制需求的基础上,指出了现有访问控制模型在Web服务访问控制方面的局限性,提出了一种结合属性和角色的Web服务访问控制模型ARBAC,给出了软件实现结构.ARBAC模型给出了Web服务访问控制领域中的概念定义,提出了相关判定定理.ARBAC模型根据Web服务资源对用户的属性限制条件自动生成角色集,完成用户到角色、权限到角色的映射,能够表达职责分离约束、环境参数限制和最小权限策略,统一了Web服务和服务所涉及的数据资源的访问控制. 相似文献
16.
在分析Web Services和Agent技术基础上,提出了一种基于Web Services的Agent服务集成协作机制.给出了该机制的体系结构和形式化定义,包括WSAgent服务形式化表示和WSAgent框架BNF描述.最后给出了一个行业应用模型实例:基于WSAgent的旅游服务集成协作系统. 相似文献
17.
Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研完Web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。 相似文献
18.
容错是提高Web Services可靠性和可用性的关键技术。本文提出了在Web Services中实现容错的三种方案:基于后台服务对象的容错、基于Web服务器的容错和基于Web服务的容错,并分析、比较了这三种方案的优缺点。在基于web服务的容错方案的基础上,提出了一个通用的Web Services容错管理框架-WSFMF,并分析了其实现关键,给出了相应的解决方案;最后在我们自主开发的Web Services平台-StarWS上进行了相应实现。 相似文献
19.
陈勇 《数字社区&智能家居》2009,(24)
利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法。该文应用工作流思想研究Web Services的复合问题,利用Petri网技术分析Web Services的调用过程,并对Web Services网进行形式化分析,给出Web Services复合群到工作流网的映射规则。 相似文献