FORMAL DESCRIPTION OF A GRAPHICAL NOTATION FOR REPRESENTING MODELS AS A WHOLE FOR METHODOLOGY OF AUTOMATION OF INTELLECTUAL LABOR

Glinkin Maxim Olegovich, Novoselova Olga Vyacheslavovna

The article presents a formal description of a graphical notation using three-dimensional visualization to represent models of automated systems according to the Methodology of Automation of Intellectual Labor (MAIL). The research aims to enhance the efficiency of modeling automated systems by providing a more comprehensive representation of models. Research methods: Systems approach. The study examines the description of MAIL models for the initial and conceptual modeling stages of subject tasks. As a result of the research, a correspondence between the entities of original MAIL models and the structure of the developed graphical representation was established, and its formal description was provided. This description advances the methods of initial and conceptual modeling and ensures alignment of the formed representation with MAIL models, facilitating the development of a methodology for shaping this representation.

Keywords:Methodology of Automation of Intellectual Labor, modeling of automated systems, conceptual modeling, graphical notation, three-dimensional visualization.