我必须向Employee类指示，每个员工都可以通过其个人号码清楚地标识。我不知道我是否觉得太复杂，因为我没有真正的想法。
属性：最终的int人员编号...
您不提供您的元模型，并且显然要向每位员工提供其personelNumber是单值的，因此必定是唯一的。大概在诸如Company之类的范围内，personelNumber应该是唯一的，因此答案通常是类似的。
context Company
inv UniquePersonelNumber: employees->isUnique(personelNumber)