46 Angenommene Spezifikation UML Ocl 2,0 8,3,3 Wenn Ausdrücke Dieser Abschnitt beschreibt wenn Ausdruck im Detail. Tabelle 8 zeigt die Struktur von wenn Ausdruck. IfExp Ein IfExp Resultate in einem von zwei alternativen Ausdrücken abhängig von dem ausgewerteten Wert einer Bedingung . Merken Sie daß beide das thenExpression und das elseExpression seien Sie vorgeschrieben. Der Grund hinter diesem ist daß, wenn Ausdruck immer ergeben Sie einen Wert, der nicht garantiert werden kann, wenn das sonst Teil ausgelassen wird. Verbindungen ? Bedingung Das OclExpression das stellt den Booleschen Zustand dar. Wenn diese Bedingung zu auswertet richten Sie, das Resultat aus, wenn Ausdruck zum Resultat des thenExpression identisch ist . Wenn dieses Bedingung wertet zu falschem, das Resultat aus, wenn Ausdruck zum Resultat identisch ist elseExpression ? thenExpression Das OclExpression das stellt das damalige Teil von wenn Ausdruck dar. ? elseExpression Das OclExpression das stellt das sonst Teil von wenn Ausdruck dar. 8,3,4 AnzeigencAusdrücke In der Spezifikation der Kommunikation zwischen Fällen vereinheitlichen wir die Begriffe von asynchronem und von synchronem Kommunikation. Die Struktur der Anzeigenausdrücke wird in Tabelle 9 gezeigt . OclMessageExp Ein OclMessageExp ist ein dieser Ausdruck Resultate in einer Ansammlung von OclMessage Wert. Ein OclMessage ist Vereinheitlichung eines Signals gesendet und ein Betriebsanruf. Das Ziel des Betriebsanrufs oder -signals, die gesendet werden, wird durch das Ziel spezifiziert OclExpression. Argumente können OclExpressions sein aber auch sein können nicht spezifizierte Wertausdrücke für Argumente deren Wert wird nicht spezifiziert. Er umfaßt die synchronen und asynchronen Tätigkeiten. Sehen Sie [ Kleppe2000 ] für eine komplette Beschreibung und Beweggrund dieser Art des Ausdruckes, auch genannt "Tätigkeitsklausel". Tabelle 8 - Abstract syntax metamodel für wenn Ausdruck OclExpression IfExp +condition 1 0,,1 +thenExpression 1 0,,1 +elseExpression 1 0,,1