我想提一下在这个地址可以找到的问题：
Running alloy analyzers in parallel
是否有关于合金模型分解的持续研究或结论，以便对模型进行更优化的分析？
这对我很感兴趣 .
我也很喜欢这个话题 . 也许我们可以像这样思考它 . 当启动Alloy引擎来解决约束时，我们可以从Alloy调用一个函数并要求它解决一个约束 . 我想我们可以在集群模式下调用此函数，并要求每个节点解决一个约束 . 然后，我们可以计算每个节点的结果子集 . 请看这里例如：http://alloy.mit.edu/alloy/code/ExampleUsingTheCompiler.java.html
我不确定我们是否可以这样工作，但值得在MapReduce中考虑它，就像框架一样 .
1 回答
我也很喜欢这个话题 . 也许我们可以像这样思考它 . 当启动Alloy引擎来解决约束时，我们可以从Alloy调用一个函数并要求它解决一个约束 . 我想我们可以在集群模式下调用此函数，并要求每个节点解决一个约束 . 然后，我们可以计算每个节点的结果子集 . 请看这里例如：http://alloy.mit.edu/alloy/code/ExampleUsingTheCompiler.java.html
我不确定我们是否可以这样工作，但值得在MapReduce中考虑它，就像框架一样 .