Content area

Abstract

The development of intelligent decision support systems in auditing has been the focus of much research in auditing. The research in this dissertation constructs a domain of transaction processing. It is hypothesized that such a constructed domain forms one of the mental models that auditors must possess if they are to perform complex auditing tasks.

The research models the domain of transaction processing as a communication structure where the processing of transactions is performed by an execution and a recording subsystem. Each subsystem is defined as consisting of an initiation and completion function with the auditor's control concerns being expressed over these functions and across subsystems.

The model is used to generate auditor-like queries about an organization's control of its transaction processing from a representation of its transaction processing system. The model enables a computer program to simulate the process of an auditor examining the representation and generating queries about transaction processing controls. In a very restricted setting the program mechanically generates queries about the control of a sales transaction processing system.

Details

1010268
Business indexing term
Subject
Classification
Identifier / keyword
Title
A formalization of internal control evaluation
Number of pages
169
Degree date
1988
School code
0054
Source
DAI-A 49/10, Dissertation Abstracts International
ISBN
979-8-206-82039-3
University/institution
Columbia University
University location
United States -- New York
Degree
Ph.D.
Source type
Dissertation or Thesis
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
8827661
ProQuest document ID
303678266
Document URL
https://www.proquest.com/dissertations-theses/formalization-internal-control-evaluation/docview/303678266/se-2?accountid=208611
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Database
ProQuest One Academic