IPSJでの不採録（７月上旬）通知からリベンジを考えている

★主なレビューワの指摘事項

1. シナリオ動作でなくて、「動作シナリオ」を定義すること
2. シナリオ図をプロセス代数で定式化
3. シナリオ合成の入力の明確化
4. 各種定義の厳密化

★作戦

1. 動作シナリオは、演算を用いた、順序制約システムとして形式化
2. シナリオ合成
   1. シナリオ図(制約システム)＋コマンドの並列結合=合成後の再帰方程式
3. 順序制約でいろいろぐりぐりする
   1. シナリオマージは制約システムのマージ
   2. シナリオ図の書き方により、本来充足不能のシステムもありうる。
   3. 演算の様々（交換性とかいろいろ）
   4. 簡単な実装（maude)

これならば、良いだろう、でもなんかMS特許で似たものを見つけたぞー。すごいなMS

http://ieeexplore.ieee.org/iel5/10545/33358/01579122.pdf:Action Machines