Petri Nets工作流及其在审计管理中的应用

摘要

审计是商业银行风险防范的最后一道防线。随着我国进入WTO，商业银行在经营过程中面临的风险也越来越大。做好内部审计防范经营风险，成为商业银行工作的重中之重。审计管理系统是审计部门的业务支撑系统。审计管理是商业银行规范审计过程、降低风险、保障银行平稳发展的必要手段。 商业银行内部审计不同于外部审计过程，其流程随着银行的发展不断变化，甚至其审计流程根据项目类型和行业不同而不同。从而对商业银行内部审计管理系统来说，在灵活性、可定制性等方面提出了更高的要求。同时随着风险监管力度的加强，审计的频度也不断增加。为了保障多个流程或者同一个流程的多个实例的平稳运行，对审计系统可靠性能提出了更高的要求。 Petri Nets工作流是当今的一个研究热点。Petri Nets在工作流应用中解决了语义描述、图形化表示、模型验证、复杂流程设计、工作流并发调度等工作流技术中的难点。 商业银行审计管理项目有着业务流程变化频繁，流程复杂的特性。传统的工作流技术无法证明审计业务流程的可靠性。Petri Nets模型在工作流建模过程中，通过对Petri Nets有界性和活性验证，证明了工作流的可靠性。本文将Petr iNets工作流应用于审计管理系统中，做了以下有意义的尝试： 1．研究了银行审计业务，并据此设计了银行审计管理业务流程： 2．基于银行审计管理业务流程，设计了Petri Nets模型； 3．基于Petri Nets模型证明了业务流程的有界性和活性，确保其可靠性： 4．设计并实现了基于工作流的审计管理系统。 本文所设计的审计管理系统，已经在某商业银行审计管理平台系统的实际项目中得到了应用，并取得了较好的应用效果。

目录

声明

摘要

第一章前言

1.1研究背景

1.2工作流发展

1.3 Petri Nets工作流

1.4本文主要解决的问题

1.5本文结构

第二章工作流管理系统概述

2.1工作流技术的产生和发展

2.2工作流定义

2.3工作流管理

2.3.1管理系统定义

2.3.2管理系统功能

2.3.3管理系统分类

2.3.4传统管理系统存在的局限

2.4工作流建模

2.4.1工作流参考模型

2.4.2主要工作流建模技术介绍

第三章Petri Nets建模技术及其在工作流管理中的应用

3.1 Petri Nets概述及发展状况

3.2 Petri Nets定义

3.2.1经典Petri Nets定义

3.2.2 Petri Nets系统

3.2.3 Petri Nets基本性质

3.3工作流网(WF_net)

3.3.1工作流网的定义

3.3.2工作流网的基本结构

第四章审计管理平台系统业务建模

4.1业务流程概述

4.2项目立项阶段

4.2.1流程逻辑确定

4.2.2 Pctri Nets模型

4.3非现场准备阶段

4.3.1流程逻辑确定

4.3.2 Petri Nets模型

4.4现场审计阶段

4.4.1流程逻辑确定

4.4.2 Petri Nets模型

4.5审计结论阶段

4.5.1流程逻辑确定

4.5.2 Petri Nets模型

4.6项目结束阶段

4.6.1流程逻辑确定

4.6.2 Petri Nets模型

4.7 Petri Nets模型计算与验证

4.7.1 Petri Nets工作流计算规则

4.7.2 Petri Nets工作流验证规则

第五章审计管理系统设计与实现

5.1系统总体结构设计

5.2审计管理工作流引擎的设计和实现

5.2.1工作流引擎实现体系设计

5.2.2引擎内部系统之间的消息流动和控制

5.2.3触发机制

5.2.4消息控制器实现原理

5.2.5监视器实现原理

5.3系统数据库设计

5.3.1系统管理库表设计

5.3.2审计成果管理库表设计

5.3.3审计流程管理库表设计

5.4系统主要业务逻辑类设计

5.4.1审计实体业务逻辑设计

5.4.2审计项目业务逻辑设计

5.4.3审计文档业务逻辑设计

5.5系统主要模块功能介绍

5.5.1审计实体管理

5.5.2审计流程管理

5.5.3审计成果管理

第六章结论与展望

参考文献

致谢