[发明专利]基于目标的工作流事务模型及其验证方法

摘要

本发明涉及一种基于目标的以Artifact为中心的工作流事务模型，其特征在于，包括以Artifact为中心的工作流模型W、业务目标集B及业务目标集B中业务目标之间的关系BR、任务的事务行为映射函数H、任务的事务依赖集D，以及可接受终止状态集ATSs。本发明的另一个技术方案是提供了一种上述工作流事务模型的验证方法。在本发明提供的模型中，高层需求可通过目标模型表达；且本发明提供一种放松的自定义失败原子性、任务事务行为，以及相应的有效性规则和验证方法。

主权项

一种基于目标的以Artifact为中心的工作流事务模型，其特征在于，包括以Artifact为中心的工作流模型W、业务目标集B及业务目标集B中业务目标之间的关系BR、任务的事务行为映射函数H、任务的事务依赖集D，以及可接受终止状态集ATSs，其中：以Artifact为中心的工作流模型W在工作流EZ‑Flow的基础上进行了并行化扩展，工作流模型W中的一个工作流EEZ‑Flow包含如下元素：C、Γ、E、Σ、F、R、L，其中，C为核心artifact类；Γ为辅助artifact类集合；E为时间类型集合；Σ为任务集合，包括基本任务和结构型任务；R为资源库集合，包含C的资源库子集RC，Γ的资源库子集RΓ，以及外部资源库rext；L为边上的哨函数集合；F将Σ中的每个任务t映射到(ei；eo)，其中，ei为一个触发任务t的包含事件类型和逻辑操作的(∧，∨)逻辑表达式，eo为任务t产生的事件类型，每个事件类型由一个任务产生并可触发一个或多个任务，每个任务都需要一个或多个事件类型来激活其执行；业务目标集B中每个业务目标使用artifact属性表达式表示；关系BR包括：强制依赖gr(man，g1，g2)、支持依赖gr(sup，g1，g2)和负‑正目标转换依赖gr(shft，g1，g2)，gr(man，g1，g2)表示若工作流无法获得目标g2，则其无法获得目标g1，gr(sup，g1，g2)表示目标g2的获取有助于目标g1的获取，但若目标g2失败，仍有可能获取目标g1，gr(shft，g1，g2)表示目标g1由负目标转变为正目标依赖于目标g2的获得；任务的事务行为映射函数H将任务集合∑中的每个任务t映射到元组h(t)＝(type，[(hName，preCond，task，adjRule，pri)])，其中，type指定任务t的事务行为类型；[(hName，preCond，task，adjRule，pri)]描述失败处理机制，hName为处理方法，preCond为处理方法可用的条件，task为处理方法所需的任务，adjRule在必要时指定任务t的事务调整，pri为指定处理方面的优先级。任务的事务依赖集D将任务集合Σ中的每个任务t映射指定其事务依赖的元组d(t)＝(CmtSet，AbtCond，CpsCond，TmtCond，ActCont)，其中，CmtSet为对任务t有提交依赖的任务集，AbtCond为会引起任务t回滚的事件集，CpsCond为会引起任务t补偿的事件集，TmtCond为会引起任务t中止的事件集及中止模式，ActCont为激活条件；可接受终止状态集ATSs是工作流设计者从业务需要出发所设计的一个事务工作流的所有可接受终止状态的集合。