SysML 1.7 RTF Avatar
  1. OMG Issue

SYSML17 — OCL is not syntatically correct see ->allUnits()

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

    inv SoU3_3: getEffectiveSystemOfQuantities() = null or let aqk : Set(QuantityKind) = getEffectiveSystemOfQuantities().allQuantityKinds() in ->allUnits() ->forAll(u | aqk>includesAll (getKindOfQuantitiesForMeasurementUnit(u)))
  • Reported: SysML 1.6 — Tue, 20 Jul 2021 16:13 GMT
  • Updated: Wed, 21 Jul 2021 14:05 GMT