3-8 Allgemeines Lager Metamodel, v1.1 März 2003 3 Tabelle 3-2 Hinweise und Verbindungsenden In der Abbildung X.a und Y.b sind Attribute der Art- Zeichenkette in den Kategorien X und Y beziehungsweise. X.y ist ein Hinweis von der Kategorie X zur Kategorie Y und Y.x ist ein Hinweis von Y zu X . Obgleich CWM spezifiziert nicht Implementierungsdetails, dieses Paar Hinweise kann Gedanke sein von, wie, einführend durch das XY Verbindung, mit dem XY.x Verbindungsende Einführen des Hinweises Y.x und XY.y Einführen von X.y . Infolgedessen X.y und Y.x sind gegenseitig umgekehrte Hinweise. Ähnlich X.q wird von XtoY.q eingeführt aber hat Nr. umgekehrter Hinweis. Weil der umgekehrte Hinweis nicht definiert wird, instances von X können Sie nicht wird direkt von Y erreicht . Jedoch in Verbindung stehende Fälle von X kann noch vorbei gefunden werden Überprüfen des XtoY Verbindung selbst. Diese Technik wird allgemein wenn verwendet Verbindung kreuzt eine Paketgrenze, und ein Hinweis kann nicht der Kategorie innen hinzugefügt werden das andere Paket (Y in diesem Fall). Wenn traversal von Y zu X waren nicht semantisch, das XtoY gültig Verbindung konnte so sein gekennzeichnet mit einer geöffneten Pfeilspitze am q Verbindungsende, zeigend auf Y (aber nicht dargestellt in der Abbildung). 3,2,1,8 Begrenzungen Begrenzungen sind Aussagen über "die Tatsachen", die immer angenommen werden, um zutreffend zu sein und sind Kernteile von irgendein ausdrucksvolles metamodel. CWM-Begrenzungen werden in zwei Möglichkeiten ausgedrückt. Einige Begrenzungen werden in dargestellt Struktur des Modells selbst. Diese Begrenzungen nehmen die Gestalt der Vielfältigkeitaussagen an für Attribute und Verbindungsenden, die Positionierung der Eindämmung und Erbschaft Verhältnisse und die Abstraktheit von etwas metaclasses. Andere Begrenzungen sind, nach den OMG-Anforderungen ausgedrückt als OCL-Aussagen. Innerhalb des Körpers von a Kapitel, diese Begrenzungen werden im Text beschrieben, und entsprechende OCL-Aussagen sind bezogen durch Zahl und in den eckigen Klammern umgeben. Z.B. ein Hinweis auf dritte OCL-Aussage in einem Kapitel würde erscheinen wie "[ C-3 ].", Ocl-Aussagen innerhalb a Kapitel werden der Reihe nach von C-1 numeriert und gesammelt zusammen in einem Abschnitt an Ende des Kapitels. Weil das Grundlagenkapitel ein zusätzliches enthält, überlagern Sie von Unterabschnitte, Begrenzungszahlen in ihm umfassen die Unterabschnittzahl; z.B. "[ c 2-1 ] "ist die erste Begrenzung im zweiten Unterabschnitt des Kapitels. Eine komplette Beschreibung von CWM umfaßt beide strukturellen Begrenzungen und ihr Begleiten von OCL-Aussagen. Strukturelle Begrenzungen werden verwendet, um General gefangenzunehmen Eigenschaften von CWM und sind im Allgemeinen bevorzugte Über-OCL-Aussagen. Ocl-Aussagen werden verwendet, als das Gefangennehmen einer Begrenzung strukturell übermäßig oder anders erschweren würde machen Sie die grundlegende Absicht und das Verstehen des metamodel undeutlich. Ocl-Aussagen sind X a: S t Rin g /q: Y /y: Y Y b: S t Rin g /x: X X Y y x X t O Y q p