有限状態機械は，記憶素子を持つスイッチング回路からコンピュータ全体に至るシステム理論的モデルでもあるし，またコンピュータのプログラムの構造など，ソフトウェアシステムを説明するときにも用いられる重要な概念である． 前回の続 […]
-
Pages
-
Categories
-
Archives
Category Archives: KAOS
KAOS (70) 図式を使用する: 状態機械図 (4.3.7ｰ1)
16/10/2014 – 7:55 AM
日が昇るとどうなるか．夏には太陽と共にたくさんの鳥が歌を奏でることを知っている．多くのことが一度に起こることを記述するとしよう．それはひとことで言えば，並列性である．太陽は，全ての鳥にひとつずつメッセージを送信しないとい […]
KAOS (69) 図式を使用する: イベントトレース図 (4.3.6)
15/10/2014 – 8:03 AM
イベントトレース図は，伝統的にはメッセージシーケンスチャート（MSC）と呼ばれるものである．長く，通信業界で用いられてきた UMLでは，バージョン2になってから，シーケンス図にMSC的記述が取り入れられた．もちろん，違い […]