基于目标的可配置工作流事务模型及其动态验证方法

摘要

本发明提供了一种基于目标的可配置工作流事务模型，包括基于目标的支持并行化的以Artifact为中心的工作流模型W、任务的事务行为映射函数H、任务的事务依赖集D，以及可接受终止状态集ATSs。本发明还提供了基于目标的可配置工作流事务模型的动态验证方法。在该模型中，高层需求可通过目标模型表达，目标模型可使用artifact属性域表达式描述，并链接到事务管理，为后续工作流事务快速响应高层需求或业务逻辑变化打好基础。在运行时，提供有效的事务前向恢复机制，给出了失败流程的运行时动态配置和动态验证方法。本发明兼顾业务目标对事务管理的影响，同时支持运行时的事务配置，大大提高了执行成功率。