“…In particular, in [1], formal mechanisms of composition programming are presented, in [2] the design of software systems by purposively transforming complicated data structures is provided by the method of formalized technical specifications, in [3], to increase the manufacturability and flexibility of design operations and provision of the adequacy of service and applied functions, a two-level model-oriented architecture of software systems is proposed whose application is regulated by the Sigma-Delta method, and, in [4], a graph model underlies the representation of information and logical connections between software systems. This line of investigation is especially topical in connection with the advent of specifications of model-driven architectures (MDAs) for software systems [5,6]; MDAs provide the following advantages over existing methodologies: the simplification of development of multipfatform systems, the simplicity of changing a technological platform, and the increase in the speed of development and quality of programs.…”