Применение теории автоматов

Содержание

Ключевае слова:
Автомат
Программирование
Визуализатор
Нейронные сети
Микроконтроллеры
Документооборот

Построение моделей документооборота на основе конечно-автоматной модели теории автоматов

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

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

Использование автоматной модели в разработке спецификаций документооборота и программного продукта позволяет создавать системы более адекватные требованиям пользователей и обеспечивает возможность достижения совместимости приложений.

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

В качестве моделируемого объекта рассматривается так называемый композитный документооборот, то есть такой документооборот, в котором участвуют, как электронные, так и бумажные представления документов. Композитный документооборот представляется тройкой: Дт = {У, Д, Ф}, где

Множество состояний документов S получается путем анализа жизненного цикла документа. Это множество всех состояний, которые могут быть приняты документом в пределах моделируемого документооборота, где каждое значение уникально: {S}={Ф}.

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

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

В документообороте документ принимает следующее состояние в зависимости от результата действия, которое над ним произвели. Функцию перехода автоматной модели документооборота можно определить как i-й элемент множества действий {Д} документооборота, после выполнения которого, происходит смена состояния на состояние. {F}={Д}

Алфавит автомата – это множество символов, наборы которого поступают или могут поступить автомату. В качестве алфавита автомата следует рассматривать список участников.

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

Недетерминированные автоматы позволяют задавать сложные процессы, используя меньшее количество описательного материала. Однако, для наглядного восприятия они намного сложнее.

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

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

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

Рассмотренная отрасль в настоящее время быстро развивается. Проводятся дальнейшие исследования в данном направлении, особенно это касается применения КС-грамматик и создания программного обеспечения, реализующих описанную автоматную модель композитного документооборота в полном объеме.


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


X