Eclipse Papyrus でモデル化されたクラス図で OCL 制約をチェックできる人はいますか? ステレオタイプ属性に 1 つの制約のみを指定して、単純なテスト プロファイルを定義しました。
{OCL} self.property > 0
ステレオタイプは Property メタクラスを拡張するので、クラス属性に適用し、ステレオタイプのプロパティを 0 に設定しました。しかし、コンテキスト メニューからValidation > Validate Modelコマンドを実行してもエラーは発生しませんでした。
どんな助けでも大歓迎です。
事前に感謝します。