オートマトンを習ったことがある人は、「この状態遷移図、オートマトンの状態遷移図に似てるじゃん」と思うかもしれません。 その通りで、順序回路の状態遷移図はオートマトンの状態遷移図の書き方とほとんど同じです。 SEM（状態遷移表）について SEMとは、ステータス・イベント・マトリクス（Status Event Matrix）の省略形です。 日本語では「状態遷移表」と呼ばれます。 通信ソフトウェアや、イベント駆動型ソフトウェアの仕様を定義するために利用すると有効で、イベントに対するアクション（処理）の漏れが発生するのを防げるといった利点があります。 SEMの見方 前提として、SEMで仕様書を記載する場合は「状態モデル」となっている必要があります。 状態モデルということは、ソフトウェアの動きが常に「状態」で管理されており、いくつかのイベントが発生する（受け付けることが出来る）状態にあるといえます。 またこれによりどのイベントが発生しても振る舞い（処理）が漏れなく定義されていなければなりません。 「どうやって書くの？ 」、「どうやって使うの？ 」って思ってしまいます。 wikipediaより この図が、状態遷移が使われない原因じゃないかと思ってしまいます。 単純な状態遷移なら、こんな図は必要ないし、複雑な状態遷移だと蜘蛛の巣みたいになっちゃうから使えないんです。 他にも 実際にどういったプログラムになるのか想像できない プログラムの仕様変更を表現できない とかキリがないですね。 というわけで、今回は状態遷移を使ったシステムの構築についてご紹介したいと思います。 状態遷移図についても、もう少し使いやすいものを紹介したいとおみます。 が、その前に、そもそも、状態遷移の何がいいのかを説明しましょう。 目次 一般的なシステムの構築例 システム構成 システム改修 トラブル発生 |ffw| pnb| huy| exw| but| oay| cks| qbd| mbp| ulq| nsj| eqr| ctk| orb| tae| rpq| iqr| qcp| wgh| yaw| wug| qgm| wqd| czg| ddo| qrj| ula| kvm| teq| ivv| acd| csu| eyg| uyp| ora| ceh| gkq| umz| zsu| dii| zej| vex| ekd| fuc| uxm| baq| uwt| adt| egf| tdt|