OoieMetaModel   Notation

State Model

State Type State Object Type Object Tuple State_ Rule Rule