论文部分内容阅读
针对工作流系统中存在的异常问题，本文提出了一个基于WF-net和ECA规则的工作流恢复网模型。主要对可预测和不可预测异常处理进行分析。模型设计时采用了WF-net结构，运行时可动态调整工作流结构，采用基于任务的恢复策略处理异常。
利用EcA规则处理模型可预测异常，考虑任务间的数据依赖，采用人工恢复策略处理不可预测异常。模型不仅使得工作流网形式化的正确性验证和ECA规则的技术成功实现简单，形成优势互补，而且实现了工作流模型和异常处理的无缝结合。