Конечно-автоматная технология программирования

Автор: Пользователь скрыл имя, 18 Октября 2012 в 20:29, реферат

Краткое описание

Использование методов, базирующихся на единой модели структурного конечного автомата (КА), дает нам основание говорить об их объединении в совокупность, называемую далее конечно-автоматной технологией (КА-технология) разработки программ. Оосновные этапы создания программных проектов: проектирование, кодирование, тестирование, эксплуатацию и сопровождение программ.

Файлы: 1 файл

Сам раб по ТП.docx

— 23.00 Кб (Скачать)

Основное отличие рассматриваемых  технологий в реализации логики автоматных программ. В SWITCH-технологии она реализуется  переводом автоматного описания в программные инструкции языка  программирования (типа SWITCH), в КА-технологии реализуется прямое исполнение автоматов  путем интерпретации его исходного  табличного представления. Это более  короткий и наглядный путь реализации автоматов, хотя и более медленный, если рассматривать уровень отдельного компонентного автомата сети автоматов.

Безусловно, интерпретация  более медленный способ реализации автоматов. Но в данном случае это  не такой уж недостаток, т.к. необходимо еще реализовать параллельную работу множества автоматов. В КА-технологии микроядро не только интерпретирует компонентные автоматы сети, но и реализует  механизмы параллельного функционирования автоматов, отвечая за корректность реализации формальной модели. В SWITCH-технологии вопрос реализации параллелизма автоматной модели не столь "прописан" (в том  числе и на формальном уровне) и  требует уточнения.

 КА-технология по сравнению  с SWITSH-технологией:

предлагает более короткий и удобный, хотя и более медленный, путь реализации автоматов;

параллелизм формальной модели в КА-технологии имеет более широкие  возможности, чем у модели, положенной в основу SWITCH-технологии;

 

КА-технология, в отличие  от SWITSH-технологии, не только в полной мере использует возможности объектной  парадигмы, но и наделяет ее новыми возможностями.

Заключение

В заключение хочется выразить особую благодарность Шалыто А.А. за проявленный интерес к работе, высказанные замечания и за предоставленную возможность ознакомиться с материалами по SWICH-технологии проектирования программных систем. Именно это послужило стимулом к пересмотру и дополнению уже достаточно давно подготовленного материала. Данные технологии, безусловно, очень близкие "родственники". По меньшей мере, они имеют одного "предка" - автоматную модель, а также единые принципы, положенные в основу технологии, построенной на основе этой модели. Детальное их сравнение, конечно, должно быть не столь поверхностным, как это сделано выше и еще ждет нас впереди (о концепциях и более эмоциональном взгляде автора на проблему выбора модели программ, а соответственно и технологии их проектирования, см. [8, 9]).

Литература:

Любченко В.С. О бильярде с Microsoft C++ 5.0. “Мир ПК”, № 1/98, с.202-206.

Любченко В.С. Новые песни  о главном (римейк для программистов). “Мир ПК”, № 6/98, с.114-119.

Буч Г. Объектно-ориентированное проектирование с примерами применения: Пер. с англ. - М.: Конкорд, 1992. -519с.

Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях: Пер. с англ. - Киев: Диалектика, 1993. - 240 с.

Баранов С.И. Синтез микропрограммных автоматов. -Л.: Энергия, 1979. -232с.

Шалыто А.А., Туккель Н.И. SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем. Материал размещен на сайте www.softcraft.ru

Котов В.Е. Введение в теорию схем программ. Новосибирск: Наука, 1978. -258с.

 

 

 

 

 

 

 

 

 

 

 

 

Самостоятельная работа по

Технологии программирования

 

Тема: 

Конечно-автоматная технология программирования 

 

 

 

 

 

 

 

 


Информация о работе Конечно-автоматная технология программирования