如何在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 

可以忽略上下文變量自如果你想。