《工作流管理:模型、方法和系统》第四章 分析工作流 读书笔记
4.1 分析技术
过程定义的正确性:
死锁:案例被锁住了,不能继续进行
活锁:案例被黏住了,进入死循环
4.2 可达性分析
可达图:可达图是一种有向图,由节点和有向箭头构成。每个节点表示一种可达状态,每个箭头表示一种可能的状态改变。
可以采用可达图判定工作流的正确性。
4.3 结构分析
定义过程时的常见错误:
a.任务没有输入和/或输出条件
b.死任务:任务永远不能被执行
c.死锁:在到达end前发生了阻塞
d.活锁:把案例带进死循环
e.当到达end后,仍有活动执行
f.案例完成后,定义的过程中任然存在标记
4.3.1 合理性
每个过程都必须满足一下要求:过程不包含不必要的任务,每个提交的案例必须能被完全完成,完成后再没有对案例的引用(过程中不再有案例的标记)。称符合这种最低要求的过程是合理的。
一个工作流是合理的,当且仅当符合下列3项要求:
a.对应于库所start的每个标记,最终会有且只有一个标记出现在库所end中;
b.当库所end中出现标记时,其他库所都是空的;
c.对每个变迁(任务),从初始状态都能够到达该变迁就绪的状态。
判定过程合理性的两种方法:
4.3.2 计算机支持的方法
4.3.3 不需要计算机支持的方法
4.4 性能分析
工作流性能主要反映工作流定量分析的特性,比如案例的完成时间、单位时间内处理的案例数量、职员利用率和在预订的标准时间内完成案例的百分比等。
考察工作流性能的三种主要方法:
a.马尔可夫分析方法:
对给定的工作流,可以自动生成一个马尔科夫链,利用它可以分析工作流某些方面。
b.排队论:
c.仿真:
工作流设计遵循的方针:
a.尽可能并行执行任务。并行处理能缩短完成时间。
b.争取提高资源弹性。确保资源能胜任尽可能多的任务。弹性资源的使用能够带来高水平的资源利用率和较短的完成时间。
c.尽可能按照处理时间为序来处理案例。通常,最好给处理时间段的案例比处理时间长的案例更高的优先级。这可以通过类选法或者其他优先级负责实现。
4.5 能力规划
能力规划总要基于特定的能力需求,能力规划说明每个时期都需要什么资源以及资源的类型。能力规划也分为短期规划和长期规划。
短期规划要考虑的重要因素:因病离开、工作流的波动、放假 、加班和临时工的雇佣。
长期计划,需要考虑需求预测、季节性影响、机器采购和招新策略等。
4.5.1 能力需求的计算方法
4.5.2 一些考虑可变性的基本排队论方法
在单位时间内,有a个新案例到达,需要被一个资源处理。这个资源单位时间内能够完成b个案例,则这个资源的能力利用率为 p = a / b。
如果假定处理时间和案例到达的时间间隔都服从负指数分布,过程中平均案例数量L= p / (1-p)。
平均等待时间(也就是完成时间减去处理时间):W= L / a = p / (b-a)。
平均系统时间(也就是全部的完成时间):S=W+1/b=1/(b-a)