| Previous | Table of Contents | Next |
[C-1] The preceding step and succeeding step of StepPrecedence must not be the same.context StepPrecedenceinv: self.precedingStep->forAll( p | self.succeedingStep->forAll( q | p <> q ) )
[C-2] A TransformationTask may not be its own inverse task.context TransformationTaskinv: self.inverseTask->forAll( p | p <> self )
[C-3] A TransformationTask may not be its own original task.context TransformationTaskinv: self.originalTask->forAll( p | p <> self )
[C-4] The ClassifierMapToCFMap association is derived from the Namespace-ModelElement association. All ownedElement ends of
the association must be ClassifierFeatureMaps.
context ClassifierMapToCFMap
inv Namespace-ModelElement.allInstances.select( ownedElement.oclIsKindOf( ClassifierFeatureMap ) )
[C-5] The ClassifierMapToFeatureMap association is derived from the Namespace-ModelElement association. All ownedElement ends
of the association must be FeatureMaps.
context ClassifierMapToFeatureMap
inv Namespace-ModelElement.allInstances.select( ownedElement.oclIsKindOf( FeatureMap ) )