# Окно концептуальной модели

Внешний вид окна просмотра и редактирования представлен на Рис. 1. Интерфейс основан на модуле РС-формы КС. В дополнение к функционалу РС-формы в модуле КМ добавляется атрибут Имя модели, а также индикатор статуса КМ.

Рис. 1. Иллюстрация окна просмотра и редактирования документа КМ.

Индикатор отображает статус модели, а также следующую сводную информацию о статусах интерпретаций конституент.

- Количество конституент, интерпретация которых еще не рассчитывались.
- Количество конституент, при расчете которых возникли сбои, либо достигнуты значения ограничителей на ресурсоемкость вычислений.
- Количество невыполненных аксиом (для текущих интерпретаций базовых понятий).
- Количество понятий, интерпретация которых пуста.

При перерасчете схемы (пункт меню Редактирование / Вычислить) интерпретации всех выводимых понятий и утверждений удаляются и последовательно рассчитываются на основе интерпретации базовых понятий (базисных множеств и родовых констант).

Модуль предоставляет возможность выделения РС-формы КС, на которой основана КМ. Для этого используется пункт меню Файл / Извлечь РС-форму КС.