【摘要】 信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的程序真实地反映了组织的业务流程,也难保证信息使用者所获得的信息是正确的,也就是说对于访问数据的程序,存在外部干扰。引入数据库中的审计表功能,协助信息系统审计人员识别信息系统中数据的形成是否遵循了既定的业务流程。由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。更多还原

【Abstract】 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 correct. 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 audit complex process.更多还原