ПРОГРАММНЫЕ СИСТЕМЫ ПОСТРОЕНИЯ ДОКУМЕНТОВ: РАЗРАБОТКА И ДЕДУКТИВНЫЙ СИНТЕЗ

Предлагаемая работа посвящена вопросам автоматизации разработки и проектирования некоторых классов программных систем синтеза документов. Работа состоит из двух частей. В первой части описана разработанная авторами автоматизированная система синтеза документов. Во второй части на основе полученного опыта построена формальная схема построения подобных систем из логических выводов [2, 3].

В настоящее время большое значение для деятельности практически любой организации имеет возможность внедрения инструментов компьютерной обработки документации. Такие инструменты реализуются в различных системах электронного документооборота.

В самом общем виде система автоматизации документооборота – это автоматизированная многопользовательская система, сопровождающая процесс управления работой иерархической организации с целью обеспечения выполнения этой организацией своих функций. При этом предполагается, что процесс управления опирается на человеко-читаемые документы, содержащие инструкции для сотрудников организации, необходимые к исполнению [1].

На постсоветском пространстве имеется множество подобных программных решений (например, системы IRMDoc, ЭТЛАС ЭЛАР, Саперион, СЭД ТЕЗИС). Вместе с тем, для субъектов малого бизнеса, образовательных, научных и общественных организаций приобретение и внедрение таких систем затрудняется их неоправданно высокой стоимостью. С другой стороны, такие системы не охватывают все виды деятельности организаций, связанные с разработкой бумажных документов.

Одним из таких направлений является проведение различных научных, научно-практических, обучающих, зрелищных мероприятий. Тех разовых или непродолжительных по времени мероприятий, проведение которых обусловлено определенным числом участников. К таким мероприятиям относятся научные и практические конференции, обучающие тренинги, спортивные соревнования, различные выставки с большим числом экспонентов и пр. Одним из основных условий их проведения является первичная регистрация их участников, по информации из которой строятся различные программы проведения, каталоги, визитные карточки, дипломы, сертификаты и т.д.

В настоящей работе разработана принципиальная схема программной реализации автоматизированных систем синтеза документов, необходимых для проведения выставок. Отработаны механизмы проектирования программного обеспечения с применением облачных технологий.

В качестве примера разработана система автоматизации документооборота выставки, проводимой фелинологической организацией. Программа спроектирована с целью автоматизации следующих видов работ:

1. Составление и введение электронной базы данных выставки;
2. Составление и отправку на печать каталога для выставки;
3. Составление и отправку на печать визиток участников выставки;
4. Составление и отправку на печать оценочного листа выставки;
5. Составление и отправку на печать дипломов для номинантов выставки.

Разработка программы проведена с помощью среды Embarcader Rad Studio XE8. В качестве языка программирования выбран объектно-ориентированный язык программирования С++. В разработке участвовала команда программистов из 4-х человек. Взаимодействие между программистами осуществлялось с помощью распределенной системы контроля версий Git. Структура Программный комплекс (ПК) документооборота «Фелинология» представлена на рисунке 1.

Рисунок 1. Структура программного комплекса «Фелинология»

Программный комплекс (ПК) документооборота «Фелинология» предназначен для решения следующих основных задач:

-     Осуществление возможности работы с информационной базой;

-     Составление каталога конкурсантов;

-     Составление оценочных листов конкурсантов;

-     Составление визиток конкурсантов;

-     Составление дипломов конкурсантов.

После запуска программного комплекса на экране появляется главное окно, представленное на рисунке 2.

Рисунок 2. главная форма ПК «Фелинология»

ПК «Фелинология» состоит из шести программных модулей (каждому соответствует кнопка на входной форме) и развитой базы данных, объединенных общим интерфейсом. После заполнения регистрационной формы (кнопка «Добавить участника») автоматически формируются строка в базе данных, визитка, оценочный лист, диплом и запись в каталоге. После этого документы могут выводиться на печать.

Таким образом, с применением облачных технологий разработана схема проектирования автоматизированных систем синтеза документов, необходимых для проведения массовых мероприятий. На основе этой схемы возможна разработка относительно недорогих программных решений в рассматриваемой области.

ПК «Фелинология» внедрен в фелинологических организациях Алматы и Санкт-Петербурга.

Во второй части работы проведена формализация знаний о входных и выходных данных представленной системы, о программных модулях, связях между ними и т.п. Задание на построение программной системы представлено в виде формулы логики первого порядка:

 ,

где входные объекты кортежа , удовлетворяющие условиям , связаны с искомыми объектами кортежа  условиями . Далее строится логический вывод этой формулы, из которого извлекается требуемая программа.

На основе проведенной формализации предполагается построить обучающийся алгоритм, который по заданным параметрам «настраивает» доказываемую формулу, аксиомы предметной области и правила вывода. Такой алгоритм позволит строить программные системы рассматриваемого класса в автоматическом режиме.

Список литературы:

1. Бобылева М. П. Выбор программного продукта для автоматизации документооборота // Делопроизводство. – 2014. – № 2. – с.28.
2. Николенко А.Б. Автоматизация построения итерационных программ // Материалы 6-й Всероссийской мультиконференции по проблемам управления. – Ростов-на-Дону: Изд-во Южного федерального университета, т.1. – 2013.
3. Николенко А.Б. Интеллектное планирование и моделирование итерационных вычислений. // Modeling of Artificial Intelligence. // Academic Publishing House Researcher. ISSN: 2312-0355. E-ISSN: 2413-7200, Vol. 10, Is. 2, pp. 104-116, 2016.