基于RTWD网的工作流循环控制模式研究-计算机应用与软件.PDF

第２９卷第２期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．２ ２０１２年２月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｆｅｂ．２０１２ 基于ＲＴＷＤ网的工作流循环控制模式研究 胡飞虎　杨慧媛　张丹丹　吴晓宁 （西安交通大学电气工程学院　陕西西安７１００４９） 摘　要　　以ＲＴＷＤ网工作流模型为基础，提出了循环的形式化定义，包括环形路径、启用点、终止点、启用条件、终止条件、入口、 出口等，并基于该定义对循环模式进行了分类。介绍循环状态空间、事件、状态转换图的概念，并举例说明了如何通过循环控制表及 状态转换图实现对多重循环模式的控制。 关键词　　工作流　循环控制模式　ＲＴＷＤ网 中图分类号　ＴＰ３　　　　文献标识码　Ａ ＳＴＵＤＹＯＮＲＴＷＤＮＥＴＢＡＳＥＤＷＯＲＫＦＬＯＷＬＯＯＰＣＯＮＴＲＯＬＰＡＴＴＥＲＮＳ ＨｕＦｅｉｈｕ　ＹａｎｇＨｕｉｙｕａｎ　ＺｈａｎｇＤａｎｄａｎ　ＷｕＸｉａｏｎｉｎｇ （ＳｃｈｏｏｌｏｆＥｌｅｃｔｒｉｃａｌＥｎｇｉｎｅｅｒｉｎｇ，Ｘｉ’ａｎＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｘｉ’ａｎ７１００４９，Ｓｈａａｎｘｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｉｎｔｈｉｓｐａｐｅｒ，ａｆｏｒｍａｌｄｅｆｉｎｉｔｉｏｎｏｆｌｏｏｐｂａｓｅｄｏｎＲＴＷＤｎｅｔｗｏｒｋｆｌｏｗｍｏｄｅｌｉｓｐｒｅｓｅｎｔｅｄ，ｗｈｉｃｈｉｎｃｌｕｄｅｓｃｉｒｃｕｌａｒｒｏｕｔｅ，ｓｔａｒｔ ｕｐｐｏｉｎｔ，ｔｅｒｍｉｎａｌｐｏｉｎｔ，ｓｔａｒｔｕｐｃｏｎｄｉｔｉｏｎ，ｔｅｒｍｉｎａｌｃｏｎｄｉｔｉｏｎ，ｅｎｔｒｙａｎｄｅｘｉｔ，ｅｔｃ．，ｔｈｅｌｏｏｐｐａｔｔｅｒｎｓａｒｅｃｌａｓｓｉｆｉｅｄｂａｓｅｄｏｎｉｔ．Ｓｏｍｅｃｏｎ ｃｅｐｔｓａｒｅｉｎｔｒｏｄｕｃｅｄ，ｓｕｃｈａｓｔｈｅｓｔａｔｅｓｐａｃｅｏｆｌｏｏｐ，ｅｖｅｎｔｓａｎｄｓｔａｔｅｔｒａｎｓｉｔｉｏｎｄｉａｇｒａｍｏｆｌｏｏｐ．Ｉｎｔｈｅｅｎｄ，ａｎｅｘａｍｐｌｅｉｓｇｉｖｅｎｔｏｉｌｌｕｓｔｒａｔｅ ｔｈｅｃｏｎｔｒｏｌｌｉｎｇｍｅｔｈｏｄｏｆｍｕｌｔｉｐｌｅｌｏｏｐｐａｔｔｅｒｎｓｔｈｒｏｕｇｈｌｏｏｐｃｏｎｔｒｏｌｔａｂｌｅａｎｄｓｔａｔｅｔｒａｎｓｉｔｉｏｎｄｉａｇｒａｍｏｆｌｏｏｐ． Ｋｅｙｗｏｒｄｓ　　Ｗｏｒｋｆｌｏｗ　Ｌｏｏｐｃｏｎｔｒｏｌｐａｔｔｅｒｎ　ＲＴＷＤｎｅｔ 在实际的业务循环中，可能不仅包含复杂的环形结构，还可能具 ０　引　言 有复杂的控制方法（如循环中包含循环条件）。为了对循环的 结构和运行控制进行深入研究，创建循环的形式化数学语义模 工作流是一类能够完全或者部分自动执行的经营过程，它 型是有必要的。本文以一种工作流模型———ＲＴＷＤ网为基础， 根据一系列过程规则、文档、信息或任务能够在不同的执行者之 给出了循环的数学描述，对循环的模式进行了分类，定义了循环 间进行传递与执行［１］。然而，这种传递和执行过程并不一定是 的状态空间、事件及状态控制图，并采用循环控制表举例说明了 单向的，可能存在反复传递和执行的情况。如图 １所示的例子 复杂循环的运行控制方法。 中，部门Ａ将文档传递到部门 Ｂ后，部门 Ｂ可能会提出修改意 见，将文档发给部门Ａ，要求部门Ａ对文档内容进行完善。这个 １　基本概念 过程可能会重复若干轮后，文档才被部门Ｂ继续传递至下一个 环节。 １．１　ＲＴＷＤ网工作流模型 本文以文献［５］提出的一种网结构工作流模型———ＲＴＷＤ 网为基础，对复杂工作