Bank Account Entity’s Life Cycle
Transformation Literate Specification
OPENED
PREPARED
OPERATING
Restore
Eliminate
END
START
Open
Prepare
Enable
SUSPENDED
Close
CLOSED
Suspend
Deposit
Withdraw
Resume
Modify
transformation WITHDRAW {
   (MOMENT & LEVEL)
   [BEFORE ROW] {
      <check the user’s permission over transformation>
      <check the transformation’s permissions for changing the ...>
      <validate the column’s values>
      <deduct the quantity withdrawn from the account’s balance>
   }
   [AFTER STATMENT] {
      <save audit information at record level>
   }
}