ArgoUML＠ステートチャート図

クラス図にOCL書いていたのはいいけど、どうやってUPPAAL形式にするのか疑問になったのでUPPAALのXMLファイルを見てみる。

うん、無理とはいわないけどダメだねこれ。

というわけで、ステートチャート図*1を書いてOCLをつけることにする。

だが、ステートチャート図のConstraintが見当たらない。
だが、別の場所で記述できることが判明。
明日はこれのXMI解析かな。

*1:UML2.0ではステートマシーン図になった。