Angenommene Spezifikation UML Ocl 2,0 153 Quelle->collect(iterators|Körper) = Quelle->iterate(iterators; Resultat: Sequence(body.type) = Sequence{ }| Resultat->append(body)) collectNested kann höchstens eine iteratorvariable haben. sortedBy Resultate in der Reihenfolge, die alle Elemente der Quelle enthält Ansammlung. Für das das Element Körper hat den niedrigsten Wert kommt zuerst und so weiter. Die Art des Körpers Ausdruck muß haben < der definierte Betrieb. < muß Betrieb a zurückbringen Boolescher Wert und muß transitiv sein d.h. wenn a < b und b < c dann a < c. Quelle->sortedBy(iterator|Körper) = iterate(iterator; Resultat: Sequence(T): Reihenfolge { }| wenn Resultat->isEmpty() dann result.append(iterator) sonst lassen Sie Position: Ganzzahl = Resultat->indexOf ( Resultat->select (Einzelteil|Körper (Einzelteil) > ->first() des Körpers (iterator))) in result.insertAt(position, iterator) endif sortedBy kann höchstens eine iteratorvariable haben.