副テーマの取り組みがあまりにも、おざなりだったので、ATLを見直し、ダウンロード して、動かしてみた。UML2JavaとかKM32DOTとか、の変換はとても参考になる。ルールを使った変換で、予想通り、組織的ではないようにみえる。 とりあえず、VSMのモデル（メタ…

こちらもさぼっていたり、米国出張とかがあって、打合せができなかったが やっと日曜に打合せができた。 主テーマ プロトコル加算合成 表現をちゃんとすること（Σ記法で一環して書くこと） 連携制約のところが、上位および、FSMでどう表せるかが曖昧→定式化 …