Angenommene Spezifikation UML Ocl 2,0 23 Satz { 1, 2, 5, 88 } Satz { ' Apfel ', ' Orange ', ' Erdbeere ' } Eine Reihenfolge: Reihenfolge { 1, 3, 45, 2, 3 } Reihenfolge { ' Affe ', ' Nuß ' } Ein Beutel: Beutel { 1, 3, 4, 3, 5 } Wegen der Verwendungsfähigkeit einer Reihenfolge der nachfolgenden Ganzzahlen, gibt es einen unterschiedlichen Druckfehler zum Verursachen sie. Die Elemente innerhalb der lockigen Haltewinkel kann durch eine Abstandsspezifikation ersetzt werden, die aus zwei Ausdrücken der Artganzzahl besteht, Int-expr1 und Int-expr2 , getrennt durch '..'. Dieses bezeichnet alle Ganzzahlen zwischen den Werten von Int-expr1 und Int-expr2 , einschließlich der Werte von Int-expr1 und Int-expr2 selbst: Sequence{ 1..(6 + 4) } Sequence{ 1,,10 } -- sind beide identischen zu Sequence{ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 } Die komplette Liste der Ansammlungsbetriebe wird in Kapitel 11 beschrieben ("die OCL-Standardbibliothek"). Ansammlungen können durch einen Druckfehler spezifiziert werden, wie oben beschrieben worden. Das einzige andere Weise, eine Ansammlung zu erhalten ist durch Navigation. Zu seien Sie, die einzige Weise, einen Satz, OrderedSet, Reihenfolge zu erhalten exakter, oder Beutel ist: 1. ein Druckfehler, dieser ergibt einen Satz, ein OrderedSet, eine Reihenfolge oder einen Beutel: Satz { 2, 4, 1, 5, 7, 13, 11, 17 } OrderedSet { 1, 2, 3, 5, 7, 11, 13, 17 } Reihenfolge { 1, 2, 3, 5, 7, 11, 13, 17 } Beutel { 1, 2, 3, 2, 1 } 2. eine Navigation, die von einem einzelnen Gegenstand abfährt, kann eine Ansammlung ergeben: Kontext Firma inv : self.employee 3. Betriebe auf Ansammlungen können neue Ansammlungen ergeben: collection1->union(collection2) 7,5,12 Ansammlungen Ansammlungen In UML 1,4 wurde eine Ansammlung in OCL immer flachgedrückt, d.h. könnte eine Ansammlung andere Ansammlungen nie als Elemente enthalten. Diese Beschränkung wird in UML 2,0 entlastet. Ocl läßt Elemente der Ansammlungen Ansammlungen selbst sein. Der Ocl Standardbibliothek schließt spezifisches flachdrücken Betriebe für Ansammlungen mit ein. Diese können verwendet werden, um Ansammlungen Ansammlungen flachzudrücken ausdrücklich. 7,5,13 Ansammlungsarthierarchie und Artübereinstimmungrichtlinien Zusätzlich zur Art ordnet die Übereinstimmung in 7,4,5 ("Artübereinstimmung") an, die folgenden Richtlinien halten für alle Arten und umfassen die Ansammlungsarten: ? Das Arten eingestellte (X), der Beutel (X) und die Reihenfolge (X) sind alle Formationsglieder von Ansammlung (X). Artübereinstimmungrichtlinien sind, wie folgt für die Ansammlungsarten: |
