工作流引擎全解.ppt

上海交通大学信息系统实验室 Lecture4 (B) 基于Petri网的建模技术 步丰林 bu-fl@cs.sjtu.edu.cn 2.3 过程 过程定义描述了所需的步骤和它们执行的顺序. (路由定义，步骤，工作流脚本)(销售订单，报税，保险赔偿申报) 过程定义由以下组成: 任务 (步骤，活动，过程元素)任务是原子的：提交或者回滚. 条件 (状态，阶段，需求)条件被用于确定某一任务是否可以被激活. 子过程 过程的分解 4 资源分配及管理规则 将工作项 (task + case) 分配到资源。 工作流系统的目标是为了尽可能快捷地完成工作项，为了实现案例到活动的转化； 工作流服务器必须决定: 由谁做什么，或者说活动的执行采用哪个资源。Push and pull control, load balancing, specialization, flexibility. 以什么样的顺序?FIFO, LIFO, SPT, EDD, priority control. （2）资源选择策略 让资源发挥专长，针对任务特性的划分专长； 让一个资源连续做类似的任务，缩短预热或准备时间； 预留弹性资源，让还有可选余地情况下，尽量让通用性好的资源空闲； （3）工作项分配资源的模式： 推模式：引擎工作流将资源“推”到工作项。 引擎把工作项和资源进行匹配，资源自身不能选择，一旦资源执行完一个活动，他就被分给一个新的工作项。 拉模式：资源“拉”动工作项。 资源主动考察能够执行的工作项，并从中选择一个。 一般采取介于推动和拉动之间的方法，采用拉动原则，同时用工作流引擎生成的工作项次序作为辅助手段。 资源排队原则 先进先出（FIFO） 后进先出（LIFO） 最短处理时间（SPT） 最短剩余处理时间（SRPT） 最早截止期限（EDD） 每一种排队规则所需的信息量存在很大不同。还有一些更高级的排队规则，甚至包含对未来状态的预测信息。 5 工作流的分析方法 可达性分析； 结构分析； 性能分析 能力规划 5.1 过程的可达性分析 Petri网的初始状态决定了哪些状态可以达到，以及他们的次序； 可达图（reach ability graph）被用来描述工作流的行为； 5.2 过程的结构分析 定义过程中常见的错误： 任务没有输入或输出条件； 存在死任务：任务永远不能被执行； 存在死锁：任务在到达end前发生了阻塞； 存在活锁：把案例带进无休止的循环； 在到达end后，仍有活动执行； 案例完成后，定义的过程中仍然存在标记； Situation A Situation B Situation C Situation D 合理性分析 每个合理（Sound）过程都必须满足以下要求： 过程不包含不必要的任务； 每个提交的案例必须能够完全完成； 完成后再没有对案例的引用； 5.3 性能分析 工作流的性能反映了工作流定量方面的特性： 案例完成时间， 单位时间处理案例数量， 资源利用率， 预定标准时间完成案例的百分比等。 工作流性能分析主要有以下方法： 马尔科夫链：实际上就是增加了转移概率的可达图； 排队论：难适应有并发路由的情况； 仿真：图示仿真工具应用较为普遍； 工作流过程设计要遵循的三个方针： 尽可能并行执行任务；并行处理能缩短处理时间； 争取提高资源弹性。确保资源能胜任尽可能多的任务，弹性资源地使用能带来高水平的资源利用率和较短的完成时间； 尽可能按照处理时间为序来处理案例，通常，最好给处理时间短的案例比处理时间长的案例更高优先级。 5.4 能力规划 能力规划说明每个时期都需要什么类型资源以及资源的数量； 能力规划可分为短期规划和长期规划。 在短期规划中，主要考虑的因素有工作量波动、病假、放假、加班、临时工的聘用等； 长期规划中，主要考虑的因素有：需求预测、季节性影响、机器采购、招新策略等； 7 小结 基于Petri Net工作流建模的三个过程是过程定义、资源分类与资源分配； 工作流的主要概念有案例、任务、工作项、过程、活动、路由以及触发条件； 过程的分析是工作流建立及优化的基础； 基本排队论方法的过程分析 一个任务构成的过程。单位时间内，有λ个新案例到达，需要被一个资源处理。这个资源单位时间内能够完成μ个案例。 那么这个资源的能力利用率ρ ： ρ = λ / μ ： 假设处理时间和案例到达时间间隔都服从负指数分布，过程中的平均案例数量L: L = ρ/ (1 - ρ) 平均等待时间W： W = L/ μ= ρ/ (μ - λ) 平均系统时间S： S =W +1/ μ= 1/ (μ - λ) 对于某task，每小时平