Предложен метод формализации процессов интеграции информационных систем, основанный на описании процессов их взаимодействия с помощью теории множеств. Под интеграцией понимается процесс объединения информации, принадлежащей различным системам. Метод позволяет проводить качественную оценку возможных способов интеграции и прогнозировать свойства интегрированных систем.
