Данная работа посвящена исследованию методов и подходов, описывающих аспекты формализации моделей электронного документа, связанные с формированием договоров в деятельности строительной организации ЗАО "Альянс-Гамма". Для описания статической структуры данных предложена модель, основанная на дизъюнктивной Workflow-схеме. Данная модель учитывает формализованные правила валидации данных и корректировки внутренних зависимостей между полями электронных документов. К основным методам исследований относятся средства анализа бизнес-процессов Process Mining, основанные на разработке и формализации Workflow-систем и ориентированных графов. Отдельным методом исследования и формализации документации бизнес-процессов можно считать теорию типизированных деревьев. Разработано программное обеспечение для формирования договоров в процессе обработки данных электронного документа, заполняемого участником документооборота. Разработанный набор моделей может быть использован при проектировании систем документооборота для формализации правил валидации данных и организации зависимостей между полями электронных документов. ИНФОРМАЦИОННАЯ СИСТЕМА, БИЗНЕС-ПРОЦЕСС, ПРОЦЕССНЫЙ ПОДХОД, ДИЗЪЮНКТИВНОГО WORKFLOW-СХЕМА, ФОРМАЛИЗОВАННЫЕ ПРАВИЛА ВАЛИДАЦИИ Дана робота присвячена дослідженню методів, підходів і моделей, що описують аспекти формалізації моделей електронного документа, пов'язані з формуванням договорів в діяльності будівельної організації ЗАТ "Альянс-Гамма". Для опису статичної структури даних запропонована модель, заснована на диз'юнктивній Workflow-схемі. Дана модель ураховує формалізовані правила валідації даних та корегування внутрішніх залежностей між полями електронних документів. До основних методів досліджень відносяться засоби аналізу бізнес-процесів Process Mining, які базуються на розробці та формалізації Workflow-систем та орієнтованих графів. Окремим методом дослідження і формалізації документації бізнес-процесів можна вважати теорію типізованих дерев. Розроблено програмне забезпечення для формування договорів в процесі обробки даних електронного документа, заповнюваного учасником документообігу. Розроблений набір моделей може бути використаний при проектуванні систем документообігу для формалізації правил валідації даних і організації залежностей між полями електронних документів. ІНФОРМАЦІЙНА СИСТЕМА, БІЗНЕС-ПРОЦЕС, ПРОЦЕСНИЙ ПІДХІД, ДИЗ'ЮНКТИВНІЙ WORKFLOW-СХЕМА, ФОРМАЛІЗОВАНІ ПРАВИЛА ВАЛІДАЦІЇ
