ATLを見直した

副テーマの取り組みがあまりにも、おざなりだったので、ATLを見直し、ダウンロード
して、動かしてみた。UML2JavaとかKM32DOTとか、の変換はとても参考になる。

ルールを使った変換で、予想通り、組織的ではないようにみえる。
とりあえず、VSMのモデル（メタモデルはKM3なりなんなりを使用）
を、JavaかAsmLに展開するのかなあ。。。VDMじゃあちょっと役不足です。