Research Article
An Authentication-Oriented Approach to Model the Crosscutting Constraints in Sequence Diagram Using Aspect OCL
| Functional constraint | Name | Description |
| Fc1 | Transaction amount limit for transfers and withdrawals | The transaction amount must be greater than or equal to 500 and less than or equal to 50,000. | Fc2 | Account updating in the event of a withdrawal or transfer | If the transaction is successful, the balance must be deducted from the account and the account must be updated. | Fc3 | Account updating in the case of a deposit | If the transaction is successful, the balance must be deposited into the account and the account must be updated. | Fc4 | Save transaction details | The transaction information must be saved. | Fc5 | Successful transaction | The transaction must be successful if the ATM withdraws cash, accepts cash, and transfers cash. |
|
|