Читать онлайн «Автоматное программирование: Монография»

Н. И. Поликарпова, А. А. Шалыто Автоматное программирование Книга написана в Санкт-Петербургском государственном университете информационных технологий, механики и оптики – победителе конкурса инновационных образовательных программ вузов Российской Федерации, в рамках программы «Инновационная система подготовки специалистов нового поколения в области информационных и оптических технологий» по приоритетному научно-образовательному направлению «Технологии программирования и производства программного обеспечения». Санкт-Петербург 2008 1 УДК 681. 3. 06 Рецензенты: Мелехин В. Ф. , доктор технических наук, профессор, заведующий кафедрой автоматики и вычислительной техники Санкт-Петербургского государственного политехнического университета. Сергеев М. Б. , доктор технических наук, профессор, заведующий кафедрой вычислительных систем и сетей Санкт-Петербургского университета аэрокосмического приборостроения. Поликарпова Н. И. , Шалыто А. А. Автоматное программирование. 2008. — 167 с. : ил. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». 2  Оглавление Предисловие ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 4 Благодарности ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5 Глава 1. Введение в автоматное программирование... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 6 1. 1. Области применения автоматного подхода... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 6 1. 2. Основные понятия... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 10 1. 3. Парадигма автоматного программирования... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 11 1. 4. Автоматные модели ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 16 Глава 2. Процедурное программирование с явным выделением состояний ... ... ... ... 41 2. 1. Проектирование... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 42 2. 2.