Формализация процессов предпроектного обследования, проектирования ИУС и реинжиниринга объекта автоматизации

Abstract

Розглядається комплексний підхід до розгляду процесів передпроектного обстеження, проектування інформаційної системи і реінжинірингу об'єкта автоматизації. Пропонується формалізація даних процесів у вигляді узагальненої категорної моделі. Використання пропонованої категорної моделі дозволяє виділити завдання за узгодженою розробкою і розвитком моделей, що описують категорії, і методів, що реалізують функтори відображення даних категорій. The complex approach to the consideration of the pre-project survey, the design of the information system and the reengineering of the automation object is considered. The formalization of these processes in the form of a generalized categorical model is proposed. The use of the proposed categorical model allows us to single out tasks on the coordinated development and development of models describing categories and methods that implement the mapping functors of these categories.