合金中的关系连接和算子

Question

我一直在审查Alloy，发现了一些我需要一些许可的概念。

首先，。 （点加入）。我得到了它如何适用于琐碎的例子，但在这种情况下：

sig B {}
sig A {
rel: B -> C
}
sig C {
rel1: B -> A
}
rel = {(a1,b1,c1), (a2,b2,c2)}
rel1 = {(c1,b1,a1),(c2,b2,a2)}
rel.rel1 = {(a1,b1,b1,a1),(a2,b2,b2,a2)}
rel1.rel = {(c1,b1,b1,c1),(c2,b2,b2,c2)

我没有得到rel.rel1或rel1.rel的结果。 有人可以解释它是如何工作的吗？

我也遇到了＆lt ;:和＆gt ;:运营商的问题。

提前致谢。

Answer 1

我的书（Software Abstractions，MIT Press，2012）中有很多例子详细解释了这一点。

此外，您可能会发现旧演讲中的这些slides有用：

从幻灯片80开始，有一个各种点连接的扩展示例。