SYSML2 — KerML constraint requires updates to Domain Library models

The approved resolution to KERML-20 adds the validation constraint validateFeatureValueOverriding that "All Features directly or indirectly redefined by the featureWithValue of a FeatureValue must have only default FeatureValues." There are a number of cases of models in the Domain Libraries that violate this constraint.

1. Analysis Domain Library – TradeStudy.sysml, argument in the invocation of tradeStudyObjective (see also SYSML2-491).
2. Geometry Domain Library
   • SpatialIttems::SpatialItem::componentItems::coordinateFrame::transformation::target is given a default, but is already bound
   • ShapeItems::Circle::radius is bound, but needs to be overridable
3. Quantities and Units Domain Library
   • Quantities::TensorQuantityValue::order redefines rank and is bound to mRef.order, but rank is already bound for an Array.
   • ISQSpaceTime::CartesianSpatial3dCoordinateFrame::mRef is bound, but needs to be overridable.
   • Several cases in ISQ models of dimensions = 3 even though, for a quantity value, dimensions is already bound to mRef.dimensions.
   • Time::Iso8601DateTimeStructure::mRef is bound to UTC, but it is already bound to UTC for a UTCInstanceValue.
   • VectorCalculations::transform::targetVector::dimensions is bound, but it is already bound for a VectorQuantityValue.