MagicDraw Clean XMI Exporter 2024x v6 MagicDraw Clean XMI Exporter 2024x v6 CheckLowerBound(value) and CheckLowerBound(defaultValue) and CheckLowerBound(literal) and CheckUpperBound(value) and CheckUpperBound(defaultValue) and CheckUpperBound(literal) OCL2.0 element=diagramElement->collect(element).asSet() OCL2.0 explication->isEmpty() implies reference->notEmpty() OCL2.0 isRelative=true implies relativeDuration->notEmpty() OCL2.0 isPeriodic=true implies period->notEmpty() OCL2.0 subAssessment->forAll(a| a.assessmentId->notEmpty()) OCL2.0 joinType=byRule implies joinRule->notEmpty() OCL2.0 lowerBound->notEmpty() implies lowerBound >= 0 OCL2.0 lowerBound->notEmpty() and upperBound->notEmpty() implies upperBound >= lowerBound OCL2.0 inferenceType=ByRule implies inferenceRule->notEmpty() OCL2.0 isSACMAbstract = false implies expressionElement->forall(e|e.isSACMAbstract = false) OCL2.0 content->size() > 1 implies lang->size() = content->size() OCL2.0 origin->notEmpty() implies origin.name->notEmpty() OCL2.0 origin->isEmpty() implies name->notEmpty() OCL2.0 element->forAll(e|not e->oclKindOf(SACMDiagram) and not e->oclKindOf(BaseElement) implies e.isCitation=true) OCL2.0 element->forAll(e|e.cited->notEmpty() implies e.cited->closure(g|g.owningPackage).asSet()->one(p|p=self.owningPackage)) OCL2.0 not self->closure(e|e.ownedElement)->includes(self) OCL2.0 (namespace = null and owner <> null) implies visibility = null OCL2.0 literal->notEmpty() implies value->forEach(v | literal->exists(i | v=i)) and defaultValue->forEach(d | literal->exists(i | d=i)) OCL2.0 tupleSize->notEmpty() implies value.size()=tupleSize OCL2.0 tupleSize->notEmpty() implies tupleSize >= 0 OCL2.0 abstraction->notEmpty() implies abstraction.isSACMAbstract=true OCL2.0 cited->notEmpty() implies oclKindOf(cited) OCL2.0 cited->notEmpty() and cited.isSACMAbstract=true implies isSACMAbstract=true OCL2.0 elementName->notEmpty() and elementName.content->notEmpty() implies name=elementName.content->first() OCL2.0 isCitation = citedIRI->notEmpty() or cited->notEmpty() OCL2.0 changeType=deletion implies oclKindOf(Null) OCL2.0 changeType=addition implies replacee->isEmpty() OCL2.0 numberLiteral->notEmpty() implies numberLiteral.literal.size() = literal.size() OCL2.0 dateTimeDuration->notEmpty() implies endTime->isEmpty() and startTime->isEmpty() OCL2.0 namespace->oclTypeOf(ArtifactConcept) OCL2.0 artifactElement->forEach(a | a.isCited=true) OCL2.0 let ownerPackage = owner in artifactElement->forEach(a | a.owner = ownerPackage) OCL2.0 dateTimeOccurrence->notEmpty() implies occurrence->isEmpty() OCL2.0 not owner.oclKindOf(ArtifactElement) OCL2.0 inferenceType=byRule implies inferenceRule->notEmpty() OCL2.0 defeationMechanism=ByRule implies defeationRule->notEmpty() OCL2.0 assertionDeclaration=byRule implies assertionRule->notEmpty() OCL2.0 assertionValue->notEmpty() implies isTrue->empty() OCL2.0 defeationMechanism=byRule implies defeationRule->notEmpty() OCL2.0 reference = supports.claim.isSubClaimOf->select(a|a.oclKindOf(CAEClaim)) OCL2.0