ST6RI-957 KerML 1.1 Ballot #3 - Abstract Syntax

[seidewitz]

This PR implements resolutions for issues that were approved on KerML 1.1 RTF Ballot 3 related to abstract syntax.

Changes

• KERML11-1 Binding connectors should not be considered owned cross features
  • Updated Feature.ownedCrossFeature operation per resolution.
• KERML11-3 Featuring type of the multiplicity of a cross feature
  • Revised implementation of checkMultiplicitRangeExpressionTypeFeaturing.
  • Note. There was a previous pro-active implementation of a resolution for this issue, but it was removed, because it was not consistent with the RTF-approved resolution.
• KERML11-68 End feature cannot be used in a feature chain expression
  • Revised implementation of check for validationRedefinitionEndConformance per resolution.

Resolutions for the following issues had been implemented previously.

• KERML11-69 Indexing Collection types (PR ST6RI-864 Additional semantic transformation bugs #669)
• KERML11-191 Problem with deriveTypeFeatureMembership (PR ST6RI-925 Problem with deriveTypeFeatureMembership (KERML11-191) #749)

Tests

• Added org.omg.sysml.logic.KERML11_Ballot3_Tests, which includes standalone tests for KERML11-1, KERML11-3 and KERML-191, which affect only the logic module. (It was too difficult to set up a programmatic test for KERML-69.)
• Updated KerML Xpect test Redefinition_End_Invalid.kerml.xt for KERML11-68.