Formulation of elementary tasks of audit subsystems of accounting provisions precondition in IT decision support system

Abstract

Мета статті. Виконати постановку задач аудиту передумови Положень (стандарту) бухгалтерського обліку для ІТ системи підтримки прийняття рішень (СППР) як складових методики формалізації інформації при її проектуванні, виявити інваріантні задачі щодо особливостей підприємства. Результати. Встановлено, що є проблема універсальності автоматизованих засобів аналізу, а також повноти і універсальності ІТ аудиту. Відділено два типи структурних елементів предметної області первинного обліку, інваріантних відносно особливостей підприємства: об'єкт і операція. Це дозволило визначити структурні елементи інформаційної моделі предметної області: дані, що характеризують об'єкт, і дані, що характеризують операцію. Визначені два типи взаємозв'язків між елементами предметної області, що підпорядковані правилам передумови «Повнота», які формалізовано у вигляді графів відповідності. Перший між двома послідовними операціями, другий-між двома взаємопов'язаними об'єктами. Це зробило можливим визначити, що перевірку множини зв'язки первинних даних бухгалтерського обліку, які підпорядковані передумові, можна декомпозувати на перевірку двох видів взаємозв'язків, що виділені вище. На основі методології узагальненого-множинного відображення інформації виконана постановка двох типів елементарних задач аудиту. Це дозволяє декомпозувати задачу автоматизації аудиту передумови на два типи задач. К лю чов і с лов а : інформаційна технологія; СППР аудита; методика узагальнено-множинного відображення інформації; первинний облік.

Formalization method of the first level variables in the audit systems IT

“…Designing DSS IT in accordance with the method of generalized-multiple information display proposed in [11] requires the creation of a method for formalizing primary accounting information for the automated solution of prerequisites audit problems of Provisions (standards) of accounting. The first stage of creating the method is setting two types of local tasks of data analysis during the verification period [12]. The first local task is the definition of equivalent and nonequivalent sets when displaying data sets of operations among which are correspondence relations for accounting objects of one type.…”

Постановка Задач Автоматизованого Аналізу Даних У Підсистемі Аудиту Передумови Інформаційній Технології Системи Підтримки Прийняття Рішень

“…Проектування ІТ СППР відповідно до методики узагальнено-множинного відображення інформації запропонованої в [12] вимагає створення методики формалізації інформації первинного обліку для автоматизованого вирішення завдань аудиту передумов П (С) БО. Перший етап створення методики постановка елементарних завдань при проектуванні підсистеми аудиту передумови виконаний в роботі [13]. В [13] виділені два види елементарних задач і виконана їх формальна постановка.…”

“…Перший етап створення методики постановка елементарних завдань при проектуванні підсистеми аудиту передумови виконаний в роботі [13]. В [13] виділені два види елементарних задач і виконана їх формальна постановка. Перша елементарна задача -визначення еквівалентних і нееквівалентний підмножин при відображенні характеристик взаємопов'язаних операцій, між якими існують відносини відповідності до об'єкту обліку.…”

“…Для наочності і зв'язку з попередніми результатами автора [13] складові методики розглядаються на прикладі підсистеми аудиту передумови «Повнота» матеріальних витрат.…”