Angenommene Spezifikation UML Ocl 2,0 93 10 Semantik mit UML beschrieben Dieses Kapitel beschreibt die Semantik des OCL mit dem UML selbst, das semantische Gebiet und das Diagramm zu beschreiben zwischen semantischem Gebiet und abstract syntax. Es erklärt die Semantik von OCL in gewissem Sinne basiert auf dem Report Vereinheitlichung der statischen und dynamischen Semantik für UML [ Kleppe2001 ], das in seiner Umdrehung auf dem MML-Report basiert [ Clark2000 ]. Der Hauptunterschied zwischen Anhang A ("Semantik"), das die Semantik in einer formalen Weise beschreibt, und dieses Kapitel ist, daß dieses Kapitel eine Semantik für den ocl-Anzeigenausdruck definiert. 10,1 Einleitung In Abschnitt 8,3 ("Das AusdruckscPaket") ein OCL-Ausdruck wird wie definiert: "ein Ausdruck, der in a ausgewertet werden kann gegebenes Klima "und in Abschnitt 8,2 ("das Artpaket") es wird angegeben, daß eine "Auswertung des Ausdruckes a erbringt Wert ". Die ' Bedeutung ' (Semantik) eines OCL-Ausdruckes kann als der Wert folglich definiert werden, der durch seine Auswertung erbracht wird in einem gegebenen Klima. Zwecks die Semantik der OCL-Ausdrücke spezifizieren, die wir zwei Sachen definieren müssen: (1) der Satz der möglichen Werte das Auswertungen von Ausdrücken können erbringen und (2) Auswertungen und ihr Klima. Der Satz der möglichen Werte wird genannt semantisches Gebiet . Der Satz von Auswertungen zusammen mit ihren Verbindungen mit den Konzepten von der abstract syntax stellen Sie das Diagramm von OCL-Ausdrücke zu Werte vom semantischen Gebiet dar. Zusammen das semantische Gebiet und Auswertungen mit ihrem Klima werden Gebiet genannt in diesem Kapitel. Das semantische Gebiet wird in Form eines UML-Pakets beschrieben und enthält ein UML-Kategoriendiagramm, Kategorien, Verbindungen, und Attribute. Das reale semantische Gebiet ist (endlos) einstellte von den Fällen, die entsprechend dieser Kategorie verursacht werden können Diagramm. um die Auswertung der OCL-Ausdrücke im semantischen Gebiet darzustellen wird ein zweites UML-Paket benutzt. In es, ein Satz der sogenannten Auswertung Kategorien wird definiert (in kurzem eval Jede AuswertungskategorieIST mit einem Wert verbunden (sein Resultat Wert) und ein Namensraumklima, das Namen an Werte bindet. Merken Sie daß das UML-Modell, das beide Pakete enthält, auf Schicht 1 der Architektur OMG 4-layered, während liegt die abstract syntax, die in Kapitel 8 definiert wird ("abstract syntax"), liegt auf Schicht 2. Die Semantik eines OCL-Ausdruckes wird durch Verbindung gegeben: jeder Wert, der im semantischen Gebiet definiert wird, ist dazugehörig wenn eine Art in der abstract syntax definiert ist,IST jede Auswertung mit einem Ausdruck von der abstract syntax verbunden. Wert erbrachte durch einen OCL-Ausdruck in einem gegebenen Klima, seine ' Bedeutung ', ist der Resultatswert seiner Auswertung innerhalb a bestimmtes Namensraumklima. Die Semantik werden auch in Form eines UML-Pakets beschrieben, das "Wie-Gebiet genannt wird Diagramm ". Merken Sie, daß dieses Paket das Gebiet auf Schicht 1 der Architektur OMG 4-layered mit der abstract syntax verbindet auf Schicht 2. Das Wie-Gebiet-Diagrammpaket selbst kann nicht in eine der Schichten des OMG 4-layered in Position gebracht werden Architektur. Merken Sie auch, daß dieses Paket nur Verbindungen enthält, keine neuen Kategorien werden definiert. Tabelle 14 auf Seite 94 zeigt, wie die Pakete, die in diesem Kapitel definiert werden, miteinander beziehen, und zu den Paketen von abstract syntax. Sie zeigt die folgenden Pakete: ? Gebiet Paket beschreibt die Werte und die Auswertungen. Es wird in zwei Subpackages unterteilt: ? Die Werte Paket beschreibt das semantische Gebiet. Es stellt dar, daß die Wertocl-Ausdrücke als Resultat erbringen können. ? Die Auswertungen Paket beschreibt die Auswertungen der OCL-Ausdrücke. Es enthält die Richtlinien, die feststellen Resultatswert für einen gegebenen Ausdruck. ? Wie-Gebiet-Diagramm Paket beschreibt die Verbindungen der Werte und der Auswertungen mit Elementen von abstract syntax. Sie wird in zwei Subpackages unterteilt: