An Authentication-Oriented Approach to Model the Crosscutting Constraints in Sequence Diagram Using Aspect OCL

Table 1

Functional constraints.

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.