Транслятор $UML$-спецификаций в исполняемый код

Статья посвящена проблеме трансляции спецификаций программных систем в исполняемый код. Описан транслятор UML-спецификаций в исполняемый код, входящий в состав системы ЗЕБРА. Дано описание входного языка, являющегося корректным расширением подмножества языка спецификаций UML (Unified Modeling Language), описаны принципы и алгоритмы трансляции, их ограничения.