self.language->isEmpty() and self.body->isEmpty() OCL not self.isActive OCL self.isReentrant OCL self.method->isEmpty() OCL not self.isAbstract OCL self.operation.method->isEmpty() OCL self.concurrency = CallConcurrencyKind::sequential OCL self.classifier->forAll(oclIsKindOf(Class)) or self.classifier->size() = 1 and self.classifier->forAll(oclIsKindOf(DataType)) OCL self.upperValue->notEmpty() and self.upperValue->asSequence()->first().oclIsKindOf(LiteralUnlimitedNatural) and self.lowerValue->notEmpty() and self.lowerValue->asSequence()->first().oclIsKindOf(LiteralInteger) OCL if self.isAbstract then self.method->isEmpty() else self.method->size() <= 1 and ((self.class = null or not self.class.isActive) implies self.method->size() = 1) endif OCL not self.isDerived and not self.isDerivedUnion OCL self.classifierBehavior->notEmpty() implies self.isActive OCL self.parents()->exist(isActive) implies self.isActive OCL self.member->select(oclIsKindOf(BehavioralFeature))->exists(isAbstract) implies self.isAbstract OCL not self.isStatic OCL self.memberEnd->symmetricDifference(self.ownedEnd)->isEmpty() OCL not self.isDerived OCL self.guard->notEmpty() implies self.source.oclIsKindOf(DecisionNode) OCL self.classifierBehavior->isEmpty() OCL self.setupPart->isEmpty() OCL self.edge->forAll(self.node->includes(source) and self.node->includes(target)) OCL self.mode <> ExpansionKind::stream OCL self.output->isEmpty() OCL self.target.type.oclAsType(Classifier).allFeatures()->select(oclIsKindOf(Reception))->exists(f:Feature|self.signal.conformsTo(f.oclAsType(Reception).signal)) OCL self.isSynchronous OCL not self.behavior.isActive OCL self.behavior.context->notEmpty() implies union(self.context.allParents())->includes(self.behavior.context) OCL self.isSynchronous OCL self.classifier.oclIsKindOf(Class) OCL self.classifier.oclIsKindOf(Behavior) implies self.classifier.oclAsType(Behavior).context = null OCL not self.isSynchronous OCL self.classifier.oclIsKindOf(Class) OCL self.oldClassifier->forAll(oclIsKindOf(Class)) and self.newClassifier->forAll(oclIsKindOf(Class)) OCL self.context.oclAsType(Class).isActive OCL not self.oclIsKindOf(AcceptCallAction) implies self.trigger.event->forAll(oclIsKindOf(SignalEvent)) OCL not self.oclIsKindOf(AcceptCallAction) implies let cls:Class = self.context.oclAsType(Class) in let classes:Bag(Class) = cls.allParents()->select(oclIsKindOf(Class))->collect(oclAsType(Class))->union(cls->asBag()) in classes.ownedReception.signal->includesAll(self.trigger.event->collect(oclAsType(SignalEvent)).signal) OCL self->closure(inStructuredNode.oclAsType(ActivityNode))->forAll(n | let s : StructuredActivityNode = n.inStructuredNode in s->notEmpty() implies (s.oclIsTypeOf(ConditionalNode) implies s.oclAsType(ConditionalNode).clause.test->excludes(n.oclAsType(ExecutableNode)) and s.oclIsTypeOf(LoopNode) implies s.oclAsType(LoopNode).test->excludes(n.oclAsType(ExecutableNode)))) OCL let cls: Class = self.context.oclAsType(Class) in let classes:Bag(Class) = cls.allParents()->select(oclIsKindOf(Class))->collect(oclAsType(Class))->union(cls->asBag()) in classes.ownedOperation->includesAll(self.trigger.event->collect(oclAsType(CallEvent)).operation) OCL