基于Petri网的Web服务BPEL4WS建模与分析

描述了Web 服务业务流程执行语言( BPEL4WS 或 BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证。

基于XYZ/ADL的BPEL4WS Web服务组合描述方法

Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一。基于商业流程的工业化的描述方法BPEL4WS缺乏形式化语义而无法验证描述的正确性。基于此,分析软件体系结构描述语言XYZ/ADL设计元素和BPEL4WS元素之间的语义相似性,建立XYZ/ADL至BPEL4WS的映射规则,从侧面验证BPEL4WS的正确性。

基于BPEL4WS的Web服务组合

采用Web服务组合技术可以将越来越多的Web服务组合成更新更强大的服务。随着Web服务组合技术的发展和电子商务的崛起,出现多种用于描述和规范Web服务组合过程的面向Web服务的基于工作流的建模语言,BPEL4WS就是其中比较完备和成熟的一种。介绍Web服务组合的概念、语言、过程以及BPEL4WS的相关规范,讲述如何使用BPEL4WS在多个服务提供者之间进行商业过程的业务流程设计。

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现。Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程。软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力。基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置。系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现。

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统。模型,并给出了该模型的控制流程和核心部分的代码。

扩展BPEL4WS实现基于语义的服务流程动态细化

越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出了在BPEL4WS及其执行引擎之上,实现基于语义的服务流程动态细化的机制——在BPEL4WS中增加目标类型的活动以及流程的语义描述；扩展现有BPEL4WS执行引擎使之能够执行带有目标活动的流程,并能够根据目标描述与流程的数据内容,在运行时为目标活动匹配与绑定子流程。

基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。

基于BPEL4WS的网格服务组合体系结构及其分析

开放网格服务基础结构 OGSI(Open Grid Services Infrastrstructure)把 Web 服务工作流引入到网格任务描述中,给出了几种 Web 服务与网格技术相融合机制,但并没有界定如何进行网格服务组合。而 BPEL4WS(BusinessProcess Execution Language for Web Services)是描述 Web 服务业务工作流的工业标准。通过对 BPEL4WS 和 OGSI在生命周期管理、Web 服务实例化和状态交互管理等方面异同的深度分析,提出了一种兼容 OGIS 并使用 BPEL4WS来合成网格服务的高层体系结构。介绍了一个电力网电能损耗理论计算的实际应用原型系统,表明该文提出的体系结构可应用于网格服务的建模和构造。

基于流程树的BPEL4WS中流程服务动态优化方法

针对服务流程建模语言BPEL4WS难以满足用户个性化需求也无法适应动态环境变化的问题,提出了一种动态优化BPEL4WS中流程服务的方法。该方法给出了一种Web服务交互代价计算模型,用来评价用户对Web服务的偏好程度以及实时环境下Web服务交互的现实代价。将BPEL4WS描述的服务组合流程转换为服务组合流程树,并借助领域本体对流程树节点进行语义检查,消除流程树中不合法的流程组合。通过深度优先遍历流程树,利用单亲遗传算法对流程服务进行优化组合。最后给出应用算例,并对用来优化组合流程服务的单亲遗传算法的适用性与有效性进行了数值结果验证。

基于BPEL4WS的网格服务组合体系结构及其分析

开放网格服务基础结构OGSI(open grid services Infrastrstructure)把Web服务工作流引入到网格任务描述中,给出了几种Web服务与网格技术相融合机制,但并没有界定如何进行网格服务组合.而BPEL4WS(business process execution languagefor web services)是描述Web服务业务工作流的工业标准.通过对BPEL4WS和OGSI在生命周期管理、Web服务实例化和状态交互管理等方面异同的深度分析,提出了一种兼容OGIS并使用BPEL4WS来合成网格服务的高层体系结构.介绍了一个电力网电能损耗理论计算的实际应用原型系统,表明该文提出的体系结构可应用于网格服务的建模和构造.

Web Services合成方案向BPEL4WS的自动转换

合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为WebServices合成方案的表示方法;在此基础上提出了WTOP自动转换算法,通过运行时代码动态生成的方法,实现从DAG到BPEL4WS的自动转换。

基于WS-BPEL过程的Web服务依赖关系分析

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。

基于BPEL4WS的分布式应用系统的研究与实现

研究了基于Web服务的业务流程执行语言BPEL4WS(BusinessProcessExecutionLanguageforWebSer vices)的实现机制和关键技术 ,在此基础上 ,结合具体应用分析了BPEL4WS在分布式应用系统中的应用和实现。

GBPEL:一种合成网格服务和Web服务的工作流语言

网格工作流是实现网格计算的一种重要的中间件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。

基于UML的业务流程建模及到BPEL4WS的转换

IBM、Microsoft和BEA于2002年联合提出业务流程执行语言(Business Process Execution Language for Web Services,BPEL4WS或BPEL,后更新为WSBPEL)是用于在不改变Web Service正常运行的情况下,将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务,业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上,提出通过构造型和键值方法扩展活动图,并采用扩展模型对业务流程建模,最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。

面向活动的BPEL4WS动态访问授权模型及实现研究

业务流程访问控制机制是Web服务组合应用中的难点。针对现有BPEL4WS安全访问控制研究的不足,提出面向活动的BPEL4WS动态访问授权模型(ADABM)。通过解除组织模型和业务流程模型间的耦合关系,ADABM将BPEL4WS访问权限约束细化到活动一级,用户只在流程执行会话期的活动符合安全需求的情况下才拥有Web服务的访问授权,授权随着业务流程上下文动态授予和收回,授权流与业务流同步执行。文中最后还给出ADABM模型在Web服务安全组合应用中的实施框架。

BPEL4WS协议中数据共享问题的研究

针对BPEL4WS 协议在流程执行中数据共享问题处理上的不足,对协议的内容进行了拓展,提出“容器池”概念,假设了它的构建模型。在实际例子中进行应用和分析,分别探讨了在同一流程下数据共享和不同流程下数据共享的两种应用情形。

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS(Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.

多输出Web Services合成方案向BPELWS转换的研究

针对巨大数量的、多输出的Web Services,找到合适的解决方案。使用产生式建模,避免对合成方案的再优化;利用高效率的参数级本体消除合成语义冲突,然后使用无回溯反向链算法进行合成;再通过WSTC自动转换算法,把合成方案转换为BPEL4WS,最终得到一个满足需求的新Web Services。

一种基于BPEL4 WS的柔性化工作流模型的研究

文中介绍了工作流技术发展现状及其存在的柔性化制约,同时介绍了BPEL4WS的相关概念。针对当前传统的工作流系统存在的柔性化制约,在WfMC提出的工作流元模型的基础上,结合BPEL4WS的标准,从整体规划的角度,给出了一个柔性化的工作流管理系统的模型BP-WFMS,并对其柔性化的具体表徵做出相应的探讨。