Логика управления - это ключевая часть программы, которая контролирует операции программы. Логика управления реагирует на команды пользователя, а также действует сама по себе для выполнения автоматизированных задач, которые были структурированы в программе. [1]
Логика управления может быть смоделирована с помощью диаграммы состояний , [3] , которая является одной из форм иерархической государственной машины . Эти диаграммы состояний также можно комбинировать с блок-схемами, чтобы обеспечить набор вычислительной семантики для описания сложной логики управления. [4] Это сочетание диаграмм состояний и блок-схем показано на рисунке справа, который показывает логику управления для простого секундомера. Логика управления принимает команды от пользователя, представленные событием с именем «START», но также имеет автоматические повторяющиеся события выборочного времени, представленные событием с именем «TIC».
Ссылки [ править ]
- ^ Смит, SE "Что такое логика управления?" .
- ^ Hamon, G .; Рашби, Дж. (2004). «Операционная семантика для Stateflow» . Фундаментальные подходы к разработке программного обеспечения (FASE) . Барселона, Испания: Springer-Verlag: 229–243.
- ^ Тивари, A. (2002). "Формальная семантика и методы анализа для моделей Simulink Stateflow" (PDF) . Цитировать журнал требует
|journal=( помощь ) - Перейти ↑ Hamon, G. (2005). Денотационная семантика для Stateflow . Международная конференция по встроенному программному обеспечению. Джерси-Сити, Нью-Джерси: ACM. С. 164–172. CiteSeerX 10.1.1.89.8817 .
