авторКоллеги, как вы подходите к сложной логике приложений. Раньше рисовал модели взаймодействия в UML, потом блок-схемы. Недавно наткнулся на теорию автоматов(в институте не изучал, так как инженер-конструктор) попытался внедрить при разработке, время на отладку сократилось в разы. Какими средствами пользуетесь вы?
Автоматы для логики есть гуд, только до определенной сложности, хотя таки да, если напишешь, ничего нет удобнее.
АСУ ТП - лучше примера для автомата не сыскать - управление задвижкой. (автомат ручной ремонт - режимы) открывается закрывается и т.д. состояния. Где как не на автомате лучше всего учтешь , что в момент открытия могли в ремонт задвижку отправить. Маловероятно, но для производства обязан предусотреть... Или случай когда состояние задвижки участвует в определении состояния более крупного узла , например насосной...
Вобщем автоматы это очень мощная вещь, я просто поражаюсь, как проходил мимо них, хотя первое упоминание встретил лет в 16.

ну и про блок схемы.... это песня! большинство проектировщиков АСУ ТП хвастаются в заявках своих, что ГОСТ 31... соблюдают, но буквально единицы пишут эти самые блок-схемы, зато выучили у иностранцев слово BATCH.. ну чесное слово, придумано все давно и все давно четко формализовано, другое дело, чтобы мыслить этими категориями, нужно лет 5 проработать, только тогда мозг усваивает эту грамоту на уровне могу изъясниться, чтобы всем понятно было... ног это оффтоп и крик души скорее :)