如何将Sig从Alloy传递到Java并从Java执行Alloy模型

我已经建立了一个合金模型，我把我所有的系统逻辑。我想做一个大规模的分析。为此，我的逻辑是使用Java读取数据文件，然后将这些数据传递给Alloy，以检查这些数据是否满足我在Alloy中定义的约束。为此，我的逻辑是使用这些数据创建sig对象并将其传递给Alloy

由于我的系统模型很复杂，我试图用以下代码总结我的问题-

sig A{
val: Int
}

sig B{
chunk: Int
}


fact {

    A.val > 10 && A.val < 15
}

---

我怎样才能传递那个密码？我正在关注这个链接。但是我还没弄明白。目前有一个分支正在进行中，这使得这很容易。查看项目中的测试用例

---

我们正在努力将其集成到主分支中（2019年底之前）

我相信这个问题的答案可能会有所帮助：

sig C{

name: String
}

run {} for 4