学祭用のクラス図

一応のクラス図を完成させる。
ついでにユースケース図も提案されていたものの8割を採用して決定とする。

クラス図からNuSMVで検査式を書こうとして、クラス図にOCLを記述しようとしたらJUDEの「制約」はなんかOCLとは違うみたいだ。
とりあえずよく分からん書き方なのでOCLっぽくかけない。
どうしたもんやら。