Question: 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
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,

Account Entry +/balance: Quantity = entry->sum (value) + value : Quantity FIGURE 7.18 Classes for the account/transaction pattern. Transaction {entry->sum (value)=0}
Step by Step Solution
★★★★★
3.37 Rating (150 Votes )
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
