工作流理论中系统需求模型及其形式化描述

• System Requirement Models of Workflow and Their Formal Descriptions