OCL構文チェッカー

Question

私は、オブジェクト制約言語（OCL）用の既存のオープンソースの構文チェッカーを探していました。エンティティ・リレーションシップ・ダイアグラムでの私の使用にもっと適用できるように、OCL標準にはない追加機能をシンタックス・チェッカに拡張しようと考えています。しかし、私が見つけたプロジェクトのほとんどはEclipse Meta-Object Facility（MOF）に基づいていますが、OCL式の文法を検証する機能しか求めていません（関連するクラス図などから完全に独立しています）。最新のツールキットもEclipse MOFでの使用を意図していますが、私はDresden OCL Toolkit（dresden-ocl.sourceforge.net）のソースを調べ始めました。残念ながら、私が働いている会社ではすべてのダウンロードがブロックされており、ダウンロードの許可を得るには最低でも1〜2日かかりますので、誰かが私のことを正しい方向に向けることができるかどうかを知りたいのですが探している。

は事前にありがとうございました。

敬具、

ショナ

Answer 1

私はかなり長い間、ドレスデンOCLを使用してきたと私はそれはあなたが望むもののために本当に良い出発点だと思います（もちろん、それは完璧ではありません私が最後にチェックしたのは、集合演算子や関連クラスからのナビゲーション表現を認識することに何らかの問題があったからです）。 http://modeling-languages.com/content/list-ocl-tools

Answer 2

：

はまた、モデルの開発ツールイニシアチブのhttp://www.eclipse.org/modeling/mdt/downloads/?project=ocl 一部に/ OCLをサポートする他のツールここでは（必ずしもオープンソース）へ

ポインタをEclipseのOCLプラグを見てみることができます

また、OCL仕様の作成者であるJos WarmerとAnneke Kleppeによって作成されたOctopusのようなOCL構文チェックをサポートする他のツールについても興味があります。