• Document: УДК М.Ю. КРУКОВСКИЙ
  • Size: 179.91 KB
  • Uploaded: 2019-03-13 22:24:57
  • Status: Successfully converted


Some snippets from your converted document:

http://revolution.allbest.ru/dlt/captcha.cgi?n=7190 УДК 681.3 М.Ю. КРУКОВСКИЙ АВТОМАТНО–ГРАФОВАЯ ФОРМАЛЬНАЯ МОДЕЛЬ КОМПОЗИТНОГО ДОКУМЕНТООБОРОТА. Abstract: This paper describes approach of usage finite states machine for creating a system of of FSMs that are connected by graphs. Document management system implemented as a SM that operates with FSMs as a behavior models. In the paper covered issues of document management implementation based on hierarchical finite state machine. Key words: electronic document management, composite docflow, workflow, formal model, automat model, graph model, hierarchical finite state machine. Анотація: У статті розглянуто застосування скінчених автоматів для створення системи автоматів, зв’язаної графами. Документообіг представлено у вигляді автомата, який оброблює автомати, кожен із них моделює поведінку одиниці системи документообігу. У статті розглянуто моделювання складних систем документообігу за допомогою ієрархічного скінченого автомата. Ключові слова: електронний документообіг, композитний документообіг, процесне керування, графова модель, формальна модель документообігу, автоматна модель, графова модель, ієрархічний скінчений автомат. Аннотация: В статье рассмотрено применение конечных автоматов для создания системы автоматов, связанных графами. Документооборот представляется в виде автомата, обрабатывающего автоматы, каждый из которых моделирует поведенческую единицу системы документооборота. В статье рассмотрено моделирование сложных систем документооборота с помощью иерархического конечного автомата. Ключевые слова: электронный документооборот, композитный документооборот, процессное управление, формальная модель документооборота, автоматная модель, графовая модель, иерархический конечный автомат. 1.Введение В современном обществе идет процесс интенсификации вычислительных и информационных технологий во всех отраслях деятельности [1]. Внедрение электронного документооборота является актуальной задачей современного общества. Внедрение систем электронного документооборота позволяет сделать процесс движения документов управляемым и контролируемым, что обеспечивает более качественные услуги управления. При решении задач электронного документооборота большое значение имеет использование формальных моделей в проектировании, разработке и внедрении СЭД. Применение формальных моделей позволяет специалистам оперировать измеримыми объектами, к которым может быть применен апробированный математический аппарат. В отечественной и зарубежной науке существуют примеры применения теории графов и теории автоматов как самостоятельных формальных моделей документооборота. Одной из первых модель документооборота с применением теории графов была предложена в работе [2]. Зарубежные ученые рассматривали применение автоматов для моделирования информационного взаимодействия рабочих групп [3]. Другими авторами автоматы были использованы для моделирования

Recently converted files (publicly available):