制御ロジック

制御ロジックは、ソフトウェアプログラムの動作を制御する重要な部分です。制御ロジックはユーザーからのコマンドに応答するだけでなく、プログラムに組み込まれた自動化されたタスクを実行するために自律的に動作します。^{[ 1 ]}

制御ロジックは、階層型ステートマシンの一種であるステートダイアグラム^{[ 2 ]} を使用してモデル化できます。これらのステートダイアグラムは、フローチャートと組み合わせて、複雑な制御ロジックを記述するための計算意味論のセットを提供することもできます^{[ 3 ]。}ステートダイアグラムとフローチャートの組み合わせは、右の図に示されており、単純なストップウォッチの制御ロジックを示しています。制御ロジックは、「START」という名前のイベントで表されるユーザーからのコマンドを受け取りますが、「TIC」という名前のイベントで表される自動的な繰り返しサンプリング時間イベントも持っています。