デザインパターンでOCLとUMLを使用する

Question

ステレオタイプとOCL制約を持つデザインパターン用にUMLプロファイルを作成しようとしたことはありますか？私はシングルトンパターンのために1つを作成しようとしていますが、開始方法と場所はわかりません。

Answer 1

これは難しいでしょう：デザインパターンは、シングルトンパターンのように。しかし、主にオブジェクトの使用はINSIDEメソッド（シングルトンの場合、コンストラクタの呼び出しがないなど）が発生します。しかし、メソッド本体は通常、UMLでモデル化されません。

Answer 2

明らかな質問は「なぜですか？」

パターンを正式に記述しようとしていますか？あるいは、それらを建築のビルディングブロックとして使用できますか？他に何か？

正式な記述の場合は、おそらくステレオタイプは必要ありません。標準的なクラス図（本について）で構造をモデル化し、OCLの前後の条件を使ってメソッドの振る舞いを正式化します。

OCL（Googleのみ）でパターンをフォーマッティングする方法については、いくつかの論文があります。別の良い情報源はthis bookです。エッフェルをベースにしていますが、メソッド上の前後の条件ですべてのGoFパターンを形式化します。 （すべてのソースコードはリンクで入手できます）。

hth。

Answer 3

パターンの形式化については多くの論文がありますが、ほとんどのものは欠けていますが、実用的には複雑すぎます。しかし、OCLを試してみたいのであれば、かなり助けになります。たとえば、シングルトンパターンを指定するには、指定されたクラスのすべてのインスタンスを取得し、それらを数えるだけで済みます。これをクラス上の不変式にすると、シングルトンが非常に簡単になります。