In Figure 7.18, the Transaction class needs another invariant. A transaction cannot be linked to entries that are linked to the same account. Elaborate that invariant in OCL.

Figure 7.18, 

Transcribed Image Text:

Account Entry +/balance: Quantity = entry->sum (value) + value : Quantity FIGURE 7.18 Classes for the account/transaction pattern. Transaction {entry->sum (value)=0}