The correctness responsibilities of these two layers are formally specified by a set of transformation properties and conditions.
Корректность распределения обязанностей этих двух уровней формально конкретизируется набором свойств и условий преобразования.