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í misma 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 , [3] 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. [4] Esta combinación de diagramas de estado y diagramas de flujo se ilustra en la figura de la derecha, que muestra la lógica de control de un cronómetro simple. La lógica de control toma los comandos del usuario, representados por el evento llamado “INICIO”, pero también tiene eventos de tiempo de muestra recurrentes automáticos, representados por el evento llamado “TIC”.
Referencias
- ^ Smith, SE "¿Qué es la lógica de control?" .
- ^ Hamon, G .; Rushby, J. (2004). "Una semántica operacional para Stateflow" . Enfoques fundamentales de la ingeniería de software (FASE) . Barcelona, España: Springer-Verlag: 229–243.
- ^ Tiwari, A. (2002). "Métodos de análisis y semántica formal para modelos de flujo de estado de Simulink" (PDF) . Cite journal requiere
|journal=
( ayuda ) - ^ Hamon, G. (2005). Una semántica denotacional para Stateflow . Congreso Internacional de Software Embebido. Jersey City, Nueva Jersey: ACM. págs. 164-172. CiteSeerX 10.1.1.89.8817 .