【技术实现步骤摘要】
本专利技术属于计算机应用领域，具体是基于对BPEL流程进行动态分析，从而提高服务动态更新的效率。
技术介绍
随着网络和分布式技术的不断发展，基于网络服务的业务提供手段正逐渐成为主流。服务作为软件的一种表现形式不可避免的会面临更新和升级问题。最基本的做法是中止服务，然后对服务进行更新，直到服务更新完毕再启动服务。服务的中止必然会对客户带来巨大的困扰并且对商家自身带来经济损失。同时，服务中止会导致服务数据的丢失，这同样可能对双方带来不必要的麻烦。面对这些问题，动态更新技术是一种很好的解决办法。目前，许多关于动态更新的技术都集中在构件层，这些技术都要求已经获得构件 间或服务间的依赖拓扑图，但是它们却没有提供该依赖拓扑图的解决方案。一般的做法是利用服务间静态依赖作为依赖拓扑图。很明显，这样会使得动态更新效率低下，服务中断程度加大。我们的改进方案可以在服务运行时刻实时计算将来可能被执行的节点，获得更加精确实时的依赖拓扑图，从而我们就可以提前预知某些服务或组件是否会被调用，也就可以决定他们是否可以进行动态更新。BPEL是一种流行的事务流程执行语目，是一种基于XML的编程语目。它用于...
【技术保护点】
一种高效的BPEL服务动态更新方法，其特征在于：对BPEL流程构建高效模型；利用BPEL流程运行时刻的数据信息，进行动态分析，实时更新流程可能被执行节点的集合。
【技术特征摘要】
1.一种高效的BPEL服务动态更新方法，其特征在于 对BPEL流程构建高效模型； 利用BPEL流程运行时刻的数据信息，进行动态分析，实时更新流程可能被执行节点的 口 O2.根据权利要求I所述的BPEL服务动态更新方法，其特征在于，所述对BPEL流程进行建模是指 根据BPEL的特性对BPEL流程构建高效模型，将BPEL流程构建成有向图，对于结构化的节点都设计对应的Begin和End节点,域节点中的所有信息都保存到Begin节点中，分支节点的设计则是转化为二叉树，从而保证对于每个分支都只有ture和false两个分支，循环节点则将循环控制和循环部分分离，引入Loop节点控制循环次数，并发节点保留原BPEL流程并发的含义，并且不能减少该节点本身语义。·3.根据权利要求2所述的BPEL服务动态更新方法，其特征在于，所述节点包括域、分支、循环、并发。4.根据权利要求3所述的BPEL服务动态更新方法，其特征在于，所述动态分析，从流程执行的当前节点开始分析，分析出未执行路径上的节点不会被流程执行的节点，从而优化了服务间的依赖；对于一般节点，其所有的孩子节点都可能被执行；根据流程运行时刻的数据，对以后可能被执行的分支和循环节点进行预判。5.根据权利要求I所述的BPEL服务动态更新方法，其特征在于，所述对BPEL流程构建高效模型具体包括 I.I)利用有向图刻画BPEL流程； I.2) 一般节点和通用信息设计，丢弃基本节点大部分动作信息，保留类型和数据信息； 1.3)变量信息的设计，BPEL中变量复杂多变，变量类必须要能够表示variable、espression、property、partnerlink 和 element,同时去除冗余信息； I.4)伙伴信息的设计，简化伙伴信息； I.5)域节点的设计，域节点包括变量、触发器，其在建模时包含一对Begin和End节点类，所有信息都保存在Begin节点类中； I.6)分支节点的设计，分支是控制结构之一，其在建模时包含一对Begin和End节点类，同时将分支节点整体设计为一个二叉树结构，保证每个分支只有true和false两条分支； I.7)循环节点的设计，循环是控制结构之一，该节点...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。