[发明专利]组合服务演化中运行实例的在线迁移方法及设备

说明书

技术领域

本发明涉及组合服务技术，尤其涉及一种组合服务演化中运行实例的在线迁移方法及设备，属于计算机技术领域。

背景技术

近年来，随着互联网技术的不断发展，网络上聚集了越来越多的资源，不仅包含丰富的计算和存储等物理资源，还有大量的软件和服务资源，基于服务的分布式应用系统开发已经成为计算机领域一个重要的方向。

Web服务技术可以用于解决了不同的平台/系统之间应用的整合问题，为跨组织边界的业务流程的自动化提供技术基础，但由于服务的提供者分工越来越细，并且为了保证重用性和可维护性等，一般不将复杂的业务逻辑封装到单个的Web服务中，而为了满足用户多样性的需求，实现完整的业务功能，需要把分布的独立的Web服务组合起来，形成具有增值价值的服务，服务组合技术成为构建网络化软件的一种重要方法，基于这种方法所开发的软件在技术形态上体现为组合服务。

基于业务流程的Web服务组合是指：通过借鉴传统的工作流和业务流程管理技术，将不同的组件服务编排在一个具有固定业务逻辑的流程中，执行时在按照此流程中的逻辑关系和时序关系来调用远程的组件服务。一般使用工作流语言描述Web服务组合形成的业务流程：指定一组Web服务操作的执行顺序，确定服务共享的数据、业务流程涉的伙伴和各伙伴在业务流程中的角色，以及多个服务和组织是如何参与等。其中，业务流程是指为实现一个特定业务目标通过Web服务组合能完成的各项活动的逻辑结构关系。活动为业务流程中实现特定业务目标的步骤，即Web服务。因此，根据Web服务工作流语言定义出Web服务组合的工作流模型，工作流模型可以被工作流执行引擎执行。

组合服务的演化已经是学术界的研究热点，从演化时间、演化影响、演化操作分类以及演化带来的问题等方面均进行了深入分析，其中组合服务演化中运行实例的成功迁移尤为重要。组合服务实例迁移是一种根据已有实例执行状态判定计算在新组合服务定义下的实例状态的行为，它保留了已有执行的宝贵数据，并且最大化地降低了回滚重做的损失。这种提供在同一组合服务不同版本的模型间动态迁移的机制，解决了传统工作流及业务流程系统应对变化能力差的问题。但是由于在组合服务演化过程中，其业务流程模型的语义、消息流、控制流、数据流都有可能发生变化，所以可能会导致实例运行同步失效、死锁和语义错误等问题。

针对组合服务演化时运行期流程实例状态迁移的情况，国内外相关研究提出了一个重要的问题——动态变更错误(Dynamic Change Bug)，指的是旧流程实例中的状态在新的流程实例中找不到合适的对应状态(演化后会导致某些活动执行了多次或被不合理的跳过)。基于PetriNet模型，相关研究人员提出了通过划分“变更区域”的方法来处理动态变更错误，即运行状态处于变更区域内的流程实例不能迁移(如果迁移会导致动态变更错误)，而运行状态在变更区域外的则可以进行迁移的方法。该变更区域只是静态变更区域，并且通过工作流网(PetriNet的扩展)给出了静态变更区域的自动生成算法，进一步证明了静态变更区域的定义既不充分也不必要，也就是说处于变更区域内的状态也有可能正常地迁移到新的流程实例中，而处于变更区域外的某些状态很可能不能合法地迁移。

因此，在进行运行实例的在线迁移时，如何避免动态变更错误，以实现准确、有效的在线实例迁移，是极为重要的研究课题。

发明内容

本发明提供一种组合服务演化中运行实例的在线迁移方法及设备，用以实现简便且准确性高的运行实例在线迁移。

根据本发明的一方面，提供一种组合服务演化中运行实例的在线迁移方法，包括：

获取原流程模型与目标流程模型之间的变更区域；

若判断获知待迁移运行实例位于所述变更区域内，则检测所述目标流程模型中是否存在与所述待迁移实例的已有执行路径等价的目标路径；

若存在，则将所述待迁移实例迁移至所述目标路径。

根据本发明的另一方面，还提供一种组合服务演化中运行实例的在线迁移设备，包括：

变更区域获取模块，用于获取原流程模型与目标流程模型之间的变更区域；

迁移判定模块，用于若判断获知待迁移运行实例位于所述变更区域内，则检测所述目标流程模型中是否存在与所述待迁移实例的已有执行路径等价的目标路径；

迁移执行模块，用于若存在，则将所述待迁移实例迁移至所述目标路径。