OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

plcs-dex message

[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]