|
ENTITY State_definition_relationship; name : STRING; relating : SET [1:?] OF State_definition; description : OPTIONAL STRING; related : SET [1:?] OF State_definition; END_ENTITY; -- State_definition_relationship |
Entity data types and their attributesState_definition_relationshipname: STRING; relating: SET [1:?] OF State_definition; (OPT) description: STRING; related: SET [1:?] OF State_definition; |
| Composition_of_state_definition (Foundation_state_definition_arm) |
| Sequence_of_state_definition (State_definition_arm) |
| State_cause_effect_definition (State_definition_arm) |
| State_complement_definition (State_definition_arm) |
| State_proper_subset_definition (State_definition_arm) |
| State_subset_definition (State_definition_arm) |
| State_symptom_definition (State_definition_arm) |
| State_transition_definition (Foundation_state_definition_arm) |
Global rules for this entity data type- |