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

Combining Tags
for building patterns

Sequence

{ } First { }

{ } Next { }

{ } After { }

... ...

{ } Finally { }

If then else if

( ) { } If ( ) then { }

( ) { } Else if ( ) then { }

... ...

( ) { } Else if ( ) then { }

{ } Else { }