Object Constraint Language (OCL) Support

Aus RAD Studio
Wechseln zu: Navigation, Suche

Nach oben zu Einführende Modellierungskonzepte


Einschränkungen ermöglichen das Hinzufügen neuer Regeln oder das Ändern vorhandener. Einschränkungen können als freier Text angegeben werden. Eine Einschränkung ist eine Bedingung, die als Text-String in einer natürlichen Sprache, einer Programmiersprache oder in der OCL-Sprache (Object Constraint Language) von UML ausgedrückt wird. Einschränkungen können zu mehr als einem Element hinzugefügt werden.

Was ist OCL?

OCL (Object Constraint Language) ist eine textbasierte Sprache, die speziell für den Einsatz mit diagrammbezogenen Sprachen wie UML entwickelt wurde. UML wurde um OCL erweitert, um die Ausdruckskraft der visuellen diagrammbasierten Funktionen zu erhöhen.

OCL 2.0 ist die neueste Version der Einschränkungssprache, die für die objektorientierten Modellierungssprachen der Object Management Group (OMG) entwickelt wurde.

Hinweis: Teile dieses Produkts enthalten die Object Constraint Language Library der Kent University, Großbritannien. Siehe http://www.cs.kent.ac.uk.

OCL-Einschränkungen und -Ausdrücke

OCL-Einschränkungen

Die Tool-Palette für bestimmte Diagrammtypen (z.B. UML 2.0-Klassendiagramme) enthält Schaltflächen, mit denen Sie OCL-Einschränkungen als Designelemente in Diagrammen erstellen und dann Beziehungen mit dem gewünschten Kontext herstellen können.

Sie können die Einschränkungselemente in Diagrammen je nach Bedarf ein- und ausblenden.

Die OCL-Unterstützung für Einschränkungen stellt eine Fehlerkennzeichnung bereit. Der Text der Einschränkung wird automatisch überprüft, wenn Sie die Beziehung mit dem Kontext herstellen. Die gültigen Einschränkungen werden in normaler Schrift angezeigt. Ungültige Einschränkungen und OCL-Ausdrücke mit Syntaxfehlern werden in roter Schrift angezeigt.

Die Kontextelemente der Einschränkungen werden durch kleine Symbole gekennzeichnet. Bei einer gültigen Einschränkung ist das Symbol grün, andernfalls rot. Wenn die Einschränkungen ausgeblendet sind, kann ihre Gültigkeit weiterhin über die Symbole überwacht werden.

Jede OCL-Einschränkung enthält einen OCL-Ausdruck.

OCL-Ausdrücke

Bei OCL-Ausdrücken ohne Objekteinschränkungen (Ausdrücke als Eigenschaften anderer Knoten) findet keine Überprüfung statt, da bei diesen Elementen kein gültiger OCL-Kontext festgelegt werden kann.

Siehe auch