ОБНОВЛЕНИЕ: Я наткнулся на эти слайды , которые показывают (на стр. 22), как добиться проекции, которую я хочу. Тем не менее, я не вижу, как скриншоты соответствуют используемому мной графическому интерфейсу: у меня есть только кнопка проецирования , а не панель конфигурации. Кстати, я использую Alloy 4.2 в Ubuntu Linux.
На странице 7 книги Software Abstractions (исправленное издание) автор утверждает:
IЯ дал указание анализатору «спроецировать» экземпляр на Book, что означает, что он показывает отдельный график для каждого объекта книги.
На рисунке 2.1 показан такой график, специфичный для Book_0.
Визуализатор имеет кнопку: Проекция , которая - при нажатии - предлагает список флажков (по одному на подпись). Когда я проверяю Book , график в визуализаторе меняется с этого:
на это:
, что совсем не похоже на цифры в программных абстракциях.
Насколько я вижу, кнопка проекции - это только способ изменения проекции: на слайдах, которые я нашел в Интернете, показан графический интерфейс с большим количеством параметров конфигурации, но я их нигде не вижу. Я что-то упускаю?
Как я могу визуализировать одну Книгу за раз, как показано на рисунках в главе 2?