Как мы можем назвать Сплав с Java без открытия интерфейса?

Question

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

Answer 1

Ознакомьтесь с некоторыми примерами использования API сплава, которые не вызывают графический интерфейс сплава: http://alloy.mit.edu/alloy/alloy-api-examples.html