借助Petri网进行流程审计  

Audit process using Petri net

作　　者：胡记兵 黄作明 柳巧玲 

机构地区：[1]南京审计学院 信息科学学院 信息系统审计实验中心,江苏南京210029

出　　处：《微型机与应用》2012年第16期74-77,共4页Microcomputer & Its Applications

基　　金：江苏省属高校自然科学研究重大项目(10KJA630022);教育部人文社会科学研究规划基金项目(12YJAZH035)

摘　　要：信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的程序真实地反映了组织的业务流程,也难保证信息使用者所获得的信息是正确的,也就是说对于访问数据的程序,存在外部干扰。引入数据库中的审计表功能,协助信息系统审计人员识别信息系统中数据的形成是否遵循了既定的业务流程。由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。The users of information tend to pay attention to information saved in storage media and omit programs which deal with information. Due to that there is more than one operation entry for information saved in storage media, even if program which deal with information truly reflect business process, it is hard to ensure that the information obtained by user of information is cor- rect. In other words, there exists external interference for programs which access data. This paper introduces function of audit table in database to help information system auditor identify whether established business process is abided by in the formation process of data in information system. Because Petri net is a powerful tool for describing process, it is necessary to introduce Petri net to au- dit complex process.

关 键 词：业务流程 审计 PETRI网 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]