KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Update Kernel Model Libraries for validateFeatureValueOverriding constraint

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

    The approved resolution to issue KERML-20 added the validateFeatureValueOverriding constraint, which requires "All Features directly or indirectly redefined by the featureWithValue of a FeatureValue must have only default FeatureValues".

    1. The Transfers model in the Kernel Semantic library binds certain features that are intended to be overridden in user models, but such overriding now causes violations of the validateFeatureValueOverriding constraint:
      • Transfers::Transfer::isInstant
      • Transfers::SendPerformance::sentItem
      • Transfers::AcceptPerformance::acceptedItem
    2. In the ComplexFunctions model in the Kernel Function Library, the functions sum and product bind their result parameters. However, these results are overridden in the corresponding functions in RealFunctions, RationalFunctions and IntegerFunctions models, which violates the validateFeatureValueOverriding constraint. Similarly, the result of the VectorFunctions::vectorScalarMult function is overridden in its specialization cartesianScalarVectorMult, which also violates the constraint. Using a default feature value instead of binding would eliminate all these violations.
  • Reported: KerML 1.0b1 — Sat, 23 Sep 2023 21:16 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT