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

В И ЖАКОВ, В В. ФИЛЬЧАКОВ Программная система для спецификации и анализа алгоритмов распределенной обработки данных Рассматриваетсяархитектураифункциипрограммнойсистемыавтоматизи рованногопроектированияпараллельныхалгоритмов. Основнымичертамисистемы являются: поддержкапроектированиянавсехстадияхразработкиотформальной моделидообъектногокодапрограммы, использованиепринциповструктурного проектирования, оценкалогическойкорректностиалгоритмовнаосновеформаль ныхмоделей, расчетчисленныххарактеристикалгоритмов(временных, вероят ностных) сучетомисполняющихсредств, одновременнаяразработкаресурсногок программногообеспечения, использованиебазданныхтекущегопроекта, стан дартногоалгоритмическогоиресурсногообеспечения. Нарисункеизображенаобобщеннаяструктурапредлагаемойсистемы. Прое ктированиеначинаетсяспервогоуровняиерархии. Каждыйуровеньможетбыть представленразличнымимоделями, средикоторыхразличаются: универсальное графическоепредставление, текстпрограммы, сетьПетри, расширенныесети. Куниверсальнымграфическимпредставленияммогутотноситьсятакиемодели, какграфы, граф-схемы, потоковыесхемы. СетиПетризанимаютособоеместо, таккаконипредназначеныдляформальногоанализаирасчетачисленныххарак теристикалгоритмов. Всевходныепредставленияалгоритма, вконечномсчете, транслируютсявсетиПетри. Принципиерархическойдекомпозициииспользуетсятак, чтоодновременно можнопросматриватьтолькоодинуровень, каждыйуровеньимеетсвоюструкту ру, независящуюниотверхних, ниотнижнихуровней, структуракаждогоуро вняпредставляетсобойзаконченныйвариантнекоторогоалгоритма, каждому действиюалгоритмаможетсоответствоватьалгоритмнижнегоуровняиерархии, причемреальным, различнымдействиямможетсоответствоватьодиналгоритм. Впроцессепроектированиякаждыйуровеньиерархии, подлежащийразработ ке, автоматическизаноситсявбазуданныхтекущегопроекта. Кромебазыдан ныхтекущегопроекта, являющейсярабочейструктуройданныхсистем, исполь зуютсядвебазыданныхстандартногообеспечения. Текущийуровеньиерархии можетбытьпрочитанизэтихбазданных. Прочитанныйуровеньможетявляться простымилисоставным (иметьвнутренниеуровнииерархии). Послетогокаквыполненосоставлениенесколькихуровнейиерархии, про изводитсяанализтекущегопроекта. Количествоуровнейиерархииистепеньих проработкипереданализомвыбираетпользователь, исходяизсвоихнужд. Это можетбытьодинуровеньиливесьпроект. Простейшийвиданализасвязансмоделями, подобнымиграф-схемам, и направленнавыявлениесинтаксических ошибок. Синтаксическимиявляютсяошиб кинеправильногоиспользованияконструкцийструктурногопроектирования. 29