[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: representing_state_observed
New issues on representing_state_observed: 1. This capability currently uses ENTITY State_assessment; name : STRING; description : OPTIONAL STRING; assessed_state : State; comparable_state : State_definition; END_ENTITY; Hence this entity depends upon State_definition. Either this should be added to the usage section (via the modules) or representing_state_type (which is where this entity is defined) should be listed as a dependant capability. 2. This capability currently uses ENTITY State_assertion; name : STRING; description : OPTIONAL STRING; asserted_state : State; conformance_state : State_definition; END_ENTITY; Hence this entity depends upon State_definition. Either this should be added to the usage section (via the modules) or representing_state_type (which is where this entity is defined) should be listed as a dependant capability. regards, Tim
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]