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

Bank Account Entity’s Life Cycle
Life Cycle Literate Specification

OPENED

PREPARED

OPERATING

Restore

Eliminate

END

START

Open

Prepare

Enable

SUSPENDED

CLOSED

Suspend

Deposit

Withdraw

Resume

Modify

lifecycle BANK_ACCOUNTS {

(TYPE_OF_RULE)

[STATES] {

<OPENED, ‘The Account is empty and recently created’>

<PREPARED, ‘The Account is prepared for entering in operation’>

<OPERATING, ‘The Account is operating’>

<SUSPENDED, ‘The Account is out of operation’>

<CLOSED, ‘The Account is closed’>

}