|
ENTITY State_transition SUBTYPE OF (State_relationship); SELF\State_relationship.relating RENAMED end_state : SET [1:?] OF State; SELF\State_relationship.related RENAMED start_state : SET [1:?] OF State; END_ENTITY; -- State_transition |
Entity data types and their attributesState_relationshipname: STRING; (OPT) description: STRING; relating: SET [1:?] OF State; related: SET [1:?] OF State; State_transition (RT) relating->end_state: SET [1:?] OF State; (RT) related->start_state: SET [1:?] OF State; |
Global rules for this entity data type- |