Концепция построения моделей композитного документооборота (стр. 4 из 6)

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

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

,

где

– конечное множество состояний, тождественное множеству из нотации, используемой в настоящей статье для представления документооборота;

– конечное множество входных символов, образующих входной алфавит и представляющее собой данные, которые поступают на вход системы документооборота;

– функция переходов, аргументами которой являются текущее состояние и входной символ, а значением – новое состояние;

– начальное состояние (или множество начальных состояний) из множества ;

– множество заключительных, или допускающих состояний из множества .

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

3.3. Логическая модель

После актуализации тройки множеств

, , , описывающих формальную модель системы документооборота, и построения таким образом концептуальной модели появляется возможность построить логическую модель. По Майклу Саттону [3] логическая модель должна дать ответ на вопросы «Что» и «Когда». Исходя из пользовательской схемы документооборота и протоколов взаимодействия элементов системы, определяется: «Что будет делать система?» и «Когда должен запускаться каждый из процессов?»

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

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

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

, , , а второй – набор графов с помеченными дугами и вершинами.

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

и . Направленность ребер отражает логику последовательности смены состояний.

Таким образом, состояниям

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

Пример такого графа приведен на рис. 2.