Логика управления
Логика управления — это ключевая часть программы , которая управляет операциями программы. Логика управления реагирует на команды пользователя, а также действует самостоятельно, выполняя автоматизированные задачи, структурированные в программе. [1]
Логику управления можно смоделировать с помощью диаграммы состояний . [2] который является формой иерархической государственной машины . Эти диаграммы состояний также можно комбинировать с блок-схемами , чтобы обеспечить набор вычислительной семантики для описания сложной логики управления. [3] Такое сочетание диаграмм состояний и блок-схем показано на рисунке справа, где показана логика управления простым секундомером. Логика управления принимает команды от пользователя, что представлено событием с именем «START», но также имеет автоматически повторяющиеся события шага расчета, представленные событием с именем «TIC».
Ссылки
[ редактировать ]- ^ Смит, С.Е. «Что такое логика управления?» .
- ^ Тивари, А. (2002). «Формальная семантика и методы анализа для моделей потока состояний Simulink» (PDF) .
- ^ Хамон, Г. (2005). Денотационная семантика для Stateflow . Международная конференция по встраиваемому программному обеспечению. Джерси-Сити, Нью-Джерси: ACM. стр. 164–172. CiteSeerX 10.1.1.89.8817 .