2009-07-14 前回打ち合わせのメモ 研究 主テーマ 前回の打ち合わせのメモを書くのを忘れていたので記載 コマンド→シナリオ→MSの流れがよくわからない とくにデータと操作という観点であいまいになっている シナリオ合成した結果はFSMですよとか ACPとCCSの関係をちゃんと明らかにしておくこと、なぜそれを選んだのか? CCSに重点があるのでしょう