FORMALIZATION FOUNDATIONS TO COMPUTER AUTOMATED LIFE CYCLE MANAGEMENT TECHNOLOGIES OF CONSTRUCTION FACILITIES

The article provides a formalized model of object-oriented automated process control technologies at the construction facilities life cycle stages. The subject area is the life cycle of buildings and structures, the object of the analysis is the formalization of automated technologies for the construction facilities life cycle. The research uses the method of formalized description based on the constructive direction of the theory of algorithms, operating with the concept of K-processes. An important methodological principle of generating K-processes for obtaining constructive objects is introduced, such that K-processes are always object-oriented and are feasible only for a specific class of construction objects in the common data environment. A formalized model and scheme of development, management and generation of K-processes are proposed as the basis of object-oriented automated technologies for the construction facilities life cycle stages.