12 Angenommene Spezifikation UML Ocl 2,0 Kontext Person def : Einkommen: Ganzzahl = self.job.salary->sum() def : Nickname: Zeichenkette = ' Kleiner Roter Hahn ' def : hasTitle(t: Zeichenkette): Boolesch = self.job->exists(title = t) Die Namen der Attribute/der Betriebe in ließen Ausdruck können möglicherweise nicht mit den Namen der jeweiligen Attribute/ widersprechen associationEnds und Betriebe des Klassifikators. Diese Definitionssyntax zu verwenden ist zum Definieren eines attribute/operation im UML mit stereotypem "OclHelper" mit identisch eine angebrachte OCL-Begrenzung für seine Ableitung. 7,4,5 Schreiben Sie Übereinstimmung Ocl ist eine geschriebene Sprache und die grundlegenden Wertarten werden in einer Arthierarchie organisiert. Diese Hierarchie stellt fest Übereinstimmung der unterschiedlichen Arten miteinander. Sie können nicht eine Ganzzahl mit einem Booleschem oder einer Zeichenkette z.B. vergleichen. Ein OCL-Ausdruck, in dem alle Arten sich anpassen, ist ein gültiger Ausdruck. Ein OCL-Ausdruck, in dem die Arten nicht ist passen sich ein unzulässiger Ausdruck an. Er enthält eine t- ype-Übereinstimmungstörung . Eine Art type1 paßt sich an eine Art an type2 wenn Fall von type1 an jedem Platz ersetzt werden kann in dem ein Fall von type2 wird erwartet. Die Artübereinstimmungrichtlinien für tippt die Kategorie ein, die Diagramme einfach sind. ? jede Art paßt sich an jedes seiner supertypes an. ?- Artübereinstimmung ist transitiv: wenn type1 paßt sich an an type2 und type2 paßt sich an an type3 , dann type1 paßt sich an an type3 . Der Effekt von diesem ist, daß eine Art an sein supertype sich anpaßt, und alle supertypes oben. Die Artübereinstimmungrichtlinien für die Arten von der OCL-Standardbibliothek werden in Tabelle 4 verzeichnet . Die Übereinstimmungrelation zwischen der Ansammlung schreibt nur Einflüsse, wenn sie Ansammlungen Elementarten sind, die an sich anpassen Sie . Sehen Sie Abschnitt 7,5,13, "Ansammlungsarthierarchie und Artübereinstimmungrichtlinien," auf Seite 23 für das komplette Übereinstimmungrichtlinien für Ansammlungen. Tabelle 4 - Schreiben Sie Übereinstimmungrichtlinien Schreiben Sie Paßt sich to/Is ein Formationsglied von an Bedingung Set(T1) Collection(T2) wenn T1 an T2 sich anpaßt Sequence(T1) Collection(T2) wenn T1 an T2 sich anpaßt Bag(T1) Collection(T2) wenn T1 an T2 sich anpaßt Ganzzahl Real