Formal Method of Structural-Logical Identification of Functional Model of Subject Area Polycubic Data Matrix
G.G. Kulikov, Vyacheslav V. Antonov, Almira R. Fahrullina, Ludmila Rodionova, Ansaf Abdulnagimov, Maria Shilina · Acta Polytechnica Hungarica · 2020
This work proposes a technique of presenting a system model of a subject area in the form of a category of processes.The rule of synthesis of self-organizing structure of process models is proposed.It is shown that the sequence of process decomposition compositions has the property of fractal transformations (self-like).The core of these transformations are commutative triangles that define the structure of interacting processes in composition-decomposition. Such structures have been shown to retain the properties of self-organization in accordance with the laws of the required diversity of the EShBI.The possibility of building a number of identical formal algorithms of control of integrity of the structure of initial processes, in case of violation of which "external" control is required, is shown.The proposed transformation is demonstrated by the example of synthesis of the self-organizing process of the agreement, the architecture of whichб is defined in ISO/IEC 15288 standard "System Engineering."Polycubic data organization for a software system is proposed herein.