Ограничительный автомат
В информатике представляют автоматы с ограничениями собой формализм для описания поведения и возможного потока данных в координационных моделях. [1] Он был введен Арбабом и др. [2] как разновидность конечных автоматов для проверки моделей схем соединителя Рео.
Автоматы с ограничениями можно рассматривать как обобщения вероятностных автоматов , в которых ограничения данных вместо вероятностей маркируют переходы состояний и влияют на их срабатывание.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ «Линейная временная логика автоматов с ограничениями», Сара Навидпур и Мохаммад Изади, факультет математических наук, Технологический университет Шарифа, Тегеран, Иран.
- ^ «Эффективное моделирование архитектурных сборок программного обеспечения с использованием автоматов с ограничениями» Никунджа Р. Мехты, Марджана Сирджани и Фархада Арбаба. Технический отчет CWI SEN-R0309, 22 октября 2003 г.