Angenommene Spezifikation UML Ocl 2,0 53 endif [ 3 ] Die ' select'and' Ausschuß' iterators haben die gleiche Art wie seine Quelle. Kontext IteratorExp inv: Name = ' wählen ' vor, oder Name = ' Ausschuß ' deutet Art = source.type an [ 4 ] Die Art des Körpers vom auserwählten, Ausschuß, besteht und forAll muß Boolesch sein. Kontext IteratorExp inv: Name = ' bestand, oder Name = ' forAll ' oder Name = ' wählen ' oder Name = ' Ausschuß ' vor deutet body.type.name = ' Boolesch ' an IterateExp [ 1 ] Die Art wiederholen ist die Art der Resultatsvariable. Kontext IterateExp inv: Art = result.type [ 2 ] Die Art des Körperausdruckes muß an die erklärte Art der Resultatsvariable sich anpassen. Kontext IterateExp body.type.conformsTo(result.type) [ 3 ] Eine Resultatsvariable muß einen initausdruck haben. Kontext IterateExp inv: self.result.initExpression->size() = 1 LetExp [ 1 ] Die Art von ließ Ausdruck ist die Art von im Ausdruck. Kontext LetExp inv: Art = in.type LiteralExp Keine zusätzlichen Wohlgeformtheitrichtlinien. LoopExp [ 1 ] Die Art des Quellausdruckes muß eine Ansammlung sein. Kontext LoopExp inv: source.type.oclIsKindOf (CollectionType) [ 2 ] Die Schleifenvariable eines iteratorausdruckes hat keinen initausdruck. Kontext LoopExp inv: self.iterators->forAll(initExpression->isEmpty()) [ 3 ] Die Art jeder iteratorvariable muß die Art der Elemente der Quellansammlung sein. Kontext IteratorExp inv: self.iterators->forAll(type = source.type.oclAsType (CollectionType).elementType) ModelPropertyCallExp Keine zusätzlichen Wohlgeformtheitrichtlinien.