The BR
are implemented as:
ØBR
packages, in which the top, middle and low level rules
procedures/functions are defined
Ø
ØDatabase
tables, where the transitions constraints are stored for enacting
in runtime
Ø
ØProcedures,
by which each transformation declared in the control package are
implemented
Ø