如何将以约束为中心的合金模型映射到编程语言代码？

Question

我非常喜欢通过简单地列出约束，然后运行合金分析器:找到满足约束的实例来设计合金模型。

但我突然意识到，将这种以约束为中心的合金模型映射到编程语言代码中可能很困难。可能不会有一个一对一的映射合金约束表达式，比方说，Java语句。实际上，将合金约束表达式列表映射到Java代码可能是相当困难的。

如果合金表达式和编程语言代码之间存在着巨大的语义/句法空白，那么合金的好处不是减少了吗？

不设计约束中心合金模型会更好吗？是否可以更好地设计以算法为中心的合金模型(即，使合金模型看起来像编程语言代码)，以减少语义/句法上的差距？

我很想听听你对此的想法。

Answer 1

我有两点意见：

1. 以一种基于约束的方式编程是可能的。请参阅逻辑编程语言。
2. 但是，即使您使用传统的编程语言:隐式地，模型总是存在的。它只是没有在程序代码中表达。

因此，在我看来，这一差距并没有减少合金的好处，这将是明智的，使您的模型尽可能声明。