SysML 1.7 RTF Avatar
  1. OMG Issue

SYSML17 — Constraint Typos

Open Closed All
  • Key: SYSML17-464
  • Status: open  
  • Source: Elparazim ( Edward Roberts)
  • Summary:

    allAccessibleQuantityKinds() : QuantityKind[0..*]

    {unique}

    body: allAccessibleSystemOfQuantities()>collect(quantityKind)>flatten()->asSet() inv SoU3_3: getEffectiveSystemOfQuantities() = null or let aqk : Set(QuantityKind) = getEffectiveSystemOfQuantities().allQuantityKinds() in ->allUnits() ->forAll(u | aqk>includesAll (getKindOfQuantitiesForMeasurementUnit(u)))

    notice the "in ->allUnits()" ... something wrong here
  • Reported: SysML 1.6 — Tue, 20 Apr 2021 19:38 GMT
  • Updated: Fri, 30 Apr 2021 13:33 GMT