"H.И.Туккель, А.А.Шалыто "SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем"" - читать интересную книгу автора

- все выходные воздействия являются действиями, а не
деятельностями;
- автоматы взаимодействуют по принципам вложенности и
вызываемости [1]. Они также могут быть одновременно и
вложенными и вызываемыми. Каждый вложенный автомат
образует иерархию, входящую в состав статической модели -
диаграмму взаимодействия;
- возможны два способа организации запуска автоматов:
запуск из обработчиков событий и запуск в цикле;
- автоматы, входящие в иерархию, последовательно
запускаются в соответствии с путем в диаграмме
взаимодействия, определяемым их состояниями в момент
запуска головного автомата. При этом последовательность
запуска и завершения работы автоматов напоминает алгоритм
поиска в глубину [10];
- каждый автомат при запуске выполняет не более одного
перехода;
- после обработки очередного события автомат сохраняет
свое состояние и "засыпает" до появления следующего
события;
- дуги и петли графов переходов помечаются
произвольными логическими формулами, которые могут
содержать входные переменные и предикаты, проверяющие
номера событий и номера состояний других автоматов;
- кроме условий переходов, дуги и петли могут содержать
список последовательно выполняемых выходных воздействий;
- те вершины в графах переходов, которые являются
устойчивыми, должны содержать петли. Если на петле не
выполняются выходные воздействия, то она умалчивается. В
противном случае, в явном виде изображаются одна или
несколько петель, каждая из которых помечена по крайней
мере событием и инициируемыми им выходными воздействиями;
- вершина графа переходов может содержать список
последовательно запускаемых вложенных автоматов и список
последовательно выполняемых выходных воздействий;
- для обобщения "одинаковых" исходящих дуг в каждом
графе переходов допускается объединение вершин в группы.
Также допускается слияние входящих в вершину дуг в одну
линию;
- каждый граф переходов проверяется на
непротиворечивость, полноту и отсутствие генерирующих
контуров [1];
- на основе анализа и проектирования по описанию
функционирования объекта управления создается алгоритм
функционирования системы управления, представляемый в
виде системы взаимосвязанных графов переходов, каждый из
которых описывает поведение соответствующего автомата;
- на этапе реализации строится программа, в которой
графы переходов, входные переменные, обработчики событий
и выходные воздействия выполняются в виде функций. Кроме