10 Angenommene Spezifikation UML Ocl 2,0 Kontext Typename::attributeName: Art init : -- irgendein Ausdruck, der den Ausgangswert darstellt Kontext Typename::assocRoleName: Art leiten Sie ab: -- irgendein Ausdruck, der die Ableitungrichtlinie darstellt Der Ausdruck muß an die Resultatsart des Attributes sich anpassen. Im Fall ist der Kontext ein Verbindungsende Ausdruck muß an den Klassifikator an diesem Ende, wenn die Vielfältigkeit höchstens eine ist, oder Satz oder OrderedSet sich anpassen wenn Vielfältigkeit kann mehr als eine sein. Initiale und die Ableitungausdrücke können nach einem Kontext zusammen gemischt werden. Für Beispiel: Kontext Person::income: Ganzzahl init : parents.income->sum() * 1% -- pocket Genehmigung leiten Sie ab: wenn underAge dann parents.income->sum() * 1% -- pocket Genehmigung sonst job.salary -- Einkommen vom regelmäßigen Job endif 7,3,8 Andere Arten Ausdrücke Jeder möglicher OCL-Ausdruck kann als der Wert für ein Attribut des UML-metaclaßausdruckes oder des seiner Formationsglieder verwendet werden. In daß Fall, der Semantikabschnitt die Bedeutung des Ausdruckes beschreibt. Eine spezielle Unterklasse des Ausdruckes, benannt ExpressionInOcl wird zu diesem Zweck verwendet. Sehen Sie Abschnitt 12,1, "Einleitung," auf Seite 155 für eine Definition. 7,4 Grundlegende Werte und Arten In OCL sind eine Anzahl von grundlegenden Arten vorbestimmt und für das modeler zu aller Zeit vorhanden. Diese vorbestimmten Wertarten sind unabhängig von irgendeinem Gegenstandmodell und von Teil der Definition von OCL. Der grundlegendste Wert in OCL ist ein Wert von einer der grundlegenden Arten. Die grundlegenden Arten von OCL, mit entsprechenden Beispielen von ihren Werten werden in Tabelle 2 gezeigt Ocl definiert eine Anzahl von Betrieben auf den vorbestimmten Arten. Tabelle 3 gibt einige Beispiele der Betriebe auf vorbestimmte Arten. Sehen Sie Abschnitt 11,4, "ursprüngliche Arten," auf Seite 136 für eine komplette Liste aller Betriebe. Tabelle 2 - Grundlegende Arten Art Werte Boolesch zutreffend, falsch Ganzzahl 1, -5, 2, 34, 26524... Real 1,5, 3,14... Zeichenkette ' Sein oder Nichtsein... ' Tabelle 3 - Betriebe auf vorbestimmten Arten Art Betriebe Ganzzahl *, +, -, /, abs() Real *, +, -, /, floor()