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.

Update the library models

1. Analysis Domain Library – This problem is fixed by the resolution to SYSML2-491, but it is still better to used name notation for the invocation, to make it clear that it is the subject that is being bound.
2. Geometry Domain Library
   • The SpatialItems::SpatialItem::items::coordinateFrame::transformation::target declaration can be removed.
   • Rather than binding ShapeItems::Circle::radius, the semiMajorAxis and semiMinorAxis can be bound to radius.
3. Quantities and Units Domain Library
   • The Quantities::TensorQuantityValue::order declaration can be removed.
   • In ISQSpaceTime::CartesianSpatial3dCoordinateFrame, xUnit, yUnit and zUnit attributes can be bound based on mRef, rather than the other way around.
   • All the dimensions = 3 declarations can be removed.
   • The Time::Iso8601DateTimeStructure::mRef declaration can be removed.
   • VectorCalculations::transform::targetVector::mRef::dimensions can be bound instead of targetVector::dimensions.