Композиционная семантика подстановок в метода

Abstract

В статье рассмотрены понятия подстановки и слабейшего предусловия, применяемые при построении абстрактных моделей в В методе, являющемся популярным формальным методом разработки программ. Указана формализация этих понятий на основе композиционного подхода.

The article describes concepts of substitution and the weakest precondition used in the construction of abstract models in the B method, which is a popular method of formal development of programs. Formalization of these concepts on the basis of compositional approach are considered.