Capturing information processes with variable domains
Viacheslav Ernstovich Wolfengagen, Larisa Yusifovna Ismailova, Sergey Vladimirovich Kosikov · Procedia Computer Science · 2020
An approach to the construction of a computational model in which information processes are presented in the framework of theories without types, and they, in turn, are considered as special parts of typed theories, is proposed. Similar mixing was used in model studies for lambda-calculus. In contrast to them, in the present work, information processes correspond to parameterized metadata objects, which are variable domain constructs. Transformations of variable domains correspond to the spread of the process. Directional transformation provides the generation of metadata targets in the form of parameterized concepts. This simulates the evolving of the process, which allows the interpretation of the hidden time factor. The emerging model is purely process-based and provides a conceptual framework. The possibility of coding this framework with a system of interdependent lambda-terms is shown.