Literate Specification: A Framework for Documenting and Implementing Business Rules in the Database

Bank Account Entity’s Life Cycle
... Continuing

[TRANSFORMATIONS] {

<OPEN, ‘Create a new account’, INSERT>

<MODIFY, ‘Modify a new account’, UPDATE>

<ELIMINATE, ‘Delete a new account definitively’, DELETE>

<PREPARE, ‘Prepare for entering a new account ...’, UPDATE>

<RESTORE, ‘Restore the account preparation’, UPDATE>

<ENABLE, ‘Enable a prepared account for operating’, UPDATE>

<DEPOSIT, ‘Propagate the deposits to an operating ...’, UPDATE>

<WITHDRAW, ‘Propagate the withdrawals to an ...’, UPDATE>

<SUSPEND, ‘Suspend an operating account’, UPDATE>

<RESUME, ‘Resume a suspended account’, UPDATE>

<CLOSE, ‘Close a suspended account’, UPDATE>

}

OPENED

PREPARED

OPERATING

Restore

Eliminate

END

START

Open

Prepare

Enable

SUSPENDED

CLOSED

Suspend

Deposit

Withdraw

Resume

Modify