みつじ＠ホメパゲ制作です。
児玉さん、お返事ありがとうございます。
> ざっと見ました。クラス図に状態を表すサブタイプ（サブクラス）を
> おいていますが，これに対応するようにオブジェクト図を書いていた
> だけますか。ここがポイントなので。
遅くなりましたが、状態をオブジェクト図に追加してみました。が、うまく描くことが
出来ませんでした。状態に関してはコンテスト本番で属性としていた部分を
師範代の方々にならい修正したつもりでした。
こちらの方が概念モデルっぽくなるかなと考えたのですが、
安易だったようです。
前回のモデルでは、羽生田さんの表記法を単純にまねてみたのですが、
オブジェクト図に状態を描こうとすると、本体と状態が入れ替わってしまいます。
なので、修正モデルでは、私なりにインスタンス化したときの形が理解できた
児玉さんの「取引」クラスの状態の描き方に変更しました。
これだとオブジェクト図を描くことが可能でした。
http://blog.goo.ne.jp/tkmsm/
状態を追加したオブジェクト図
http://blogimg.goo.ne.jp/user_image/5c/34/0012e829623f13078617bd644ede8065.png
児玉さんのモデルで、「取引」の「未完了」「完了」と
「お預かり品」の「受付」「出来」「お返し」は、どちらも何らかの状態を
表したものだと思うのですが、なぜこのように表記が異なるのか、
違いについて説明していただけないでしょうか？
また、羽生田さんのモデルではステレオタイプを「state」として、
クラス名の前に「/」をつけているようですが、こちらも気になります。
派生を意味する？
当初の質問の意図と大きく外れてしまっていたら申し訳ありません。