В настоящее время я работаю над решением проблемы правильности преобразования модели . Я прочитал много статей и нашел, что доказатель теорем Изабель - хороший выбор для решения проблемы. Теперь я хочу использовать доказатель теоремы Изабель для анализа и проверки. Но я не знаю, как формализовать мой язык моделирования (включая исходную модель, целевую модель, само преобразование) с помощью собственного языка Изабель . Другими словами, я хочу быстро выучить формальный язык Изабель , чтобы описать мой язык моделирования. Я скачал много документации на официальном сайте, но не могу определить, как быстро начать работу. Я надеюсь, что исследователи в этой области могут дать несколько советов новичкам, большое спасибо.