Formal Presentation of Exception Handling in a Workflow System

• 工作流异常处理的形式描述