Как передать Sig из Alloy в Java и выполнить модель сплава из Java

Question

Я построил модель сплава, куда я поместил всю свою системную логику.Я хочу сделать крупномасштабный анализ.Для этого моя логика - использовать Java для чтения файла данных, а затем передать эти данные в Alloy, чтобы проверить, соответствуют ли они ограничению, которое я определил в Alloy, или нет.Для этого моя логика состоит в том, чтобы создать объект sig с использованием этих данных и передать их в Alloy.

Поскольку моя модель системы сложна, я пытаюсь обобщить мою проблему, используя следующий код: *

* 1004.*

Теперь я хочу передать следующий объект sig и выполнить команду из Java.

sig C{

name: String
}

run {} for 4

Как я могу передать этот код?Я перехожу по этой ссылке https://github.com/ikuraj/alloy/blob/master/src/edu/mit/csail/sdg/alloy4whole/ExampleUsingTheAPI.java.Но не в состоянии понять это.

Answer 1

В настоящее время существует ветка pkriens / api , которая делает это довольно простым. Посмотрите на тестовые случаи в проекте classic test .

Мы работаем над интеграцией этого в основную ветку в ближайшее время (до конца 2019 года).