В роботі запропонована формалізація одного з ключових інструментів побудови специфікацій в рамках формального методу Бі, так званих узагальнених підстановок (generalized substitutions). Формалізація проводиться на основі принципів композиційно-номінативного підходу, запропонованого Нікітченко М.С.
Formalization of one important instrument of specification construction with B-Method is proposed, namely formalization of generalized substitutions is performed on the basis of composition-nominative approach, originated by M.S. Nikitchenko.