Навигация
3.2.4. Время в модели
Используемая в данной модели дискретизация состояний документов и событий, вызывающих изменение состояний, подозревает, что эти события происходят в некотором дискретном временном пространстве. Это значит, что производственная деятельность предприятия разделяется на соответствующие участки времени, каждый из которого содержит не более одного события по изменению состояний. Общая совокупность этих временных участков представляет жизненный цикл документооборота.
Проводя аналогию с кинематографом, можно сравнить процесс документооборота, протекающий во времени, с кинофильмом. В этом примере каждый временной участок дискретного времени документооборота представляется кадром фильма – снимком ситуации, в котором зафиксировано текущее состояние документооборота организации. Последовательная смена кадров образует анимацию, что представляет общий процесс движения документов организации во времени – последовательное изменение состояний множества после некоторых дискретных тактов.
Очевидно, что на практике в документообороте даже небольшого предприятия участвует некоторое множество документов. До сих пор основное внимание мы уделяли модели документооборота, состоящей из одного документа, состояния которого образуют множество состояний. Расширим нашу модель так, чтобы она отражала не один документ, а множество документов, что позволит представлять не только существующие документообороты, но и те, которые могут возникнуть в будущем. Для этого надо представить каждый из документов в виде множества состояний, возможных в пределах документооборота. Если произвести конкатенацию полученных множеств, то получится новое множество, т.е. совокупность элементов которых представляют все возможные состояния всех документов, которые участвуют в моделируемом процессе документооборота.
Описываемая динамическая модель документооборота представляет собой множество матриц, каждая из которых определяет состояние документов в единицу времени. Под единицей времени будем понимать момент времени между событиями, приводящими к изменению хотя бы одного состояния одного документа.
Представление модели в виде совокупности состояний, которые могут быть представлены в виде графа, позволяют выразить ее реактивность в терминах темпоральной логики. В работе [12] описано использование темпоральной логики на Е-сетях, являющихся мощным расширением сетей Петри. Таким образом, появляется возможность представления систем документооборота с помощью Е-сетей и реализации динамической модели, основанной на темпоральной логике. Такая реализация представляет самостоятельный интерес и будет исследована автором в дальнейшей работе.
3.2.5. Матричная форма представления
Для задания матричной формы представления документооборота будем использовать три множества из введенной ранее тройки 
. Считается, что на момент представления произошла актуализация множеств, то есть все состояния представлены множеством форм, все действия, приводящие к изменению состояний множеством действий, а участники, производящие действия, описаны в виде ролей в множестве участников. Предполагается, что задаваемая матричная модель будет представлять динамическую модель документооборота, оперирующую конечным количеством документов, при этом описывая в точности до дискретизации все события и состояния системы.
Для решения вышеописанной задачи предлагается использовать множество плоских прямоугольных матриц документооборота, каждая из которых представляет состояние системы в некоторую дискретную единицу времени. Столбцы матрицы документооборота ставятся в соответствие состояниям документов, возможных в пределах жизненного цикла документооборота. То есть первый столбец соответствует первому элементу множества 
, второй столбец – второму элементу и так далее, до последнего элемента множества . Строки матрицы документооборота ставятся в соответствие действиям, произведение которых приводит к смене состояния хотя бы одного документа. Первая строка соответствует первому элементу множества 
, вторая строка – второму и так далее, для всего множества . Таким образом, мы получаем прямоугольную матрицу со столбцами, количество которых равно размерности множества и строкам по размерности матрицы . Заполняется данная матрица элементами множества ролевых участников моделируемого документооборота 
. Элемент заполняется в клетку матрицы в том и только в том случае, если соответствующий участник производит действие, соответствующее элементу строки, что приводит к изменению состояния, соответствующего элементу столбца. В том случае, если на данном шаге документооборота действие строки не изменяет состояние столбца, то элемент матрицы заполняется пустыми или нулевыми значениями. Критерием успешности создания матрицы является ее невырожденность по столбцам и строкам. То есть в матрице существуют хотя бы один столбец, содержащий непустой элемент, и хотя бы одна строка, в которой присутствует непустой элемент. При этом предполагается, что для заполнения будут задействованы не все элементы множества ролевых участников .
Таким образом, мы получили матрицу документооборота, содержание которой однозначно соответствует состоянию документооборота на первом шаге. После возникновения первого события, а именно после того, как произошло первое действие, приведшее к изменению хотя бы одного состояния, произведем актуализацию матрицы документооборота. А именно, приведем содержание матрицы таким образом, чтобы элементы матрицы соответствовали текущему состоянию – второму шагу документооборота. Таким образом, на втором шаге мы снова получаем матрицу, заполненную участниками настоящего шага, находящихся на пересечении производимых ими действий и состояний, которые эти действия изменяют. Поскольку мы оговаривали, что количество шагов документооборота хоть и может быть большим, но все равно является конечным, то и сам документооборот может быть представлен в виде конечного множества описанных выше матриц. Каждая матрица представляет собой общее состояние всей системы композитного документооборота на момент времени, в котором не происходит изменения состояний документов.
Для иллюстрации содержательного смысла используемых понятий рассмотрим модель документооборота, построенную на основе предлагаемой графовой модели. В качестве основы возьмем процесс размещения заказа труб на одном из трубопрокатных заводов Днепропетровской области. Производственный смысл процесса состоит в том, чтобы на этапе получения заказа от холдинговой компании произвести согласования с необходимыми службами и включить заказ в планы работ. При этом производятся сверка загрузки производственных мощностей, доступных в запрашиваемый период, и модификация планов после размещения заказов в производство.
Настоящий процесс реализован в существующей системе документооборота реального предприятия и в настоящее время использован в производственной деятельности. На предприятии существует и реализовывается политика безопасности, в которой существуют ограничения циркулирования информации. В связи с этим ограничением в рамках настоящей статьи не будут использоваться реальные названия документов, описания производимых действий и должности исполнителей.
Для обозначения параметров модели будем использовать условные обозначения. Документы обозначим множеством форм, используемых в моделируемом процессе. Обозначим эти формы 
. Действия, производимые над документами для смены состояний, обозначим множеством действий 
. Исполнителей, производящих действия , обозначим множеством 
.
В рамках рассматриваемого процесса рассмотрим возможные сценарии, которые могут быть реализованы заданной моделью. Применим терминологию теории графов к модели документооборота. В таком случае возможные сценарии документооборота соответствуют путям графа. В заданном графе существуют три возможных пути, которые мы обозначим через ребра:
; 
и 
. Указанным путям соответствуют сценарии документооборота.
Построим матрицы документооборота, соответствующие рассматриваемым сценариям. На каждом шаге сценария реализуется шаг документооборота, соответствующий действию, производимому над документами.
Сценарий 1. На шаге 1 элементы матрицы 
, 
и 
, 
принимают соответственно значения 
и 
.
На шаге 2 элементы матрицы , 
и 
, 
принимают соответственно значения и 
, а на шаге 3 элементы 
, 
и 
, 
принимают соответственно значения и 
. Сценарий 2. На шаге 1 элементы матрицы, и , 
принимают соответственно значения и 
На шаге 2 элементы матрицы , 
и , 
принимают соответственно значения 
и 
, а на шаге 3 элементы , и 
, 
принимают соответственно значения и 
, а на шаге 4 элементы 
, и 
, принимают значения 
и .
Сценарий 3. На шаге 1 элементы матрицы, и , принимают соответственно значения и
На шаге 2 элементы матрицы , и , принимают соответственно значения и , а на шаге 3 элементы , и 
, принимают соответственные значения и 
, а на шаге 4 элементы 
, и , принимают соответствующие значения 
и .
Полученные матрицы инцидентности определяют графовую модель документооборота рассматриваемого процесса. Совокупность этих матриц задает все возможные сценарии движения документов в процессе, описывает все возможные состояния документов и определяет возможных участников.
Кроме матрицы инцидентности, граф удобно представлять и матрицей смежности. Как матрица инцидентности отражает отношения между вершинами и ребрами, так матрица смежности отражает отношения между собственно вершинами. В нашей модели матрица смежности отражает отношения состояний, элементами которой являются действия, приводящие к смене состояний.
Похожие работы
... (Hierarchical Finite State Machine). В следующем разделе рассмотрим описанную выше модель боле подробно. 3. Синтез автоматно–графовой формальной модели Адаптируем описанный выше математический аппарат для создания формальной модели композитного документооборота. Для решения этой задачи представим документооборот в виде связанной последовательности процессов, протекающих в дискретном ...
... то его реализация позволила не только функционального оперировать графами, но и их визуализации [7]. Впоследствии предпринимались попытки создания универсального языка, который бы заложил долгосрочную базу под будущие языки обработки графов. Один из таких языков – GXL (Graph Transformation Languge), построенный на базе существовавшего, на тот момент, математического языка обработки деревьев TXL ( ...
... основу формулы оценки эффективности положены обобщенный критерий эффективности и нотация дискретного композитного документооборота. Использованный обобщенный критерий эффективности исследован Г.С. Теслером в работе [2]. Нотация дискретного электронного документооборота рассмотрена автором настоящей статьи в работе [3] и исследована на примере формальной модели композитного документооборота. 3. ...
0 комментариев