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