Круковський М. Ю. Побудова систем електронного документообігу на основі формальних моделей

Дисертаційна робота присвячена розробці теоретичних і практичних основ побудови формальних моделей електронного документообігу на основі апарату теорії множин, теорії ймовірності, теорії графів і теорії автоматів. Введено поняття композитного документообігу, який утворився, існує і динамічно розвивається на перетині електронних інформаційних технологій, а також традиційних управлінських процесів. Запропоновано, теоретично обґрунтовано і практично досліджено методологію представлення процесів документообігу. На основі теорії множин і сформованих формальних моделей СЕД введено поняття операцій СЕД. На основі операцій СЕД і бібліотек J2EE розроблено та програмно реалізовано проблемно-орієнтовану бібліотеку СЕД. Розроблена формальна модель СЕД, яка основана на взаємодії автоматів, що описана за допомогою графів. На основі моделі розроблено систему критеріїв ефективності. Наведено приклад практичного розрахунку ефективності на основі виробничих даних. У додатку до дисертації надано акти впровадження програмного комплексу в українських підприємствах. Запропоновані в дисертації моделі та набір методик реалізовані в інструментальному програмному комплексі, який реалізовує розгалужену гетерогенну інформаційну систему.