51 Множество действий При проведении анализа создаваемой системы документооборота детерминируются и однозначно документируются связи между состояниями. Логика документооборота представляется в виде последовательности действий, которые приводят систему к смене одного состояния на другое. В результате синтезируется связанная последовательность действий, происходит преобразование документов от начальных состояний к требуемым (конечным). Эмпирика документооборота показывает, что при синтезе реальных моделей документооборота в организации часто сложно декомпозировать адекватно реальные процессы документооборота на совокупность четко разделенных дискретных процессов. Возникающие сложности связаны, в первую очередь, с субъективной составляющей представления о процессе документооборота. Множественность представлений порождает множественность реализаций и противоречия. В результате синтезируемые модели получаются громоздкими и плохоуправляемыми. Под определением действия как элемента базиса системы документооборота будем понимать, что действие это событие, возникновение которого однозначно приводит к изменению состояния хотя бы одного документа. Таким образом, множественность представлений может быть унифицирована путем объединения однонаправленных связей, соединяющих одни и те же состояния. Каждое состояние документа для своего возникновения требует некоего стробирующего события, то есть в системе должно произойти действие, которое приведет к возникновению этого состояния. Таким образом, можно утверждать, что критерием успешности проведения детерминирования множества Д является связность элементов из множества Ф. 2.3. Синтез модели корпоративного документооборота После актуализации тройки {У,Д,Ф}, можно утверждать, что между элементами множеств существуют отношения, которые определяют связи между элементами множеств. Отношения могут быть как между различными |
43 полнота и адекватность моделируемой системе документооборота, то есть после синтеза и программирования модели не может возникнуть ситуация, при которой документ надо будет перевести в состояние, не являющееся элементом множества Ф. Множество действий При проведении анализа создаваемой системы документооборота детерминируются и однозначно документируются связи между состояниями. Логика документооборота представляется в виде последовательности действий, которые приводят систему к смене одного состояния на другое. В результате синтезируется связанная последовательность действий, происходит преобразование документов от начальных состояний к требуемым (конечным). Эмпирика документооборота показывает, что при синтезе реальных моделей документооборота в организации часто сложно декомпозировать адекватно реальные процессы документооборота на совокупность четко разделенных дискретных процессов. Возникающие сложности связаны, в первую очередь, с субъективной составляющей представления о процессе документооборота. Множественность представлений порождает множественность реализаций и противоречия. В результате синтезируемые модели получаются громоздкими и плохоуправляемыми. Под определением действия как элемента базиса системы документооборота будем понимать, что действие это событие, возникновение которого однозначно приводит к изменению состояния хотя бы одного документа. Таким образом, множественность представлений может быть унифицирована путем объединения однонаправленных связей, соединяющих одни и те же состояния. Каждое состояние документа для своего возникновения требует некоего стробирующего события, то есть в системе должно произойти действие, которое приведет к возникновению этого состояния. Таким 44 образом, можно утверждать, что критерием успешности проведения детерминирования множества Д является связность элементов из множества Ф. 2.2. Синтез модели После актуализации тройки {У,Д,Ф}, можно утверждать, что между элементами множеств существуют отношения, которые определяют связи между элементами множеств. Отношения могут быть как между различными элементами одного множества, так и между элементами различных множеств. Примером отношений между элементами одного множества может служить задание причинно-следственных связей между состояниями в множестве Ф. Определение ролей документооборота, то есть влияние участников на конкретные состояния, приводящие к их изменению, определяется отношением элементом из множества У к элементам из множества Ф. Таким образом, отношения между элементами множеств задают отношения, совокупность которых определяет полный перечень бизнес-процессов организации, что предопределяет возможность полноты реализации системы. Для отображения отношений используются два типа связей «один к одному» и «один ко многим». Теоретически возможно использование и связи «многие ко многим», однако в практике ее использование нецелесообразно, так как приводит к усложнению восприятия модели и логики ее работы. 2.2.1. Использование графов в модели документооборота Для установления соответствия рассмотренной нотации графовому представлению применяется парная грамматика, представляющая собой композицию двух грамматик, между правилами и нетерминальными символами которых устанавливаются предтерменированные однозначные соответствия [25]. Таким образом, парная грамматика устанавливает однозначную связь между элементами языков, определенных двумя |