TY JOUR TI FORMALIZATION FOUNDATIONS TO COMPUTER AUTOMATED LIFE CYCLE MANAGEMENT TECHNOLOGIES OF CONSTRUCTION FACILITIES KW construction facilities KW object-oriented automated technologies KW formalization KW K-process KW theory of algorithms KW formalized model KW common data environment KW life cycle JO Construction and Architecture AU Losev, Y.G. AU Losev, K.Y. PY 2022 IS 10 PB Publishing Center RIOR