SYSMOAS_ — Extend Derived Property conformance

The current requirements for Derived Property conformance (including the changes accepted in https://issues.omg.org/browse/SYSMOAS_-102 ) are too narrow.

• For the Query service, the text only focuses on the derived properties being computed and included in the results. However, it should also clarify whether the query can refer to (i.e. filter by) the computed values of derived features.
• For the Element Navigation Service, the text only mandates that the data structure returned at commit creation should have the derived properties filled in. However, ideally, derived features should also be filled in when requesting element contents for reading, without having updated them; this guarantee is omitted in the current text.
  • See the discussion at https://issues.omg.org/browse/SYSMOAS_-102?focusedCommentId=27339&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-27339 on why this is NOT already implied by the current text