collections - 如何在 OCL 中使用计数相关实例而不是属性

Question

例如，如果我有一个图书馆，并且向借阅者发行一本书的前提条件是它只能在它不是仅供参考并且尚未借给其他人的情况下才能发行，我可以说：

context Copy::issue() : Boolean
    pre: (referenceCopy and onLoan) == false

但这将使用 onLoan 属性作为书籍副本。相反，我想用收集方法来计算相关实体？

Answer 1

例如，您可以使用 isEmpty()

context Copy::issue() : Boolean
    pre: not self.referenceCopy and self.borrowers->isEmpty()

或计数（）

context Copy::issue() : Boolean
    pre: not self.referenceCopy and self.borrowers->count() = 0

如果需要，您可以省略上下文变量self。