Алгоритм вычислений в системах автоматического программирования работает следующим образом:
- Пользователь описывает смысловую часть разрабатываемой программы. 1 Он указывает, с какой частотой необходимо активизировать тот или иной прикладной модуль, как модули обмениваются между собой данными, из чего состоят поступающие извне кадры и т. п.. 1
- Система автоматизации программирования берёт на себя техническую реализацию замысла разработчика. 1 Она строит математическую модель вычислений в виде графа, в котором вершины соответствуют прикладным модулям пользователя, а дуги определяют частичный порядок их выполнения. 1
- При анализе задачи выявляют набор состояний описываемого процесса, условия перехода между состояниями и действия, ассоциированные с состояниями. 3
- На основе управляющих состояний, событий, входных и выходных переменных строят автомат, обеспечивающий заданное поведение системы. 4
Таким образом, алгоритм вычислений в системах автоматического программирования отделяет описание логики поведения (при каких условиях необходимо выполнить те или иные действия) от описания семантики (смысла каждого из действий). 2