alloy - 由于多个匹配，此名称不明确 :

Question

我有一个合金模型，它有 2 个签名，它们有一个同名的关系。

sig Model { 
    components : set Component
}

sig Port extends Element {
    belongsTo : Component
}

sig Component extends Element{
    belongsTo : Model,
    ports : set Port
}

当我尝试访问这些关系时 throw join 求解器抛出我:

A type error has occured:
This name is ambiguous due to multiple matches:
field this/Port <: belongsTo
field this/Component <: belongsTo

有什么方法可以明确指定我要访问关系 belongTo组件而不是端口一，当我这样做时:

all m : m.belongsTo | 

和 m 是模型？

谢谢。

Answer 1

你可以说

all x: m.(Component <: belongsTo) | ...