This paper proposes a formal model of compositional computation based on the factorization of computational processes and a rigorous description of their structural properties. The model is defined by a set of definitions and rules that represent computations as a canonical composition of elementary operations with explicitly specified dependencies. It is shown that such factorization yields a linearly ordered representation of computations, simplifies the analysis of their structure, and enables the identification of invariant properties of the compositional form that remain implicit in traditional descriptions of computational processes. The proposed approach provides a foundation for a unified representation of compositional computations and may serve as a basis for further research on formal models in theoretical computer science.Introduction:
Sergei Zubov (Sun,) studied this question.