Uml OCL2.0约束，用于检查哈希表中是否存在键值对

如何使用OCL中的迭代特性编写OCL约束来检查哈希表中是否始终存在特定的键值对？我是OCL的初学者。任何提示或示例都会有所帮助。

请查看集合的唯一运算符。这可能是实现所需的更简单的方法。

如果您有兴趣使用

iterate

描述此类约束，OCL规范已经包含了收集操作的正式定义。