Model and architecture process construction environment with tracing capabilities based on sematic technologies and using a model for object evolution

The construction and use of an environment for compositional description of computations (in the broad sense of the word) involves the solution of two, in a sense, diametrically opposed problems: on the one hand, we need means of debugging the constructed constructions, and on the other hand, we need means of preliminary verification to check the possibility and correctness of composition. In existing software solutions, the possibilities of both debugging and verification are limited or absent at all. Known formal models provide only partial solutions, not allowing to take into account the accumulation of state in the chain of processes. To develop a formal model for compositional description of computations with support of tracing and verification of correctness of composition and possibility to take into account evolution of objects. Building a program solution on the basis of this model. The paper proposes a complex solution to this problem by constructing a synthetic environment including: (a) conceptual constructs immersed as types in the computational environment, (b) the use of a specially organized environment with allocated placements in it, (c) the use of a special approach, formal and archi- tectural, for the semantic description of both objects and processes and their environment, (d) the use of a monad-like approach for the composition of computations. A subject-oriented language (DSL) in the form of a fluent API is sketched.