問題タブ [ocl]

OCL で重複をチェックしようとすると、課題に直面しています。

クラス図を単純化すると、次のようになります。

各クラスの属性は次のように宣言されます。

• 章名
  • 名前
• カタログ
  • カテゴリー

問題: 私が確認したいのは、カタログの特定のカテゴリにも属している章名が重複している本を顧客が持っているかどうかです。

私は論理を理解することができませんでした。私がこれまでに持っているものは次のとおりです。

・・・お客様がお持ちのカタログから本を探します。

質問:上記の問題を解決するために、さらに制約を追加するにはどうすればよいですか?

また。Eclipse 内から Eclipse、EMF、および OCL コンソールを使用しています。

UML では、次のような UML メソッドで文字列配列を返すメソッドをどのように表示する必要がありますか?

この表現は正しいですか？

Eclipse Papyrus でモデル化されたクラス図で OCL 制約をチェックできる人はいますか? ステレオタイプ属性に 1 つの制約のみを指定して、単純なテスト プロファイルを定義しました。

ステレオタイプは Property メタクラスを拡張するので、クラス属性に適用し、ステレオタイプのプロパティを 0 に設定しました。しかし、コンテキスト メニューからValidation > Validate Modelコマンドを実行してもエラーは発生しませんでした。

どんな助けでも大歓迎です。

事前に感謝します。

Enterprise Architect でいくつかの図を作成しましたが、それらを OCL ツールの "USE" または "OCLE" にエクスポートしたいと考えています。エクスポート オプションを試し、図を xml 拡張子に変換しましたが、OCL ツールでは機能しません。どうやってやるの ？

![ここに画像の説明を入力][1]NVidia GeForce 8 シリーズ GPU カードを搭載した Ubuntu 12.04 LTS で、OpenCV 2.4.6.1 の ocl-facedetect サンプルを実行しようとすると、次のエラーが表示されます。

$./ocl-example-facedetect -t haarcascade_frontalface_alt.xml -i friends.jpg In image read loop0 ~~~~ convertC3C4 Building source:./convertC3C4_GeForce 8600 GT -D GENTYPE4=uchar4.clb Loading ~~~~ RGB2Gray Building を読み込み中source:./RGB2Gray_GeForce 8600 GT -D DEPTH_0.clb ~~~~ resizeLN_C1_D0 を読み込み中 source:./resizeLN_C1_D0_GeForce 8600 GT .clb を読み込み中:./resizeLN_C1_D0_GeForce 8600 GT .clb ~~~~ set_to_without_mask を読み込み中 source:./set_to_without_mask_GeForce 8600 GT -D GENTYPE=int.clb ~ ~~~ calc_sub_hist_D0 をロードしています ソースを構築しています:./calc_sub_hist_D0_GeForce 8600 GT .clb clCreateProgramWithSource status=0

clBuildProgram status=-11

BUILD LOG (0) エラー: サポートされていない操作です「cv::Exception」のインスタンスをスローする what(): /home/ovuser/OpenCV/opencv-2.4.6.1/modules/ocl/src/initialization.cpp:664: エラー: (-217) 関数 openCLGetKernelFromSource の CL_BUILD_PROGRAM_FAILURE

OpenCL コンパイラは、顔検出サンプルに必要な calc_sub_hist_D0 カーネルをビルドできないようです。問題の原因となっている詳細なメッセージと添付のカーネル ソースを追加しました。誰かがカーネル ソースの何が問題なのか指摘できますか?

xmi モデルと、モデルのメタモデルに適用される制約を含む OCL ファイルを受け入れるスタンドアロン Java アプリケーションを作成しようとしています。アプリケーションは、ocl に対してモデルを検証します。

EMFを使用してEclipse内でこれを行うことができました。ただし、Java アプリの作成を開始すると、多くのライブラリが不足しています。一部は plugins ディレクトリで見つけることができましたが、一部は見つからないようです。

例えば

見つからない。

私がやろうとしていることを達成するためにEMFを使用する簡単な方法はありますか？私は次のようなものを作成しようとしています:

http://subversion.assembla.com/svn/da_sw_tf/trunk/OCL/src/ocl/OCLEvaluator.java

私は OCL が初めてで、事前条件と事後条件がどのように機能するかについて疑問があります。

if then ステートメント内に事後​​条件を配置できますか?

たとえば、次のコードは有効ですか、それとも概念を混ぜているだけですか?

ご助力ありがとうございます

メソッド addPlayer の不変条件を作成して、パラメーター Player が存在することを確認したいと思います。

例：

構文が有効かどうかわからない

メタモデルである UML クラス図を入力として取り、ユーザーがメタモデルで指定されたタイプの図を作成できるようにするコース用の Java プログラムを作成しています。ユーザーは、このダイアグラムがモデル化したもののインスタンスをモデル化できるはずです。

そのため、UML を表す生成された XML ファイルを解析し、すべてのクラスと関連付けを抽出しています。ここまでは順調ですね。

ただし、ユーザーが違反した場合に知って警告する必要がある制約があります。ただし、OCL 解析の方法がわかりません。ドレスデンOCLを調べまし たが、モデルをインポートしてEclipseを使用してOCLからJavaコードを生成するのではなく、実行時にOCLを解析する必要があるため、これが必要かどうかはわかりません。

そのため、誰かが OCL を解析してその基本的な構文を抽出する方法を教えていただければ幸いです。

よろしく、 ジョアン・フェルナンデス

アイテムのリストがあり、要素ごとに別のアイテムのリストと比較したいのですが、結果は、両方のリストまたは重複アイテムにアイテムがないアイテムを含むリストです。

例えば：

L1={S1, S2, S3, S4, S5, S6, S7, S8, S9, S10}, L2={S1, S4, S7, S9}, listresult={S2, S3, S5, S6, S8, S10} }