Angenommene Spezifikation UML Ocl 2,0 35 OclMessageType OclMessageType beschreiben Sie ocl-Anzeigen. Wie zu den Ansammlungsarten OclMessageType beschreibt einen Satz von eintippt Standardbibliothek. Teil von jedem OclMessageType ist ein Hinweis auf der Erklärung der Art seines Betriebes oder Signals, d.h.. eine ocl-Mitteilungsart wird parameterisiert mit einem Betrieb oder einem Signal. Im metamodel wird dieses als Verbindung von gezeigt OclMessageType zu Betrieb und zu Signal . OclMessageType ist ein Teil der abstract syntax von OCL und liegt auf M2 Niveau. Seine Fälle, genannt OclMessage, und Formationsglieder von OclMessage liegen Sie auf Niveau M1. Verbindungen ? referredSignal Das Signal das wird durch die Anzeige gesendet. ? referredOperation Der Betrieb das wird durch die Anzeige benannt. OclModelElementType OclModelElementType stellt die Arten der Elemente dar, die sind ModelElements im UML-metamodel. EsIST an gewöhnt SEIEN Sie in der Lage, sich Zustände und auf Klassifikatoren in z.B. zu beziehen. oclInState (...) und oclIsKindOf (...) OrderedSetType OrderedSetType ist eine Ansammlungsart, die einen Satz Elemente beschreibt, in denen jedes eindeutige Element nur einmal innen auftritt der Satz. Die Elemente werden durch ihre Position in der Reihenfolge bestellt. Teil von einem OrderedSetType ist die Erklärung von Art seiner Elemente. SequenceType SequenceType ist eine Ansammlungsart, die eine Liste der Elemente beschreibt, in denen jedes Element auftreten kann mehrfache Zeiten in Reihenfolge. Die Elemente werden durch ihre Position in der Reihenfolge bestellt. Teil von einem SequenceType ist die Erklärung von Art seiner Elemente. SetType SetType ist eine Ansammlungsart, die einen Satz Elemente beschreibt, in denen jedes eindeutige Element nur einmal im Satz auftritt. Die Elemente werden nicht bestellt. Teil von einem SetType ist die Erklärung der Art seiner Elemente. TupleType TupleType (informaly bekannt als Satzart oder struct) kombiniert unterschiedliche Arten in eine einzelne gesamte Art. Die Teile von ein TupleType werden durch seine Attribute, jedes beschrieben, das einen Namen und eine Art hat. Es gibt keine Beschränkung auf der Art der Arten das kann als Teil eines Tuple verwendet werden. Insbesondere ein TupleType kann andere Tuplearten und Ansammlungsarten enthalten. Jedes Attribut von einem TupleType stellt eine einzelne Eigenschaft von einem TupleType dar . Jedes Teil ist zu einzigartig gekennzeichnet durch seinen Namen. VoidType VoidType stellt eine Art dar, die an alle Arten sich anpaßt. Der einzige Fall von VoidType ist OclVoid , das weiter definiert wird in der Standardbibliothek. Ausserdem OclVoid hat genau einen Fall angerufenen OclUndefined . 8,2,1 Schreiben Sie Übereinstimmung Die Artübereinstimmungrichtlinien werden formal im Semantikabschnitt der Spezifikation untermauert. Das sicherstellen Richtlinien sind zu den UML-Modellers zugänglich, die sie in diesem Abschnitt mit OCL spezifiziert werden. Für dieses der zusätzliche Betrieb conformsTo(c: Klassifikator): Boolesch wird an definiert Klassifikator . Er wertet aus, um auszurichten, wenn der Selbst Klassifikator paßt sich an an Argument c. die folgenden OCL-Aussagen definieren Artübereinstimmung für einzelne Arten .