一种面向重构的工作流活动状态语义描述方法 (2006年)

工作流活动行为的精确描述是实现工作流过程控制的基础。基于状态的工作流活动行为描述方法在当前的工作流管理系统中被普遍采用。然而，非形式化的活动状态描述缺乏精确的语义并且不易扩充，导致系统适应性较差。针对业务过程管理需求的多样性和动态性，提出了一种支持快速重构的工作流活动状态语义的形式化描述方法。在分析工作流活动与工作项的状态关联基础上，定义了活动状态配置、活动状态配置全集等用于活动状态语义描述的基本概念。通过把活动状态映射为具有相同特征的活动状态配置的集合，建立了形式化的活动状态语义，研究了在此语义下活动状