> -- Руслан Богатырев писал(а):
> Проблема работы с кустом модулей, проблемы контроля спецификаций (контроль инвариантов), декларирование условий нештатного поведения (генерируемых исключений) и т.п. -- всё это можно решить без сильного изменения за счет нового конструкта (обобщающей конструкции) -- . Более того, можно рассматривать как вариант его введения прямо в Оберон, так и вариант надъязыка -- архитектурного языка, который оперирует модулями и обеспечивает их организацию (устанавливает и контролирует отношения).
Этот вопрос обсуждался здесь:viewtopic.php?f=2&t=489. Хотелось бы увидеть ваше решение этой задачи -- введение в BlackBox кластеров без изменения языка КП.