一応のクラス図を完成させる。 ついでにユースケース図も提案されていたものの8割を採用して決定とする。 クラス図からNuSMVで検査式を書こうとして、クラス図にOCLを記述しようとしたらJUDEの「制約」はなんかOCLとは違うみたいだ。 とりあえずよく分からん…

この時間に研究室に泊まっているのは6人。 そのうち4人がDownしてます。 ちなみに私が真っ先にダウンしたのだが、一番最初に復活した。 でもまたダウンする予定。