Modification of the Single-place Covariant Functor Model for the Process of Information System Cross-platform Migration

The object of the study is the process of cross-platform migration of information system (IS) software. It was determined that existing methods and tools of artificial intelligence do not allow to fully solve the problem of creating and using a formal mechanism for maintaining the integrity of the structural and behavioral features of IS models and its software during their mutual transformation. Modern research in this area is aimed, in particular, at defining and implementing individual functors and their models for specific IT products for various purposes. Therefore, conducting research on the use of a categorical-functor apparatus for the formal description of the process of cross-platform migration of IS software is relevant from a theoretical and applied point of view. The general model of a single-place covariant functor proposed by the authors of the study was chosen as the basic model. The features of using this model for the formal description of the process of cross-platform migration of IS software are determined. Two variants of the modified model of a single covariant functor have been developed, which allow describing the process of cross-platform migration of IS software during operation and validation of this IS. General methods of using modified models in the works and activities of the process of cross-platform migration of IS software have been proposed. An experimental verification of the obtained scientific results has been carried out. For such verification, the software of the information and analytical system of the management of a medical institution was chosen. The use of the modified model of a single covariant functor allowed us to present the work on cross-platform migration of the refactoring of the software source code as a functor implemented as a function in the C/C++ language. The results obtained allow us to recognize as promising the possibility of using modified models of a single-place covariant functor for the formal description of the information technology of automated management of the process of cross-platform migration of IS software.