|
ENTITY State_assertion; name : STRING; description : OPTIONAL STRING; asserted_state : State; conformance_state : State_definition; END_ENTITY; -- State_assertion |
Entity data types and their attributesState_assertionname: STRING; (OPT) description: STRING; asserted_state: State; conformance_state: State_definition; |
Global rules for this entity data type- |