22.3. Теорема

Алгоритм синтеза, образующий из нескольких модулей полную сборку, является консервативным шагом в процессе конструирования каждого такого модуля (сборки), поскольку модуль оказывается в силу Главной теоремы не только О-проекцией для сборки, но также и её проекцией по поведению, а значит – и её полной проекцией.

Консервативным шагом поэтому является и добавление новых модулей к синтезируемой сборке.

█

Назад Вперёд