我想提到可以在此地址找到的问题:
Running alloy analyzers in parallel
为了合金模型的更优化分析，是否有关于合金模型分解的正在进行的研究或结论？
这使我非常感兴趣。
最佳答案
我在这个话题上也很有趣。也许我们可以这样考虑。当启动Alloy引擎求解约束时，我们可以从Alloy调用一个函数，并要求它求解一个约束。我认为我们可以在集群模式下调用此函数，并要求每个节点解决一个约束。然后，我们可以计算每个节点的结果子集。例如，请参见此处:http://alloy.mit.edu/alloy/code/ExampleUsingTheCompiler.java.html
我不确定我们是否可以像这样工作，但是值得在像MapReduce这样的框架中考虑它。
关于alloy - 并行运行合金分析仪？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/26335525/