論文修正

昨日の夜と早朝でなんとか修正。いろいろ直した。

• LTSとプロセスと状態遷移機械がごちゃごちゃだったのでなおした
• 順序制約[tes:\psi]の間違えの修正
• 順番をかえた
• コマンドの説明を追加して、構造をもつMSCからの合成のイメージを出した
• 複雑性への言及
• いちおうeMSCでの実装が、過剰制約であることを示すストーリにした（見所の設定）

あとは、最後のシナリオ合成のところの絵が違う気がします、ticc+SpecExploreで検証しなくては。ツールがあるから気軽に検証できます。