基于Petri网的办公自动化系统研究.pdf

《基于Petri网的办公自动化系统研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、适应性；从开发和使用者角度来看，业务流程变更的滞后严重地影响了市场的响应速度，失去了市场机会和终端用户，同时对于系统集成商和软件开发商来说，业务流程小断变更，也使他们陷入系统开发和维护的困扰中。工作流技术正是顺应这一需求而产生的，它的发展目标就是实现一个高度灵活通用、可伸缩、安全可靠和可互操作的工作流管理系统，而其最重要的功能之一就是工作流建模，Petri网是一种广泛应用的建模方法。如今，国内的研究主要集中在如何将工作流技术思想应用到具体的系统设计之中。许多科研机构近年来都开始从理论层面和应用层面着手研发WfMS的系统模型。本

2、文就是基于对Pe廿i网的办公自动化系统的研究。办公自动化系统是企业应用软件体系的重要组成部分，它的总体目标是：(1)实现全公司内部联网，资源共享且保密性强，查询高效快捷，与其他分公司信息互联，提高办公效率；(2)实现企业内部各种基本办公活动的电子化，支持移动办公；(3)对文件处理的工作流转过程进行详细的跟踪记录，直观方便地了解工作流的全过程；(4)顺应企业的生产实际需要，实现部分业务、生产调度、资源调度功能，协调各个生产环节；(5)满足信息传递的随时性；(6)强大的数据收集和管理功能；(7)有多种协同工作和信息交流的手段；(8

3、)为不同的用户提供一个统一的入口，使界面一致，操作简单。2．系统的功能模块如图l所示。3．基于角色的访问控制(1)针对办公自动化系统用户规模较大，权限管理和验证比较复杂的情况，采用基于角色的访问控制(Role—BasedAccessControl，RBAC)策略来实现授权和访问控制，在应用中给用户赋予不同的角色和权限。基于角色进行授权有助于在工作流管理系统中实现任务的自动分配。(2)角色是一个或多个权限的集合，角色层次同时也体现了权限的继承关系，上层角色拥有下层角色所包含的权限。在RBAC中，角色是用户和权限之间的中介，一方面

4、权限与角色关联，另一方面，用户是相关角色所包含的成员。由于一个组织所拥有的角色是相对固定的，因此相对于用户——权限之间的关联，基于角色的授权机制降低了授权管理的工作量，避免了因用户的职位变动而引起的授权的改变，处理的方法就是将用户从当前的角色对应的人员集合中去掉，并给其赋予新的角色。4．系统角色清单表1系统角色清单角色名称职责系统管理员负责系统参数配置及文件调整设计者数据库的配置，系统参数的设计管理者负责本部门工作的批示，文件的签发作者负责文件编辑和传达读者各类文件的阅读作者简介：王亚琴，女，江苏南UlA．，硕士，实验师，研究

5、方向：计算机应用。一42—5．OA系统中工作流网的应用(1)收文管理系统如图2所示：图2工作流模型中的收文管理系统(2)收文管理系统的Petri网工作流模型如图3所示：图3用Potd网描述的收文管理工作流模型图用Petri嘲的不变量分析方法对工作流的工作流模型安全、有界以及无死锁进行研究。1)工作流网活性验证在此模型中，通过不变量分析方法建立状态方程来描述工作流网活性。M=Mo+CU来求解，其中设Mo=(1，0，0，0，0，0，0，O)为本系统模型的初始标识；M=(0，0，0，0，0，0，0，1)为本系统模型的终止标识，其关联

6、矩阵为：C=O一101一llOlO0O—l0O—l0l—lO1一lO1求解(1，0，0，0，0，0，0，O)7+CU．=(0，0，0，0，0，0，0，1)T，得到u=0，1，1，1，l，1)。要求该工作流网是活的，则需要验证经过转移变迁序列从TioT。一系列过程之后整个过程能够从初始标识又返回到终止标识。2)工作流网有界性验证有界性的验证的可转化为求解方程jY>0，CY<0的问题。而在本模型中，Y仅有零解满足以上条件。这样的工作流网模型不是有界的，因此需要对该工作流模型进行一些改进，让它变成有界的。图4是改进后的模型。圈4改进

7、后的模型(3)发文管理系统如图5所示：图5工作流模型中的发文管理系统(4)发文管理系统的Petri网工作流模型Yacs图6用Potri网描述的发文管理工作流模型图通过工作流网的思想对图6进行分析，得出该模型的性能如下：1)如果把变迁t·添加于该模型的终点位置O和源位置i中间，即’t·={o)且t·k{i}，则所得到的该Petri网模型是强连通的。2)模型中的每个节点都在从起始i到终止O的一条路径上。3)该模型运行在执行过程中每个任务都能执行到，即没有死锁现象发生。通过以上理论分析町知该模犁虽然是符合工作流网定义的正确的模型，但

8、在实际情况中却出现了逻辑卜的错误。在变迁B即校对修改的执行过程中出现了并行结构的“与连接”，出现了两个输入位置’B=(CI，C6)，要求库所C1，库所C6都存在令牌时，变迁B才能发生。而实际的情况是库所Cl有令牌存在，即文件起草结束，或者库所C6中有令牌存在，即文件未通过，两