2-310 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend März 2003 Semantik Mit 2 UML Stift von einer vorhergehenden Durchführung des subaction. Das leftSubinput und rightSubinput kommen von den angrenzenden Positionen in den impliziten Zwischenansammlungen dieser Anfang mit den Argumentansammlungen und -ende oben als Ansammlungen von Größe eine. ?- suboutput: T [ 1.. * ], wo T dasselbe wie innen sind Resultat [ diese Ausgangsstifte werden durch die Tätigkeiten besessen, die innerhalb des subaction genistet werden . Diese sind zugänglich nur innerhalb der verringerntätigkeit . ] Nach der Beendigung jeder Durchführung von das subaction, die suboutputstifte haben die Werte, die während dieser Durchführung berechnet werden. Jedes suboutputwert ersetzt begrifflich das angrenzende Paar der Werte, die lieferten linke und rechte subinputwerte von der impliziten Zwischenansammlung, dadurch Verringern der Größe der Zwischenansammlung ein Element. Wenn die Größe von die Zwischenansammlungen ist eine, die Werte der suboutputstifte von der Endrunde Durchführung des subaction werden die Resultate der verringerntätigkeit. Semantik 1. Wenn aller Steuerfluß und - Datenfluß, sind Vorbedingungen einer wiederholentätigkeit erfüllt, die Durchführung der verringerntätigkeit fängt an. Der Tuple des Arguments Ansammlungen ist begrifflich kopiert zu einem temporären Funktionsspeicher der Ansammlungen, der ansammelt Zwischenresultate der Tätigkeit. Die ursprünglichen Eingangsansammlungen werden nicht vorbei geändert die Tätigkeit. 2. Zwei angrenzende Positionen im Zwischenfunktionsspeicher werden vorgewählt nondeterministically und eine unterstellte Durchführung des subaction wird verursacht. subactiondurchführung empfängt die erste Scheibe der Zwischenansammlungswerte als a Tuple der leftSubinputstiftwerte und sie empfangen die zweite Scheibe des Vermittlers Ansammlungswerte als Tuple von rightSubinput stecken Werte fest. Wenn die Ansammlungen sind unordered oder, wenn isUnordered, ist Markierungsfahne zutreffend, dann können alle mögliche zwei Elemente vorgewählt werden nondeterministically. 3. Zusätzliche Paare der angrenzenden Positionen können für nondeterministically vorgewählt werden gleichzeitige Durchführung des subaction, vorausgesetzt sie nicht Positionen umfassen bereits vorgewählt für Durchführung. 4. Wenn eine unterstellte Tätigkeitsdurchführung durchführt, der Tuple von Werten auf seinem suboutput Stifte ersetzt das Paar der Scheiben von Werten innerhalb des Zwischenfunktionsspeichers. Für die Ansammlungen, die, das erschwert werden als Listen Spezifikationselement, müssen definieren, was es zu bedeutet ersetzen Sie zwei Elemente durch ein einzelnes Element. 5. Schritt 2 wird so lang wiederholt, wie der Funktionsspeicher mehr als ein Element enthält Position. An irgendeinem Punkt kann mehr als eine Durchführung einer unterstellten Tätigkeit sein Arbeiten auf einem Paar Elementpositionen. 6. Wenn die Größe jeder Ansammlung im Funktionsspeicher bis einen verringert worden ist Element, der Wert des Elements von jeder Ansammlung im Funktionsspeicher ist kopiert in die entsprechende Resultatsposition der verringerntätigkeit. Die Durchführung von die verringerntätigkeit ist komplett. Der Durchführungsauftrag der verringerntätigkeit ist nondeterministic. Wenn jedoch das subaction stellt einen vereinigenden Operator dar (d.h., (x OPY) OP z = x OP (y OPZ) und Mehrfachverbindungsstelle Durchführungen des subaction widersprechen nicht, der Resultatswert sind unempfindlich zu Durchführungsauftrag, also der Resultatswert sind für bestellte Ansammlungen deterministisch. Wenn, innen