Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

Текст программы Анализ синтак сической правиль ности Получение объектных модулейи результатов выполнения Анализ логичес койкор ректнос ти Проектирование текущегоуров няиерархии Расчет числен ныхха ракте ристик Постро ение системы текстов ЦДтекущего проекта Щ алгорит мического обеспечения Выбор входноймодели ЦЦресурсно гообеспече ния Универсальное графическое представление (граф-схема, потоковая схема Сеть Петри Обобщеннаяструктурапрограммнойсистемы. Следующийвиданализасвязанслогическойкорректностьюуправляющейчас тиалгоритмаивыполняетсяпутемтрансляциитекущейвходноймоделикаждого уровняиерархиивсетьПетриипоследующегоанализасвойствсети. Канализи руемымсвойствамалгоритмовотносятсяследующие: наличиеостанова; наличие взаимныхблокировокпараллельныхпроцессов; потенциальнаявыполнимостьвсех действийалгоритма; однозначностьпередачиуправлениянавседействияалго ритма. Описаниеданных, обрабатываемыхалгоритмов, такжеможетбытьпредстав леноипроанализированоспомощьюсетейПетрииихрасширений. Совместный анализуправляющейиинформационнойсоставляющейалгоритмапозволяетоцени ватьтакиесвойства, как: определенностьвходныхданныхкаждойоперациив моментполученияуправления; ограничениянастепеньпараллелизма,накладывае мыеинформационнымизависимостямимеждуоперациями; однозначностьвырабаты ваемыхрезультатов. НаосновеанализарасширенийсетейПетри(временных, синхронных, веро ятностныхсетей) выполняетсярасчетследующиххарактеристикалгоритма: ко личествопутей, ведущихизначальнойвершинывконечную; количествоциклов; математическоеожиданиевременивыполненияалгоритма; дисперсиявременивы полненияалгоритма; математическоеожиданиеколичествавыполненийкаждой операции; дисперсияколичествавыполненийкаждойоперации. Оценкавременныхпараметровалгоритманосититеративныйхарактер. На некоторойстадииразработкидлявсехоперацийвсехсамыхнижнихуровней иерархиипользовательзадаетвремявыполнения. Времявыполнениякаждойопе рациипользовательопределяет, исходяизсвоихпредставленийовозможных 30