A business process gap detecting mechanism between information system process flow and internal control flow · Study