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

• 作者: 史美林 孙瑞志
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 计算机支持的协同工作 工作流 异常处理
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 393-397
• 页数: 5页
• 分类号: TP393.09
• 字数: 5608字
• 语种: 中文

摘要

异常处理是工作流执行中要解决的主要问题之一,清楚地描述异常处理的过程是最终得以实现的基础.Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价,但描述各种不同条件下的处理策略却很繁琐.采用了一种直观的描述方法对异常处理过程中的元素,即活动、异常事件、异常处理策略以及处理措施进行了形式化描述,特别是对不同处理策略下的处理过程进行了描述.结合消息机制,分析了一个异常事件出现时,如何处理一个活动实例产生的中间数据,并对事务处理和异常处理的补偿策略进行了比较.描述方法为编码实现提供了很大的方便.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙瑞志	清华大学计算机科学与技术系	6	432	6.0	6.0
2	史美林	清华大学计算机科学与技术系	96	5322	30.0	72.0