About this document
Formalizing Internal Control Processes by Ellen Cipulo is a document available to read on EtoBox.
This document discusses formalizing business processes and internal controls through modeling them using a formal logic called Document Logic. It begins by providing background on internal controls and relevant legislation. It then describes modeling business processes by focusing on the flow of documents between different divisions. Documents have attributes like ID, type, and metadata to track authenticity. Events like creating, sending, and forging documents can be modeled. Transition rules define how st
- Author
- Ellen Cipulo
- Language
- EN