第四章工作流解释.ppt

第四章 分析工作流 主要存在两种类型的工作流分析方法：定性分析和定量分析。 定性分析（结构分析）：主要关心所定义过程在逻辑上的正确性，以及异常结构。 定量分析：主要考察所定义过程的性能，其重点在于建立一些性能指标，比如平均完成时间，服务水平和能力利用率等。 2 引入高级的信息系统后，业务的流程结构会变得比较复杂。 当使用顺序、并行、选择、循环同时定义同一过程时，判断过程的正确性可能会比较困难。 定义过程时常见的错误： 1 任务没有输入和（或）输出条件 4 2 死任务：任务永远不能被执行 3 死锁：在到达end前发生了阻塞 4 活锁：把案例带进无休止的循环 5 当到达end后，仍有活动执行 6 案例完成后，定义过程中仍然存在标记 工作流过程只有一个start和一个 end 一个工作流网是合理的，它必须符合下面三个要求： 1 对应于库所start的每一个标记，最终会有且只有一个标记出现在库所end中； 2 当库所end出现时，其他所有库所都是空的 3 对每个变迁（任务），从初始状态都能够到达该变迁就续的状态。 第一条保证了案例一定会结束；第二条保证了一个案例一旦结束就不会有活动依然在处理它；第三条排除了死任务，也就是任何任务都有机会被实施。 8 如何来判定工作流网的合理性呢？ 1 可达图 2 活性有界性判断 3 合理替换法 Petri网一旦确定，被建模过程的可能行为就是确定的。绘制可达图是描绘工作流行为的方法之一。 可达图是一种有向图，由节点和有向箭头构成。每个箭头表示一种可能的状态改变。每种状态用一个元组表示。 10 传统Petri网 11 （a,b,c）表示；a 代表claim中标记数量，b代表库所bunder_consideration中的标记数量，c代表库所 cready中的标记数量。 通过此图可以看出这个petri网有10个可达状态，每个节点代表一种 给出一个Petri网，其可达图是确定的，因此可以使用计算机来构造可达图 12 初始状态 最终状态 非确定性选择状态 13 yr1 rg1 gy1 red1 yellow1 green1 yr2 rg2 gy2 red2 yellow2 green2 X (0,0,1,1,0,0,0) (1,0,0,0,0,1,0) (1,0,0,1,0,0,1) (0,1,0,1,0,0,0) (1,0,0,0,1,0,0) 14 在petri网的start中放入一个标记，绘制可达图进行如下检测 检查可达图是不是只有一个最终状态 最终状态时只在end有一个标记 每一个任务的实施是否都对应了可达图中的状态转换 c1 c2 c3 c4 c5 c6 c7 1 大规模过程构造可达图需要大量的时间，没有计算机的支持几乎是不可能的 2 可达图对于不合理过程定义的修改贡献不大 c1 c2 c3 c7 t 活性：对于变迁t，从初始状态的任何状态都能到达该变迁的就绪状态，那么该petri网是活的 有界性：如果每个库所里的标记有上限，则该petri网是有界的 交通灯模型是典型的活的且有界的 如果一个工作流网添加上一个t*后，是活的且有界的，则这个工作流网是合理的。 假定开始有一组合理而且安全的工作流网，称为“构造块”。如果能基于这一组构造块，通过对网进行一定次序的替换，得到我们的工作流网，则证明我们的网是合理且安全的 21 如果W是合理的工作流网，那么经过替换后V也是合理的。 22 26 27 应用AND结构，让任务a和任务b并行处理 28 对a应用一个OR_split结构 29 采用顺序结构：任务a后增加任务d 30 应用顺序结构,任务b后增加任务e 31 对任务b采用隐式OR_split结构，增加任务f 32 对e应用循环结构，任务g被添加到工作流网中 33 采用顺序结构，任务e后增加任务h，最终得到最前面我们想构造的工作流网。 34 这是一个合理构造序列 c1 c2 c3 c4 c1 c2 c3 c4 c5 c6 c7 start end 40 41 1、如果c9是空的，就不能进行了； 2、如果一个form被处理，evaluate产生为c7 产生token，一个token就会留在c9；如果time_out发生，evaluate为c4产生一个token，c8,c4死锁； 3、如果c8先于c4产生token，process就不能进行了。 42 马尔可夫分析法 排队论 仿真 44 对给定的工作流，可以自动生成一个马尔可夫链，利用它可以分析工作流某些方面。 马尔可夫链实际上就是