Parfirova T. Explicative programming in macrocompositional environment

The thesis is devoted to the adequate theoretical modeling of software system projects on a unified conceptual foundation. The aim of the thesis is to formulate and to investigate a descriptologically correct explicative model of a software system design that should be related to traditional means of design description and also should be applicable to various domains. A known approach to the design phenomenon and to design representation is improved: relations that form a design are represented as entity-essence relations. A relation is shown between adaptive systems and open-close systems. A new approach is proposed to interaction phenomenon based on a three-part model able to self-evolution. Specific features that are common to various kinds of designs are investigated. The acyclic nature as their essential feature is revealed. On this base, an algebraic model is developed. New models for structure and behaviour of acyclic systems are described and investigated. An approach to educational automated environments based on entity-essence platform and on acyclic interactions of entities is proposed.