ОБОБЩЁННАЯ ИНТЕГРАЦИЯ КОНЕЧНОГО ЧИСЛА АЛГЕБРАИЧЕСКИХ МОДЕЛЕЙ ИНФОРМАЦИОННЫХ СИСТЕМ

Резюме: Излагаются два подхода к обобщённой интеграции конечного числа алгебраических моделей информационных систем. Второй, регулярный, основан на теории универсальных алгебр. Доказана теорема о существовании первообразной модели для строго изоморфных образов базовой модели и всех небазовых допустимых производных моделей, а также для строго гомоморфных образов всех базовых допустимых производных моделей.

Ключевые слова: обобщённая интеграция,  алгебраическая модель ИС,  допустимое разбиение,  строго изоморфный образ,  строгий гомоморфизм,  производная модель, первообразная модель.

V.M.Simonov

GENERALIZED  INTEGRATION  OF  FINITE  NUMBER  INFORMATION  SYSTEMS’S  ALGEBRAIC  MODELS

Summary: Two approaches to the generalized integration of a finite number of algebraic models of information systems are presented. The second, regular, is based on the theory of universal algebras. The theorem on the existence of a primitive model is proved for strictly isomorphic images of the basic model and all non-base permissible derivative models, as well as for strictly homomorphic images of all basic permissible derivative models.

Keywords:  generalized integration, IS’s algebraic model, acceptable partitioning, strictly isomorphic image, strict homomorphism,  derived model,  primitive model.

DOI:10.34219/2078-8320-2024-15-6-7-17