SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — KerML constraint requires updates to Domain Library models

  • Key: SYSML2-492
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    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.
  • Reported: SysML 2.0a1 — Tue, 24 Oct 2023 16:50 GMT
  • Updated: Sun, 10 Dec 2023 22:44 GMT