基于Petri网的动态工作流在OA系统中的应用

分类号 U D C 密级 学校代码! Q 垒窆2 武多凄理歹大署 学位论文 题目基主里曼垡圈鲍边查三簦速查Q 至缝主鲍廛旦 英文坠曼耻! i Q 塾i 鲤Q 坠迎型坠i Q 选垒Q 竖 题目旦垒璺鳗Q 坠趔丝丝i 望Q 墨Y 曼! 塑 研究生姓名 指导教师 孟艳平 申请学位级别 硕士 4 3 0 0 7 0 论文提交日期2Q ! ! 生垒旦论文答辩日期2 Q ! ! 生§旦 学位授予单位峦垫垄三盘堂学位授予日期 答辩委员会主席鲎墨评阅人奎丕蕉 周堑兰 2 0 11 年5 月 独创性声明 删 Y 1 8 8 d 芎§可。 本人声明，所呈交的论文是我个人在导师指导下进行的研究工作 及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方 外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为 获得武汉理工大学或其它教育机构的学位或证书而使用过的材料。与 我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确 的说明并表示了谢意。 签名：垂抱垩日期：三! 丛笙至旦兰5 f a 学位论文使用授权书 本人完全了解武汉理工大学有关保留、使用学位论文的规定，即： 学校有权保留并向国家有关部门或机构送交论文的复印件和电子版， 允许论文被查阅和借阅。本人授权武汉理工大学可以将本学位论文的 全部内容编入有关数据库进行检索，可以采用影印、缩印或其他复制 手段保存或汇编本学位论文。同时授权经武汉理工大学认可的国家有 关机构或论文数据库使用或收录本学位论文，并向社会公众提供信息 服务o ( 保密的论文在解密后应遵守此规定) 研究生( 签名) ：盂拖乎导师( 签名) ：溯期：动，f 年箩目2 铲日 摘要 为了适应市场竞争环境，企业需要对业务过程进行重组，规范企业的经营 管理，以达到降低生产成本、提高生产效率的目的。企业如何开发符合不同客 户需求、具有事务处理能力、能够适应各种变化环境的工作流，已经成为工作 流技术研究的一个热点。 目前有各种工作流建模模型，通过对这些模型进行比较，本文采用P e t r i 网 来对流程建模。P e t r i 网具有较强的数学理论基础，能够直观地描述业务流程。 本文改进了一种模型验证算法来验证用P e t r i 网建模的合理性和正确性。 传统的工作流在模型建立阶段，对业务过程进行建模，确定与业务过程相 关的任务、任务之间的流转关系以及相关的数据；流程的执行阶段，在任务执 行者的参与下流程按照预先定义的流转方向进行流转。但现实情况变化复杂， 无法在模型建立阶段就确定所有的情况，因此需要开发出能够适应变化环境的 动态工作流管理系统。本文分析了工作流的动态性，并实现了资源的动态修改 和工作流过程模型的动态修改，讨论了过程模型修改时实例迁移策略、实现了 模型实例的迁移。 目前人们考虑的事务主要是针对数据库的事务处理，而很少考虑工作流管 理系统中的事务处理，流程节点在执行过程中出现一些不可预测异常时不能保 证数据的一致性及原子性，因此研究工作流的事务处理具有较好的实际应用价 值。本文首先介绍了数据库事务处理的实现方法，然后对工作流事务模型进行 了分析，将工作流事务模型和传统事务模型、高级事务模型进行研究和对比。 在高级事务模型的基础上，本文实现了工作流的事务处理，提出了一种自底向 上的失效恢复算法，减少了一些不必要重复的工作，提高了系统运行效率，同 时事务恢复处理用后台代码来实现，因此工作流的事务处理对用户来说是透明 的，减少了用户使用难度。 本文以某中小型企业O A 系统实际项目为研究背景，将基于P e t r i 网的动态 工作流应用于实践。介绍系统中与工作流相关表的设计、各个模块的功能，详 细介绍工作流管理模块的实现方法。本系统应用于该企业中取得了一定的效果。 关键字：P e t r i 网；模型验证；实例迁移：事务处理；O A 系统 A b s t r a c t I no r d e rt oa d a p tt om a r k e tc o m p e t i t i o n , e n t e r p r i s e sh a v et or e s t r u c t u r eb u s i n e s s p r o c e s s e s ，s t a n d a r d i z ee n t e r p r i s em a n a g e m e n t ，r e d u c ep r o d u c t i o nc o s t sa n di m p r o v e p r o d u c t i v i t y H o wt od e v e l o pt h ew o r k f l o w , w h i c hs a t i s f yd i f f e r e n tc u s t o m e rn e e d s , h a v et h ea b i l i t yo ft r a n s a c t i o np r o c e s s i n ga n da d a p tt oc h a n g i n ge n v i r o n m e n th a s b e c o m eah o tr e s e a r c hi nt h ew o r k f l o wt e c h n o l o g y T h e r ea r ev a r i o u sm o d e l so fw o r k f l o wm o d e l i n g , b yc o m p a r i n ga l lk i n d so f m o d e l s ，W eU S eP e t r in e t st om o d dt h ew o r k f l o w P e t r ih a sas t r o n gt h e o r e t i c a l f o u n d a t i o no fm a t h e m a t i c s ，w h i c hc a nd e s c r i b et h et r a n s a c t i o np r o c e s si n t u i t i v e l y T I l i st h e s i si m p r o v e sam o d e lv a l i d a t i o na l g o r i t h mt ov e r i f yt h er a t i o n a l i t ya n dc o r r e c t o fu s i n gP e t r in e tm o d e l T r a d i t i o n a lw o r k f l o wm o d e lt h eb u s i n e s sp f o c e s si nt h em o d e l i n gb u i l ds t a g e ， i d e n t i f yb u s i n e s sp r o c e s s - r e l a t e dt a s k s ，t h er e l a t i o n s h i p sb e t w e e nt h et a s k sa n dt h e a s s o c i a t e dd a t a ；T h ei m p l e m e n t a t i o np h a s eo ft h ew o r k f l o w , w o r k f l o wp r o c e s si n a c c o r d a n c ew i t ht h ep r e - d e f i n e df l o wd i r e c t i o nw i t ht h ep a r t i c i p a t i o no fu s e r s H o w e v e r , c h a n g e si nt h er e a lw o r l di sc o m p l e x , i nt h em o d e lb u i l d i n gp h a s eW e c a n n o td e t e r m i n ea l lt h ec i r c u m s t a n c e s ，t h e r e f o r eW en e e dt od e v e l o pd y n a m i c w o r k f l o wm a n a g e m e n ts y s t e mt oa d a p tt ot h ec h a n g i n ge n v i r o n m e n t T h i st h e s i s a n a l y s e s t h ed y n a m i co fw o r k f l o w , i m p l e m e n t sd y n a m i cm o d i f i c a t i o no ft h e r e s o w c e sa n dp r o c e s sm o d e l ，d i s c u s s e st h ei n s t a n c em i g r a t i o ns t r a t e g ya n dr e a l i z e s t h em o d e li n s t a n c em i g r a t i o n N o wp e o p l ec o n s i d e rt h et r a n s a c t i o nm a i n l yf o rt h ed a t a b a s e ，b u tr a r e l yc o n s i d e r t h et r a n s a c t i o np r o c e s s i n go fw o r k f l o wm a n a g e m e n ts y s t e m ，w h e nu n p r e d i c t a b l e e x c e p t i o no c c u r si nt h ep r o c e s s ，i tc a n n o tg u a r a n t e ed a t ac o n s i s t e n c ya n da t o m i c i t y , t 1 1 e r e f o r et h er e s e a r c ho fw o r k f l o wt r a n s a c t i o nh a sag o o dp r a c t i c a lv a l u e T h i st h e s i s i n t r o d u c e st h em e t h o do fd a t i v e t r a n s a c t i o n ，a n a l y s i sw o r k f l o wt r a n s a c t i o nm o d e l ， a n dt h e na n a l y s i sa n dc o m p a r e si t 、i t l lt h et r a d i t i o n a lt r a n s a c t i o nm o d e la n da d v a n c e d t r a n s a c t i o nm o d e l O nt h eb a s eo fa d v a n c e dt r a n s a c t i o nm o d e l ，t h et h e s i sp r o p o s e sa s t r a t e g yw h i c hm a k e st h ew o r k f l o wh a st h ea b i l i t yo ft r a n s a c t i o