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