Навигация
3.1.3. Множество действий
При проведении анализа создаваемой системы документооборота детерминируются и однозначно документируются связи между состояниями. Собственно логика документооборота представляется в виде последовательности действий, которые приводят систему к смене одного состояния на другое. В результате синтезируется связанная последовательность действий, происходит преобразование документов от начальных состояний к требуемым (конечным).
Эмпирика документооборота показывает, что при синтезе реальных моделей документооборота в организации часто сложно декомпозировать адекватно реальные процессы документооборота на совокупность четко разделенных дискретных процессов. Возникающие сложности связаны, в первую очередь, с субъективной составляющей представления о процессе документооборота. Это приводит к тому, что различные специалисты организации, участвующие в документообороте, имеют собственное уникальное представление о роли документов и участников в процессе. Множественность представлений порождает множественность реализаций и противоречия. В результате синтезируемые модели получаются громоздкими и плохоуправляемыми. В статье под определением действия как элемента базиса системы документооборота будем понимать, что действие – это событие, возникновение которого однозначно приводит к изменению состояния хотя бы одного документа. Таким образом, множественность представлений может быть унифицирована путем объединения однонаправленных связей, соединяющих одни и те же состояния.
Очевидным является также тот факт, что каждое состояние документа для своего возникновения требует некоего стробирующего события, то есть в системе должно произойти действие, которое приведет к возникновению этого состояния. Таким образом, можно утверждать, что критерием успешности проведения детерминирования множества 
является связность элементов из множества 
.
Методика декомпозиции потоков реальных организаций на дискретные составляющие, которые группируются в представленные множества, приведена в работе [10].
3.2. Синтез модели
После актуализации тройки 
, можно утверждать, что между элементами множеств существуют отношения, которые определяют связи между элементами множеств. Отношения могут быть как между различными элементами одного множества, так и между элементами различных множеств. Примером отношений между элементами одного множества может служить задание причинно-следственных связей между состояниями в множестве . Определение ролей документооборота, то есть влияние участников на конкретные состояния, приводящие к их изменению, определяется отношением элементом из множества 
к элементам из множества . Таким образом, можно утверждать, что отношения между элементами множеств задают отношения, совокупность которых определяет полный перечень бизнес-процессов организации, что предопределяет возможность полноты реализации системы.
Для отображения отношений используются два типа связей – «один к одному» и «один к многим». Теоретически возможно использование и связи «многие к многим», однако в практике ее использование нецелесообразно, так как приводит к усложнению восприятия модели и логики ее работы. Если по какой-либо причине возникнет необходимость его использования, то этот тип связи может быть синтезирован с помощью двух предыдущих типов.
Таким образом, мы исходим из того, что документооборот организации задан в виде систем трех множеств, каждое из которых содержит конечное количество элементов. Предполагается также возможность изменения содержания множеств во время жизненного цикла процессов документооборота. Изменения элементов происходят дискретно таким образом, что каждому шагу изменений соответствует система со статическим содержанием множеств. Множество, состоящее из троек , описывает события, происходящие в системе документооборота, с учетом времени. Каждый из элементов множества соответствует общему состоянию системы на какой-либо определенный момент, называемый кадром.
3.2.1. Использование графов в модели документооборота
В данной статье уже введена нотация, которая задает систему композитного документооборота с достаточной степенью адекватности. Для установления соответствия введенной нотации графовому представлению будем использовать так называемую парную грамматику. Парная грамматика представляет собой композицию двух грамматик, между правилами и нетерминальными символами которых устанавливаются предтерменированные однозначные соответствия. Таким образом, парная грамматика устанавливает однозначную связь между элементами языков, определенных двумя грамматиками. Будем рассматривать эту связь как систему перевода одного языка в другой, то есть систему соответствия их элементов.
В нашем случае для получения адекватной парной грамматики рассмотрим систему из двух языков, в которой первый язык – введенная нотация, то есть тройка множеств , второй язык – набор графов с направленными взвешенными дугами и вершинами. Полученные два языка будем использовать для установления однозначного соответствия между понятиями теории графов и понятиями композитного документооборота, введенными и применяемыми автором этой статьи [8, 10].
Похожие работы
... (Hierarchical Finite State Machine). В следующем разделе рассмотрим описанную выше модель боле подробно. 3. Синтез автоматно–графовой формальной модели Адаптируем описанный выше математический аппарат для создания формальной модели композитного документооборота. Для решения этой задачи представим документооборот в виде связанной последовательности процессов, протекающих в дискретном ...
... то его реализация позволила не только функционального оперировать графами, но и их визуализации [7]. Впоследствии предпринимались попытки создания универсального языка, который бы заложил долгосрочную базу под будущие языки обработки графов. Один из таких языков – GXL (Graph Transformation Languge), построенный на базе существовавшего, на тот момент, математического языка обработки деревьев TXL ( ...
... основу формулы оценки эффективности положены обобщенный критерий эффективности и нотация дискретного композитного документооборота. Использованный обобщенный критерий эффективности исследован Г.С. Теслером в работе [2]. Нотация дискретного электронного документооборота рассмотрена автором настоящей статьи в работе [3] и исследована на примере формальной модели композитного документооборота. 3. ...
0 комментариев