АВТОМАТНАЯ МОДЕЛЬ КОМПОЗИТНОГО ДОКУМЕНТООБОРОТА


Ссылка: Круковский М.Ю. Автоматная модель композитного документооборота. // Математичні машини і системи.-2004.-№4.-С. 37 - 50.

М.Ю. КРУКОВСКИЙ

Автоматная модель композитного документооборота

Abstract: This paper describes approach to creation models of composite workflow which is based on automata. For developed model are given determination methods of sets and its connectivity. Deliverables of this paper were used for creation of application software and development of modern workflow theory.
Key words: docflow, workflow, automata theory, workflow model.

Анотація: У статті розглянуто підхід к створенню моделей композитного документообігу на основі теоріі автоматів. Для розробленоъ моделі описано методи детерминування множин та їх зв’язності. Положення цієї статті можуть використані при створення програмного забезпечення та розвитку сучасної теорії електроного документообігу.
Ключові слова: електронний документообіг, процесне керування, теорія автоматів, модель документообігу.

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


1. Введение

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

2. Постановка проблемы

В современной науке считается, что теория автоматов появилась достаточно давно. Начало формированию теории положили исследования Алана Тьюринга, которые он проводил в 30-х годах прошлого столетия, то есть задолго до появления компьютеров. Тьюринг исследовал абстрактную машину, которая, по крайней мере в области вычислений, обладала всеми возможностями современных машин. Целью Тьюринга было выявление границы между тем, что вычислительная машина может делать и тем, чего она не может. В 40-х и 50-х годах прошлого столетия немало исследователей занималось изучением простейших машин, которые сегодня получили название конечных автоматов. Такие автоматы вначале были предложены в качестве модели функционирования человеческого мозга. Однако вскоре разработанный аппарат был успешно использован для решения задач программирования. В конце 50ых лингвист Н. Хомский приступил к изучению формальных грамматик. Не будучи автоматами, в точном понимании смысла этого слова, грамматики, формально тесно связаны с абстрактными автоматами и широко используются при их построении.
В настоящее время существует два основных представления теории автоматов – отечественное представление и зарубежное. Отечественное представление применяется для преподавания в ВУЗах и имеет большое академическое использование. Зарубежное представление повсеместно задействуется в современных зарубежных технологиях программирования и, вследствие этого, широко используется в практике. Сложно указать точный момент, в который разошлись отечественная теория и зарубежная, но на данный момент существуют расхождения даже в таких базовых определениях, как например, определение автомата. Тем не менее, принципиальных различий нет, что позволило автору настоящей статьи использовать для построения автоматной модели документооборота оба подхода. Отечественный подход был использован так, как он представлен в [1, 2], зарубежный подход был взят из [3, 4].
Базовой парадигмой теории автоматов является формализация изменений состояний некоторой математической модели системы в соответствии с некоторой предопределенной логикой осуществления преобразования информации. Это представление достаточно точно отражает представление документооборота в виде системы, в которой происходит изменение состояний документов (информации). Таким образом, очевидной становиться возможность применения автоматов для моделирования систем документооборота. Множественность точек исполнения, которая используется в современных автоматных моделях, позволяет реализовать сложные процессы документооборота с высокой степенью адекватности.
В современной науке аппарат теории автоматов уже применялся для представления систем документооборота. Например, в [5] представлена автоматная модель систем документооборота, поддерживающих совместную работу. Однако, на данный момент модели использовались только на архитектурном уровне, чтобы описать компоненты совместной работы и их взаимодействие [5]. То есть автоматами задается система в целом и взаимодействие систем между собой. Неразрешенной оставалась проблема представления внутренних процессов документооборота, реализующая собственно саму систему в виде автоматной модели. Научная новизна настоящей статьи состоит в том, что автоматная модель доведена до семантического уровня. С помощью формального автомата представлен сам процесс реализации документооборота и движения документов в организации.

3. Автоматная модель

3.1. Общие положения

В качестве моделируемого объекта в настоящей статье, как отмечалось выше, рассматривается так называемый композитный документооборот, то есть такой документооборот, в котором учувствуют, как электронные, так и бумажные представления документов. В качестве основы для вводимой автоматной модели будем использовать нотацию, введенную автором статьи в работе [6]. В соответствии с этой нотацией, композитный документооборот представляется тройкой: Дт = {У, Д, Ф}, где
Дт – формальная модель документооборота;
У – множество участников;
Д – множество действий;
Ф – множество состояний документов.
Нотация читается следующим образом «Документооборот – это множество действий, производимых множеством участников над множеством документов». Таким образом, предполагается, что все существующие процессы документооборота и те процессы, которые могут возникнуть в будущем в связи с модернизацией документооборота, могут быть представлены системой трех множеств. В рамках данной нотации не рассматривается семантика самого документооборота, то есть модель является общей и не привязывается к информации, хотя ее носителем и выступает.
В базовом определении [4] автомат – это некоторое гипотетическое устройство, которое распознает (или принимает) определенные последовательности из A*, где A – конечный алфавит, а A* - все возможные комбинации из символов алфавита. Различные автоматы распознают различные последовательности из A*. Подмножество символов из множества A, принимаемое автоматом M называется языком над алфавитом A, принимаемым M и обозначается M(L).
Для заданного конечного алфавита, автомат состоит из множества состояний S и множества функций F: A X S →S, называемых функциями переходов [1]. Множество S содержит начальное состояние и одно или несколько завершающих (решающих) состояний. Таким образом, автомат однозначно задается следующей пятеркой:
(A, S, , T, F), где A – алфавит, S- множество состояний, - начальное состояние, T – множество завершающих состояний, F – функции переходов. Обратим внимание, что входом для функции из множества F является последовательность из A и состояние из S, выходом является состояние из S (возможно то же самое). Если автомат находиться в состоянии s и читает a из A, то аргументы (a, s) являются входными для F и F(a, s) определяет следующий шаг.
Для примера рассмотрим некоторый автомат, который условно назовем A1. Действие автомата начинается с того, что он устанавливается в состояние . Если автомат получает значение a из A, то он переходит в состояние s = F(a, ). Если после этого автомат получает b из A, то он переходит в состояние = F(a, s). Таким образом, автомат продолжает получать входные символы и передвигается из одного состояния в другое. Зададим автомат M алфавитом A = {a, b}, множеством состояний автомата S = {, , } и функцией переходов F, которая задается таблицей 1:

Таблица 1. Функция переходов автомата

F
a
b


Рассмотрим работу автомата в том случае, когда он обрабатывает последовательность aba, то есть читает символ a, после этого символ b, после него символ a. В первоначальном состоянии автомат находится в состоянии . После чтения символа a, происходит выполнение функции F (a, ) = , что переводит автомат в состояние . При получении следующего символа b, происходит выполнение функции F (b, ) = . На последнем символе a происходит выполнение функции F (a, ) = и автомат остается в состоянии . В алгоритмической записи можно определить набор функций переходов настоящего автомата следующим образом:
Если состояние автомата и прочитано a, то перейти в состояние .
Если состояние автомата и прочитано a, то перейти в состояние .
Если состояние автомата и прочитано a, то перейти в состояние .
Если состояние автомата и прочитано b, то перейти в состояние .
Если состояние автомата и прочитано b, то перейти в состояние .
Если состояние автомата и прочитано b, то перейти в состояние .
Описанный автомат можно представить в виде диаграммы состояний, которая отображается в виде направленного графа. В вершины графа устанавливаются состояния автомата; дуга, направленная от состояния s к состоянию помечается символом a из алфавита А в случае если F(a, s) = . Исходя из вышеописанного способа отображения, автомат может быть представлен следующим образом:



Рис 1. Диаграмма состояний автомата M в виде направленного графа

При получении последовательности символов, то есть строки из алфавита A* автомат сначала принимает значение , затем и так далее до тех пор, пока не примет . Некоторые состояния помечаются специальным образом, как завершающие (принимающие) состояния. Говорят, что автомат распознает (принимает) последовательность значений , если после получения символа автомат переходит в завершающее состояние. Кроме завершающего существует еще одно специфическое состояние- начальное состояние. Автомат считается начавшим свою работу, если в цепочке его обработки присутствовало начальное состояние. Для обозначения начальных и завершающих состояний в диаграмме используются специальные обозначения.



Рис. 2. Обозначение начального состояния

Рис 3. Обозначение завершающего состояния

В диаграмме состояний автомата M используется описанная выше нотация конечного автомата. Рассмотрим соответствие понятий документооборота множествам, описывающим конечный автомат. Установим соответствие между этими множествами и, таким образом, покажем применимость нотации композитного документооборота [6] для создания автоматной модели.

3.2. Множество состояний документов

Множество состояний документов S получается путем анализа жизненного цикла документооборота. За время движения документов в соответствии с жизненным циклом, фактически эволюции, документ постоянно изменяется, проходит все промежуточные состояния от начального состояния документа к конечному состоянию. Путем декомпозиции жизненного цикла документа, он может быть представлен в виде совокупности состояний, которые принимаются или могут быть приняты документом. Все полученные состояния объединяются в множество, которое является полным для представления документа в модели документооборота.
Элементами множества состояний являются объекты, которые на уровне модели имеют свойства, присущие исходному объекту реального мира – документу. В эти свойства включается следующая совокупность – текст, изображения, аудио- и видео- материал. Кроме данных также задается поведение объекта в виде совокупности реакций документа на внешние и внутренние события. Такая совокупность реакций называется протоколом поведения объекта и используется в современном объектно-ориентированном подходе.
Рассмотрим характеристики множества состояний, которым мы можем описать уже на этапе определения. Прежде всего, в силу определения документооборота, которое было введено автором настоящей статьи в [6], множество состояний является конечным, хотя, возможно и очень большим. Кроме того, полученное множество является упорядоченным в том смысле, что одно состояние документа представлено во множестве только одним вхождением. Существуют другие отношения связности, которые являются недостаточно устойчивыми, чтобы их можно было использовать в модели. Например, существуют логические связи - сначала документ утверждается одним исполнителем, потом ставится виза другого, но собственно для выявления совокупности состояний эта информация не является значимой.
Таким образом, множество состояний S – это множество всех состояний, которые могут быть приняты документом в пределах моделируемого документооборота, где каждое значение уникально. Используя нотацию документооборота из [6] данное определения записывается следующим образом: {S}≡ {Ф}.

3.3. Начальные состояния

В рамках рассматриваемой модели документооборота под начальным состоянием подразумевают первоначальное состояние, в которое покупает документ после инициализации процесса. При представлении документооборота в виде совокупности процессов, начальное состояние представляет первый шаг, после которого можно говорить о том, что документ существует и процесс активизирован.
Классическая автоматная модель подразумевает существование только одного начального состояния, с которого начинает работу автомат. В то же время, в аппарате теории автоматов не существует жестких ограничений на то, что начальное состояние должно быть только одно. Можно говорить о том, что автомат позволяет реализовать множественность входов, иными словами возможна инициализация с нескольких различных состояний.
Использование множества начальных состояний вместо единственного состоянияпозволяет более гибко задавать модель документооборота. Например, рассматриваемый документооборот определяется как задача достижения некоторым документом завершающего состояния. Начало процесса может быть инициировано по факту возникновения различных событий, как-то обращение, жалоба и т.п.
Начальные состояния входят в общее множество состояний. Множество начальных состояний является подмножеством S. Поскольку в рамках нашей модели {S}≡ {Ф}, то можно утверждать, что является подмножеством {Ф}. Вхождение в множество {Ф} является необходимым условием определения начального состояния, а достаточным условием является отсутствие входных связей с другими состояниями одновременно с наличием исходящих связей в другие состояния. Таким образом, начальные состояния – это объекты, элементы множества Ф, которые имеют одну или несколько исходящих связей и ни одной входящей.

3.4. Множество завершающих состояний

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

3.5. Функции переходов

Автомат исполняет функции переходов для принятия решение о выборе следующего состояния. В качестве входных данных для принятия решения автомат использует состояние, в котором находится автомат и символ из алфавита A, поступивший на вход. В разных типах автоматов отличается порядок обработки входных данных, но при этом состав данных не изменяется.
В документообороте документ принимает следующее состояние в зависимости от результата действия, которое над ним произвели. Производимое действие определяет результирующее состояние, для которого входными данными для определения выбора являются: текущее состояние документа и участник процесса. То есть на каждом шаге документооборота происходит действие на основании процесса документооборота и на основании анализа текущего состояние документа и исполнителя, принимается решение о следующем состоянии документа.
Рассмотрим две нотации: документооборота из [6] и пятерку, описывающую автомат. Установим соответствие между множеством действий Д из нотации документооборота и множеством функций переходов F. При составлении автоматной модели документооборота для задания множества F будем использовать соответствующие элементы множества Д, то есть утверждается {F}≡ {Д}.
Исходя из вышеописанного, определим функцию перехода автоматной модели документооборота как i-й элемент множества действий {Д} документооборота, после выполнения которого, происходит смена состояния на состояние .

3.6. Алфавит

Как уже отмечалось выше, алфавит автомата – это множество из символов, наборы которого поступают или могут поступить автомату. Последовательности, составленные из символов алфавита, являются управляющими. То есть эти последовательности наряду с состоянием автомата являются определяющими при выборе его следующего состояния. Алфавит является конечным множеством, хотя и может быть достаточно большим.
В документообороте документ проходит множество исполнителей, причем иногда один исполнитель производит изменение документа несколько раз. Исполнителей может быть очень много, но их количество, пусть и большое является конечным. Историю жизненного цикла документа можно описать, перечислив всех исполнителей, принимавших участие в его производстве. Таких исполнителей принято называть участниками документооборота. Если обозначить каждого участника символом, то история документа будет представлена в виде последовательности символов, причем один и тот же символ может встречаться несколько раз.
Таким образом, во вводимой нами модели документооборота в качестве алфавита автомата будем рассматривать список участников. Символами обозначаются ролевые участники, то есть такие исполнители, роль которых может быть формализована и документирована. Из этих символов образуются последовательности, которые обрабатываются автоматом модели. Последовательности символов, которые обрабатываются автоматом документооборота, являются допустимыми для модели. То есть такие последовательности символов приводят к корректному выполнению процесса документооборота и получению результирующего документа. В свою очередь, последовательности символов, которые не принимаются автоматом, реализующим модель документооборота, являются недопустимыми для данного процесса.
Возвращаясь к введенной в [6] нотации композитного документооборота, можно выделить множество участников {У} и установить его соответствие алфавиту автоматной модели. В описываемой модели устанавливается тождественность между алфавитом автомата документооборота и множеством участников, которое определенно в нотации документооборота ({A}≡ {У}).
Последовательности, принимаемые автоматом модели документооборота, являются его языком. Слова этого языка являются возможными последовательностями участников документооборота, участвующие в процессе работы над документом, что в результате приводит к достижению намеченного результата.

3.7. Синтез модели

Теперь, когда в понятиях композитного документооборота определены все данные, необходимые для нотации автомата, можно однозначно определить автомат, который будет адекватно реализовывать модель документооборота.
Выше установлено соответствие между нотацией конечного автомата и композитного документооборота. Таким образом, после проведения декомпозиции процессов и синтеза модели {У, Д, Ф} можно построить автоматную модель документооборота, которая будет определена пятеркой (A, S, , T, F), где {{A}≡ {У}, {S}≡ {Ф}, =,{S}≡ {}, {F}≡ {Д}}. При этом на каждом шаге автомата, реализующего модель, множества, определяющие его состояния соответствуют множествам, определяющим жизненный цикл модели документооборота. То есть, существует однозначное соответствие между моделью автомата и моделью документооборота : {(=),(=),=,=}.
Нотация модели, введенная в настоящей статье пригодна для построения автоматной модели документооборота с использованием как детерминированных автоматов, так и недетерминированных. Применение каждого из видов автоматов имеет свои достоинства и недостатки.
Модель, построенная на детерминированных автоматах, позволяют строить модели, которые легче воспринимаются визуально. Для таких моделей проще построить программную реализацию. В то же время, при создании моделей процессов, имеющих сложную ветвящуюся структуру, автоматная модель на детерминированных автоматах получается большой и громоздкой. Как известно, любой недетерминированный автомат можно реализовать с помощью детерминированных автоматов.
Недетерминированные автоматы позволяют задавать сложные процессы, используя меньшее количество описательного материала. Однако, для наглядного восприятия они намного сложнее. Из приведенных рассуждений можно сделать вывод, что при небольших слаборазветвленных процессах лучше использовать детерминированные автоматы, в то время, как недетерминированные более удобны при задании процессов с большим количеством шагов и ветвлений.

3.8. Динамика в модели

Особый интерес представляет существующая возможность использования описанной модели документооборота в условиях динамичности реального мира. Очевидным является тот факт, что, несмотря на то, что модели представлены в виде конечных приложений с детерминированными интерфейсами, в реальной жизни процесс документооборота и входящие в него данные все время изменяются. Рассмотрим адаптивность введенной автоматной модели документооборота к изменчивости входных данных и структуры документооборота.
Модель подразумевает конечность множеств, которыми она определяется, но не накладывает ограничение на статичность их содержания. Можно говорить об адекватности поведения модели в случае динамического изменения данных. Предположим, что на некотором шаге документооборота i возникла производственная необходимость заменить действие, которое должно быть произведено. В таком случае в модели этого документооборота функция переходазаменяется функцией , соответствующей обновленной логике. После произведения замены, модель становится адекватной моделируемому объекту. Аналогичный пример можно привести и для случая множества состояний и множества участников.
Таким образом, поскольку динамическую корректировку позволяют все составляющие модели документооборота, можно утверждать, что модель адекватно отражает динамику реального мира. Поскольку современные технологии поддерживают как одновременность, так и распределенность процессов, то данное свойство модели является полезным при создании программного обеспечения.

3.9. Использование грамматик в модели

Использование аппарата теории автоматов для создания модели документооборота позволяет использовать некоторые апробированные методы автоматов для решения задач документооборота. В рамках настоящей статьи рассмотрим только одну из возможностей - использование КС (контекстно- свободной) грамматики.
Известно, что грамматика является КС-грамматикой, если ее может распознать конечный автомат. Поскольку введенная автоматная модель документооборота описывается конечными автоматами, то процессы документооборота могут быть представлены в в виде КС- грамматик. Для описания процессов с помощью грамматик, возьмем из [3] представление грамматики пятеркой G = (V, P, T, S), где T –множество терминалов, V – множество переменных, P- множество продукций, S- стартовый символ.
Множество терминальных символов (их еще называют терминалами) – это символы которых состоят или могут состоять последовательности (цепочки) из которых образуется язык. В случае описываемой в настоящей статье модели документооборота, терминальным символам соответствуют состояния документов. Для задания грамматик, представляющих процессы документооборота установим тождественность множества терминальных символов и множества состояний конечного автомата. Это множество уже было установлено нами тождественным множеству состояний документа из нотации документооборота [6]. Используя свойство дистрибутивности из теории множеств, получим, что множество терминальных символов тождественно множеству состояний документа в процессах композитного документооборота, то есть {T}≡ {S}≡ {Ф}.
Конечное множество переменных еще называют нетерминальными символами или синтаксическими категориями. Каждая переменная представляет язык, то есть множество цепочек, составленное из терминальных символов. Возьмем множество участников из нотации документооборота и установим его тождественность множеству переменных. Действительно, если рассматривать аналогию процесса документооборота и генерации грамматики, то документ начинает свое движение какого-то первого, начального исполнителя и двигается процессу через последующих исполнителей до тех пор, пока не достигнет своего конечного состояния. Поскольку в предшествующем определении автоматной модели документооборота уже было установлено соответствие множества участников и алфавита конечного автомата, то {V}≡ {A}≡ {У}.
Одна из переменных представляет определяемый язык, она называется стартовым символом. Остальные переменные представляют дополнительные классы цепочек, которые помогают определить язык, заданный стартовым символом. В рамках задаваемой грамматики процессов документооборота, установим соответствие стартового символа грамматики начальному состоянию конечного автомата, следовательно, начальному состоянию процесса документооборота.
Конечное множество продукций, или правил вывода, представляют рекурсивное определения языка. Каждая продукция состоит из переменной, символа продукции «→» и конечной цепочки, состоящей из терминалов и переменных. Она называется телом продукции и представляет способ образования цепочек языка, обозначаемого переменной в голове. По этому способу, терминалы оставляются неизменными, а вместо каждой переменной в тело подставляется любая цепочка, про которую известно, что она принадлежит языку этой переменной. В модели документооборота продукциями являются действия, которые производят участники над документами. Действительно, действие на основании полученного состояния документа и информации об участнике, производящем действие принимает решение об установлении следующего состояния. После установления состояния, процессе передает управление на следующий шаг, где следующее действие аналогичным образом устанавливает следующее состояние. Таким образом, продукции грамматик в модели могут быть заданы с помощью множества действий {Д} из нотации документооборота. Поскольку предварительно нами уже установлена тождественность множества действий и множества функций переходов конечного автомата, то можно установить {P}≡ {T}≡ {Д}.

3.10. Пример реализации автоматной модели

На базе разработанной теоретической базы автором настоящей статьи разработано и реализовано программное обеспечение, применяющее на практике автоматную и графовую модели документооборота. Данный программный комплекс состоит из двух основных функциональных компонент – архитектора процессов и двигателя документооборота.
Архитектор процессов представляет собой пользовательскую среду, позволяющую определить процессы, назначить роли и описать формы документов. Определение процессов происходит в графической среде, процессы документооборота представляются в виде направленных графов. При помощи системы совместной работы Lotus Domino производится определение форм и привязка к адресной книге. Затем в архитекторе устанавливается соответствие виртуальным ролям, описанным в процессе и конкретным исполнителям, заданным в адресной книге. В результате, создается графовая модель процесса, которая отображает видение документооборота архитектором процессов. После этого, графовая модель преобразуется в автоматную модель и сохраняется в репозитарии документооборота. Репозитарий используется для долговременного хранения разработанных процессов, в таком случае он исполняет роль библиотеки процессов. Кроме этого назначения, репозитарий используется для совместной работы при проектировании процессов. Несколько исполнителей имеет возможности одновременно или по очереди работать с проектом процессов, используя общедоступное место – хранилище процессов.


Рис 4. Экранный интерфейс архитектора

На рисунке 4 представлен экран пользователя, который занимается разработкой процесса документооборота. Процесс документооборота, который представлен в архиекторе соответствует автомату А1, который рассматривается в настоящей статье в качестве примера. Визуальное восприятие облегчает наглядное представление в виде графа. Программное обеспечение, реализующее архитектор, поддерживает хранение истории версий (версионность) и истории редактирования содержимого документа.
Двигатель документооборота обрабатывает полученные данные и реализует собственно процесс работы автомата. Спроектированные и сохраненные в репозитарии процессы, запускаются в исполнение путем передвижения документов от исполнителя к исполнителю в соответствии с действиями участников документооборота. Двигатель документооборота позволяет исполнять одновременно множество процессов, поддерживает работу множества пользователей и обеспечивает одновременную работу множества пользователей с множеством документами. Таким образом, обеспечивается коллективная работа исполнителей с документами, что значительно повышает скорость и эффективность по достижению конечного результата.




Рис 5. Окно пользовательского интерфейса.

На рисунке 5 приведен фрагмент пользовательского интерфейса системы управления процессами документооборота. В правой центральной части экрана, находится основное окно со списком документов, которые в данный момент находятся у пользователя. Проводя аналогию с бумажным документооборотом можно сказать, что это эквивалентно столу на котором лежат документы. В левой части экрана находится индивидуальный навигатор пользователя. Содержание навигатора зависит как от прав, которые имеет пользователь, так и от личного мнения пользователя о полезности информации.
Двигатель документооборота поддерживает возможность как удаленной, так и распределененой работы. Под удаленной работой понимается работа пользователей на виртуальных рабочих местах в пределах коммутации Intranet- соединений приложений. Современные решения требуют обеспечения мобильности пользователей приложений, особо это касается пользователей, принимающих решения. Распределенная работа обеспечивается путем репликации баз, которые территориально находятся на различных технологических площадках, то есть, распределены в пространстве.

4. Выводы

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

СПИСОК ЛИТЕРАТУРЫ

1. Карпов Ю.Г. Теория автоматов. – Спб.: Питер, 2002.- 224с.
2. Словарь по кибернетике. / Под редакцией В.С. Михалевича.-Киев: Гл. ред. УСЭ, 9189.-751с.
3. J. Hopcroft, R. Motwani, J. Ullman. Introduction to Automata Theory, Languages and Computation. – N.Y.: Addison-Wesley Publishing Company, 2001.- 527p.
4. J. Anderson. Discrete Mathematics with Combinatorics. – N.J.: Prentice Hall, 2001. – 807p.
5. Clarence Ellis. Team Automata for Groupware Systems. Phoenix, Arizona:ACM SIGGROUP. P.415-424
6. Круковский М.Ю. Концепция построения моделей композитного документооборота// Математичні машини і системи. – 2004. – № 2. – С. 149с – 163с.