用于对过程中心的程序的取消建模的框架

摘要

声明性取消活动的执行。定义了活动的状态自动机，且状态自动机包括正在执行状态、正在取消状态和已关闭状态，并对活动的执行生存周期分类。活动包括工作项目，并在执行分层结构中组织工作项目。工作项目从正在执行状态转移到指示所述活动的每一工作项目的执行完成的已关闭状态。在使工作项目之一转移到已关闭状态之后，对当前处于正在执行状态中的工作项目传输取消请求。根据所传输的取消请求和所定义的活动的执行分层结构标识正在执行的工作项目。通过将所标识的工作项目从正在执行状态转移到正在取消状态来取消活动的执行生存周期。