Как использовать автоматную логику в разработке программного обеспечения?

Использование автоматной логики в разработке программного обеспечения включает несколько этапов: elar.urfu.ru

1. Анализ предметной области. elar.urfu.ru Выделяются классы и строится диаграмма классов. elar.urfu.ru
2. Разработка словесного описания для каждого класса, например в форме перечня решаемых задач. elar.urfu.ru
3. Создание структурной схемы для каждого класса, отражающей его интерфейс и структуру. elar.urfu.ru При этом атрибуты и методы разделяются на автоматные и остальные. elar.urfu.ru
4. Строительство схемы взаимодействия автоматов, если в классе их несколько. elar.urfu.ru
5. Разработка словесного описания, схемы связей и графа переходов для каждого автомата. elar.urfu.ru
6. Реализация каждого класса соответствующим модулем программы. elar.urfu.ru Его структура должна быть изоморфна структуре класса, а методы, соответствующие автоматам, реализуются по шаблону. elar.urfu.ru
7. Отладка полученной системы. elar.urfu.ru Например, путём построения протоколов выполнения, в которых функционирование объектов, содержащих автоматы, описывается в терминах состояний, переходов, событий, входных и выходных воздействий. elar.urfu.ru
8. Выпуск проектной документации, составной частью которой является программная документация. elar.urfu.ru

Некоторые преимущества использования автоматной логики:

• Упрощение формализации спецификации программы, определяющей её поведение. elar.urfu.ru
• Снижение количества ошибок благодаря тому, что автоматы играют ключевую роль в сдерживании программных ошибок. elar.urfu.ru
• Возможность наблюдать за ходом выполнения программы благодаря протоколам, которые строятся автоматически при выполнении программы. elar.urfu.ru
• Эффективное документирование решений, принятых в процессе проектирования, особенно тех, которые связаны с формализацией поведения программы. en.wikipedia.org