文档介绍：工作流引论
第四章分析工作流
主要存在两种类型的工作流分析方法:定性分析和定量分析。
定性分析(结构分析):主要关心所定义过程在逻辑上的正确性,以及异常结构。
定量分析:主要考察所定义过程的性能,其重点在于建立一些性能指标,比如平均完成时间,服务水平和能力利用率等。
2
分析技术
引入高级的信息系统后,业务的流程结构会变得比较复杂。
当使用顺序、并行、选择、循环同时定义同一过程时,判断过程的正确性可能会比较困难。
结构分析
定义过程时常见的错误:
1 任务没有输入和(或)输出条件
4
结构分析
2 死任务:任务永远不能被执行
3 死锁:在到达end前发生了阻塞
4 活锁:把案例带进无休止的循环
5 当到达end后,仍有活动执行
6 案例完成后,定义过程中仍然存在标记
工作流过程只有一个start和一个 end
一个工作流网是合理的,它必须符合下面三个要求:
1 对应于库所start的每一个标记,最终会有且只有一个标记出现在库所end中;
2 当库所end出现时,其他所有库所都是空的
3 对每个变迁(任务),从初始状态都能够到达该变迁就续的状态。
第一条保证了案例一定会结束;第二条保证了一个案例一旦结束就不会有活动依然在处理它;第三条排除了死任务,也就是任何任务都有机会被实施。
8
合理性
如何来判定工作流网的合理性呢?
1 可达图
2 活性有界性判断
3 合理替换法
Petri网一旦确定,被建模过程的可能行为就是确定的。绘制可达图是描绘工作流行为的方法之一。
可达图是一种有向图,由节点和有向箭头构成。每个箭头表示一种可能的状态改变。每种状态用一个元组表示。
10
可达性分析——可达图