В статье рассмотрен подход к созданию моделей композитного документооборота на основе аппарата теории графов. Описаны методы детерминирования множеств для разработанной модели, предложена алгебра документооборота с использованием графов.
Аннотация к работе
После победоносного шествия компьютеров, в считанные годы вытеснивших печатные машинки из документотворческих процессов, казалось, до электронного будущего документов осталось совсем немного. Традиционный документооборот при всей своей различности форм и реализаций имеет одно значимое общее свойство - носитель. Поэтому сейчас для описания процесса изменения системы документооборота, сложившегося веками, используется определение, в котором механически объединены название носителя и объект реализации. Необходимость глубокой системной интеграции потоков управления и потоков электронных документов подчеркивал еще В.М. Глушков, сформулировав это в своем принципе автоматизации документооборота [6]. Постановка проблемы Целью настоящей статьи является формализация графовой модели композитного документооборота [6] и введение унифицированного аппарата детерминирования документооборота с помощью теории графов. Графовая модель документооборота Для построения графовой модели необходимо определить некоторый набор данных, которые будут приняты базисом. В соответствии с этой нотацией, композитный документооборот представляется тройкой: , где - формальная модель документооборота; - множество участников; - множество действий; - множество состояний. Отношения между множествами и элементами множеств рассмотрены ниже в п. 3.2. Именно в силу этого такой способ задания моделей называют предетерминированным документооборотом [IBM].