alloy - 并行运行合金分析仪？

Question

我想引用可以在这个地址找到的问题:

Running alloy analyzers in parallel

是否有关于合金模型分解的持续研究或结论，以便对模型进行更优化的分析？

这让我很感兴趣。

Answer 1

我对这个话题也很感兴趣。或许我们可以这样想。当启动 Alloy 引擎来解决一个约束时，我们可以从 Alloy 调用一个函数并要求它解决一个约束。我觉得我们可以在集群模式下调用这个函数，让每个节点解决一个约束。然后，我们可以计算每个节点的结果子集。例如，请参见此处:http://alloy.mit.edu/alloy/code/ExampleUsingTheCompiler.java.html

我不确定我们是否可以这样工作，但值得在类似 MapReduce 的框架中考虑一下。