Formation of a condition for guaranteed achievement of the activity goal of an information system based on an operator equation

Modern realities require the creation of information systems that are guaranteed to achieve the goal of activity. The design of such systems can be performed on the basis of an operator equation that links the object model, the object›s action model, and the purpose of the object. It is advisable to search for the synthesis of the operator equation using the approaches of structural-functional synthesis. The purpose of the study is to propose a fairly general and, at the same time, practically oriented method for synthesizing an operator equation, which reduces the “curse of dimensionality” and transforms the creative intuitive process into a process ready for automation, that is, turns it into a routine. Methods. System analysis, morphological analysis, algebraic theory of morphisms. Results. The iSOFT method has been developed, which includes the following steps: 1) representing the target properties of the system as an algebra carrier, setting the appropriate signature, formalizing the performance criteria; 2) creation of an algebra for representing system elements and properties of elements, as well as an algebra for representing emergent properties; 3) search for exact or approximate substantial regularities for the synthesized system, compilation of the corresponding system of equations and inequalities; 4) the decision of the compiled system regarding the target properties, while the structure of the system is obtained automatically. The convergence and termination of the method are proved. Practical significance. The iSOFT method partly removes the «curse of dimensionality», maintains the connection between the created mathematical models and physical reality, and creates the preconditions for automating the process of creating information systems that are guaranteed to achieve the goal of the activity.