第八讲-习题课.pptVIP

工作流技术 王 建 民 清 华 大 学 软 件 学 院 2004年/春 Main Contents Workflow Patterns Patterns The building blocks and architectural considerations The abstraction from a concrete form which keeps recurring in a specific non-arbitrary contexts “Best Practices” Workflow Patterns Typical Business Requirements for workflow language Business-context Categories of Patterns List of Workflow Patterns Basic Control Flow Patterns Pattern 1 (Sequence) Pattern 2 (Parallel Split) Pattern 3 (Synchronization) Pattern 4 (Exclusive Choice) Pattern 5 (Simple Merge) Main Contents 作业二：保险索赔 用如下三个新组件建模保险索赔过程： 矩形：表示任务，只有一个输入一个输出； 实心圆：路由节点，多个输入全部完成后，多个输出可以并行执行； 空心圆：路由节点，多个输入中只有一个能完成，之后多个输出中只有一个可以执行。 目标：初步掌握使用基本组件进行业务过程建模。 作业二：路由节点分析 作业二：原始图 作业二：完成情况分析 完成情况总结： 多数同学均独立完成了该作业，部分同学参考了习题答案； 多数答案和标准答案比较吻合，部分答案有些小的错误； 少数同学对题目的要求不是很清楚，给出的答案严重偏离了题意。 后面我们给出几类典型错误，并指出其存在问题。 作业二：错误1 没有理解实心圆的含义，导致选择分支并发执行； 忽略了空心圆的使用； 不必要条件的使用。 作业二：错误2 任务7包含了两个输出弧； 任务14的选择位置提前； 应出现在13之后 作业二：错误3 任务16包含多个输入弧。 作业二：错误4 对路由节点的理解不够充分，尤其是实心圆的性质。 作业二：错误5 全部用实心圆表示！ 作业二：错误6 实心圆与空心圆的错误配合。 作业二：错误7 实心圆与空心圆的错误匹配； 任务16为何包含输出？ 作业二：错误8 直接复制英文版中的答案：是复制，而不是参考。 作业二：正确答案 作业三：铁路网 一个环形铁路网由四条轨道组成。每条轨道处于以下三种状态之一： 占用中，即轨道上有火车。 已被申请，即一列火车已经成功获取了此轨道的使用权。 闲置中，即既没有被占用也没被申请。 在环形轨道上有两列火车正在运行，有火车的轨道被占用。要转到下一条轨道，火车要首先申请此轨道。只有闲置的轨道才能被申请。一旦火车转到另一轨道，原来占用的轨道就被释放。 我们可以不考虑火车的标识，而只考虑铁路网的状态。 要求：用简单的和纯的Petri网对铁路网的动态行为建模。 作业三：单条轨道 三个place： b：占用中，busy c：被申请，claimed f：闲置中，free 三个transition： occupy：占用 claim：申请 relese：释放 左面是对应的模型。 作业三：两条轨道原始答案 由于火车从释放一个轨道的同时占用下一条轨道，所以需要合并occupy和release两个变迁为一个transfer变迁，其条件为当前轨道占用中，且下一条轨道被申请； claim的条件变为当前轨道占用中，且下一条轨道限制中。 作业三：四条轨道原始答案 直接将两条轨道扩充至四条轨道，以便该铁路可以同时容纳两辆火车。 作业三：完成情况分析 完成情况总结： 多数同学均独立完成了该作业，部分同学参考了习题答案； 少数答案和标准答案比较吻合，多数答案有些小的错误。 后面我们给出几类典型错误，并指出其存在问题。 作业三：错误1 非纯网： b1既是claim_track的输入库所，也是claim_track的输出库所。 作业三：错误2 非简单网： 见bc1和c2，二者的输入集与输出集相同。 作业三：错误3 对Petri网的性质缺乏基本了解： 两个变迁之间存在连接弧。 作业三：错误4 库所a没有输出变迁，右下角的库所没有输入变迁； 存在死锁： 变迁n消耗左上角和右下角库所中的token后，整个网陷入死锁。 作业三：错误5 铁轨的busy状态表达不清，因为busy库所在busy时可能没有token，但发送回执到busy库所，显然还是认可了用busy库所存在token表明