La lógica de control es una parte clave de un programa de software que controla las operaciones del programa. La lógica de control responde a los comandos del usuario y también actúa por sí sola para realizar tareas automatizadas que se han estructurado en el programa. [1]
La lógica de control se puede modelar utilizando un diagrama de estado , [2] que es una forma de máquina de estado jerárquica . Estos diagramas de estado también se pueden combinar con diagramas de flujo para proporcionar un conjunto de semántica computacional para describir la lógica de control compleja. [3] Esta mezcla de diagramas de estado y diagramas de flujo se ilustra en la figura de la derecha, que muestra la lógica de control para un cronómetro simple. La lógica de control recibe comandos del usuario, como se representa mediante el evento llamado "START", pero también tiene eventos de tiempo de muestra recurrentes automáticos, como se representa mediante el evento llamado "TIC".