机の上においてあった玄箱は以前に私がいじったことのある向こうの事務所においてあった玄箱(ノーマル)らしい。 そして今まで散々いじっていた本番用の玄箱の設定をこっちで行って、向こうの玄箱と入れ替えようということらしい。 それができるならもっと早…

クラス図にOCL書いていたのはいいけど、どうやってUPPAAL形式にするのか疑問になったのでUPPAALのXMLファイルを見てみる。 うん、無理とはいわないけどダメだねこれ。 というわけで、ステートチャート図*1を書いてOCLをつけることにする。 だが、ステートチ…

明日のために本日2連続バイト。 案の定玄箱いじらされてます。