共查询到18条相似文献,搜索用时 62 毫秒
1.
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。 相似文献
2.
Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法. 相似文献
3.
在Web服务描述语言(WSDL)与网络服务的本体语言(OWL-S)共存的环境中难以实现Web服务混合组合,为此提出一种以接口自动机为基础的混合Web服务组合方法。分析和描述WSDL与OWL-S间的关系后,在服务组合过程中用接口自动机实现WSDL与OWL-S自动识别和组合;并将服务组合结果与预先设定好的服务质量进行优化对比,选择服务质量最优的来实现不同的业务逻辑。最后通过一组旅游消费服务实验分析验证表明,该方法可行、有效,服务组合效率提高了5%~10%。 相似文献
4.
论文对基于BPEL的Web服务组合机制进行了深入研究,通过一个开发实例,给出了基于ActiveBPEL Designer设计实现Web服务组合的过程,并对部署和测试该BPEL流程的方法进行了讨论。 相似文献
5.
基于BPEL4WS的Web服务整合研究 总被引:1,自引:0,他引:1
业务流程执行语言(BPEL4WS)是整合Web 服务的标准,其作用是将一组现有的服务整合起来,从而定义一个新的 Web 服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念,建立了BPEL4WS整合Web服务模型,提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。 相似文献
6.
提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统. 相似文献
7.
8.
在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码. 相似文献
9.
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用.如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题.通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要.结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划.同时讨论了算法的复杂性. 相似文献
10.
针对Web服务的组合问题,给出了一种基于BPEL4WS(Business Process Execution Language for Web Services)语言的语义Web服务动态组合框架.该框架把一些具有相似性的商业流程定义成一个抽象流程模板APT,每个活动节点所需服务的语义信息用PPC模型描述,并引入一个OWL-S/UDDI转换器使Web服务在UDDI上的注册信息与该服务的语义信息之间进行转换,实现UDDI注册信息与语义信息的关联,以便于语义匹配及服务绑定.通过语义匹配组件匹配选择合适的Web服务,并通过APT绑定组件把所选Web服务的相关信息动态绑定到APT模板中,从而实现Web服务的动态组合.该框架增强了Web服务组合的灵活性和动态性. 相似文献
11.
RESTful Web service composition with BPEL for REST 总被引:4,自引:0,他引:4
12.
Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现. 相似文献
13.
14.
使用BPEL4WS设计业务流程的研究 总被引:5,自引:0,他引:5
首先介绍Web服务的概念、特点及其在商业应用中的不足,从而引出为什么要整合Web服务;接着介绍了BPEL4WS的概念以及它与Web服务的其它规范的关系;随后结合一个简单的例子,详细讲述了如何使用BPEL设计业务流程。 相似文献
15.
业务流程访问控制机制是Web服务组合应用中的难点。针对现有BPEL4WS安全访问控制研究的不足,提出面向活动的BPEL4WS动态访问授权模型(ADABM)。通过解除组织模型和业务流程模型间的耦合关系,ADABM将BPEL4WS访问权限约束细化到活动一级,用户只在流程执行会话期的活动符合安全需求的情况下才拥有Web服务的访问授权,授权随着业务流程上下文动态授予和收回,授权流与业务流同步执行。文中最后还给出ADABM模型在Web服务安全组合应用中的实施框架。 相似文献
16.
17.
文中介绍了工作流技术发展现状及其存在的柔性化制约,同时介绍了BPEIAWS的相关概念。针对当前传统的工作流系统存在的柔性化制约,在WfMC提出的工作流元模型的基础上,结合BPEIAWS的标准,从整体规划的角度,给出了一个柔性化的工作流管理系统的模型BP—WFMS,并对其柔性化的具体表徵做出相应的探讨。 相似文献
18.
文中介绍了工作流技术发展现状及其存在的柔性化制约,同时介绍了BPEL4WS的相关概念。针对当前传统的工作流系统存在的柔性化制约,在WfMC提出的工作流元模型的基础上,结合BPEL4WS的标准,从整体规划的角度,给出了一个柔性化的工作流管理系统的模型BP-WFMS,并对其柔性化的具体表徵做出相应的探讨。 相似文献