quantityKind <> null and quantityKind->notEmpty() OCL2.0 factor.unit.dependsOnUnits()->flatten()->asSet()->union(factor.unit->flatten()->asSet())->asSet() OCL2.0 allQuantityKinds()->includesAll(allBaseQuantityKinds()) OCL2.0 includedSystemOfQuantities->collect(allQuantityKinds())->intersection(quantityKind)->isEmpty() OCL2.0 allAccessibleSystemOfQuantities()->excludes(self) OCL2.0 allIncludedSystemOfQuantities()->intersection(self.oclAsSet()->closure(usedSystemOfQuantities))->isEmpty() OCL2.0 allAccessibleSystemOfQuantities()->collect(quantityKind)->flatten()->asSet() OCL2.0 self->closure(includedSystemOfQuantities->union(usedSystemOfQuantities))->asSet() OCL2.0 allIncludedSystemOfQuantities()->collect(baseQuantityKind)->flatten()->asSet()->union(baseQuantityKind)->asSet() OCL2.0 self->closure(includedSystemOfQuantities)->asSet() OCL2.0 allIncludedSystemOfQuantities()->collect(quantityKind)->flatten()->asSet()->union(quantityKind)->asSet() OCL2.0 allUnits()->includesAll(allBaseUnits()) OCL2.0 includedSystemOfUnits->collect(allUnits())->intersection(unit)->isEmpty() OCL2.0 allAccessibleSystemOfUnits()->excludes(self) OCL2.0 let aqks : Set(QuantityKind) = getEffectiveSystemOfQuantities().allQuantityKinds() in allUnits()->forAll(u | getKindOfQuantitiesForMeasurementUnit(u)->intersection(aqks)->notEmpty()) OCL2.0 allIncludedSystemOfUnits()->intersection(self.oclAsSet()->closure(usedSystemOfUnits))->isEmpty() OCL2.0 allPrefixes()->includesAll(allUnits()->select(oclIsTypeOf(PrefixedUnit))->collect(oclAsType(PrefixedUnit).prefix)) OCL2.0 allUnits()->includesAll(allUnits()->collect(dependsOnUnits())->flatten()->asSet()) OCL2.0 getEffectiveSystemOfQuantities() = null or let aqk : Set(QuantityKind) = getEffectiveSystemOfQuantities().allQuantityKinds() in allUnits()->forAll(u | aqk->includesAll(getKindOfQuantitiesForMeasurementUnit(u))) OCL2.0 self->closure(includedSystemOfUnits->union(usedSystemOfUnits))->asSet() OCL2.0 allAccessibleSystemOfUnits()->collect(unit)->flatten()->asSet() OCL2.0 getEffectiveSystemOfQuantities().allBaseQuantityKinds()->flatten()->asSet() OCL2.0 allIncludedSystemOfUnits()->collect(baseUnit)->flatten()->asSet()->union(baseUnit)->asSet() OCL2.0 self->closure(includedSystemOfUnits->union(usedSystemOfUnits))->asSet() OCL2.0 allUnits()->forAll(quantityKind <> null) OCL2.0 allAccessibleSystemOfUnits()->including(self)->collect(prefix)->flatten()->asSet() OCL2.0 allIncludedSystemOfUnits()->collect(unit)->flatten()->asSet()->union(unit)->asSet() OCL2.0 let abu : Set(Unit) = allBaseUnits() in if (abu->includes(u)) then u else if (u.oclIsKindOf(PrefixedUnit)) then abu->intersection(u.oclAsType(PrefixedUnit).referenceUnit->asSet())->any(true) else null endif endif OCL2.0 allBaseUnits()->includes(u) OCL2.0 getEffectiveSystemOfQuantities().allBaseQuantityKinds()->includesAll(result) OCL2.0 let bu : Unit = getAdoptedBaseUnitForMeasurementUnit(u) in if (bu = null) then Set{} else let qks : Set(QuantityKind) = getKindOfQuantitiesForMeasurementUnit(bu) in allBaseQuantityKinds()->intersection(qks) endif OCL2.0 systemOfQuantities = null implies includedSystemOfUnits->collect(getEffectiveSystemOfQuantities())->asSet()->size() <= 1 OCL2.0 if systemOfQuantities = null then includedSystemOfUnits->collect(getEffectiveSystemOfQuantities())->flatten()->asSet()->any(true) else systemOfQuantities endif OCL2.0 if (u.oclIsKindOf(SimpleUnit)) then u.quantityKind->collect(oclAsType(QuantityKind))->asSet() else if (u.oclIsKindOf(DerivedUnit)) then let du : DerivedUnit = u.oclAsType(DerivedUnit) in if (du.quantityKind <> null) then du.quantityKind->collect(oclAsType(QuantityKind))->asSet() else getKindOfQuantitiesForMeasurementUnit(du.factor->any(true).unit) endif else if (u.oclIsKindOf(ConversionBasedUnit)) then let cu : ConversionBasedUnit = u.oclAsType(ConversionBasedUnit) in if (cu.oclIsKindOf(PrefixedUnit)) then getKindOfQuantitiesForMeasurementUnit(cu.referenceUnit) else if (cu.quantityKind <> null) then cu.quantityKind->collect(oclAsType(QuantityKind))->asSet() else getKindOfQuantitiesForMeasurementUnit(cu.referenceUnit) endif endif else Set(QuantityKind){} endif endif endif OCL2.0 allUnits()->select(u | u.name = name)->any(true) OCL2.0 factor.quantityKind.dependsOnQuantityKinds()->flatten()->asSet()->union(factor.quantityKind->flatten()->asSet())->asSet() OCL2.0 Set(QuantityKind){} OCL2.0 referenceUnit.dependsOnUnits()->including(referenceUnit)->asSet() OCL2.0 isInvertible = true OCL2.0 not referenceUnit.oclIsTypeOf(PrefixedUnit) OCL2.0 isInvertible = true OCL2.0 Set(Unit){} OCL2.0 dependsOnUnits->excludes(self) OCL2.0 dependsOnQuantityKinds->excludes(self) OCL2.0