|
элементами одного множества, так и между элементами различных множеств. Примером отношений между элементами одного множества может служить задание причинно-следственных связей между состояниями в множестве Ф. Определение ролей документооборота, то есть влияние участников на конкретные состояния, приводящие к их изменению, определяется отношением элементом из множества У к элементам из множества Ф. Таким образом, отношения между элементами множеств задают отношения, совокупность которых определяет полный перечень бизнес-процессов организации, что предопределяет возможность полноты реализации системы. Для отображения отношений используются два типа связей — «один к одному» и «один ко многим». Теоретически возможно использование и связи «многие ко многим», однако в практике ее использование нецелесообразно, так как приводит к усложнению восприятия модели и логики ее работы. Применение графов в модели документооборота Для установления соответствия рассмотренной нотации графовому представлению применяется парная грамматика, представляющая собой композицию двух грамматик, между правилами и нетерминальными символами которых устанавливаются ‘ предтерменированные однозначные соответствия [43]. Таким образом, парная грамматика устанавливает однозначную связь между элементами языков, определенных двумя грамматиками. Будем рассматривать эту связь как систему перевода одного языка в другой, то есть систему соответствия их элементов. Для получения адекватной парной грамматики рассмотрим систему из двух языков, в которой первый язык — введенная нотация, то есть тройка множеств {У, ДУФ), второй язык — набор графов с направленными взвешенными дугами и вершинами [2]. Графовая модель документооборота При построении графовой модели документооборота используется следующий способ отображения документооборота графами: множества вершин графа задаются множество возможных состояний Ф, а ребра графа 52 |
44 образом, можно утверждать, что критерием успешности проведения детерминирования множества Д является связность элементов из множества Ф. 2.2. Синтез модели После актуализации тройки {У,Д,Ф}, можно утверждать, что между элементами множеств существуют отношения, которые определяют связи между элементами множеств. Отношения могут быть как между различными элементами одного множества, так и между элементами различных множеств. Примером отношений между элементами одного множества может служить задание причинно-следственных связей между состояниями в множестве Ф. Определение ролей документооборота, то есть влияние участников на конкретные состояния, приводящие к их изменению, определяется отношением элементом из множества У к элементам из множества Ф. Таким образом, отношения между элементами множеств задают отношения, совокупность которых определяет полный перечень бизнес-процессов организации, что предопределяет возможность полноты реализации системы. Для отображения отношений используются два типа связей «один к одному» и «один ко многим». Теоретически возможно использование и связи «многие ко многим», однако в практике ее использование нецелесообразно, так как приводит к усложнению восприятия модели и логики ее работы. 2.2.1. Использование графов в модели документооборота Для установления соответствия рассмотренной нотации графовому представлению применяется парная грамматика, представляющая собой композицию двух грамматик, между правилами и нетерминальными символами которых устанавливаются предтерменированные однозначные соответствия [25]. Таким образом, парная грамматика устанавливает однозначную связь между элементами языков, определенных двумя 45 грамматиками. Будем рассматривать эту связь как систему перевода одного языка в другой, то есть систему соответствия их элементов. Для получения адекватной парной грамматики рассмотрим систему из двух языков, в которой первый язык введенная нотация, то есть тройка множеств {У,Д,Ф}, второй язык набор графов с направленными взвешенными дугами и вершинами [26]. 2.2.2. Графовая модель При построении графовой модели документооборота используется следующий способ отображения документооборота графами: множества вершин графа задаются множество возможных состояний Ф, а ребра графа множеством действий Д. При этом, должны выполняться следующие правила: • одной вершине графа соответствует один и только один элемент множества Ф; • одному ребру графа соответствует один и только один элемент множества Д\ • одному элементу множества Ф соответствует одна и только одна вершина графа; • одному элементу множества Д соответствует одно и только одно ребро графа. Такое тождественное отображение множеств состояний Ф в множество вершин у и множества действий Д в множество ребер е математически определяется следующим образом: для любого / справедливо утверждение у(/) = Ф(/) и *?(/) = Д(/), где 1 = 1,2,...,п. То есть определяются две парных грамматики — первая грамматика для установления перевода Ф в у, вторая грамматика — для установления перевода Д в е . Таким образом, связи между вершинами тождественно соответствуют связям состояний моделируемого документооборота. В графе документооборота вершины графа соединяют ребра в том и только в том |