автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Концептуальный анализ программного обеспечения распределенных вычислительных систем

О Р

ГОСУДАРСТВЕННЫЙ КОИИТЕТ РСФСР ПО ДЕЛАН НАУКИ И ВЫСПЕИ ГКОЛИ ЛИШНГР АДСКИЙ ИНСТИТУТ АВИАЦИОННОГО ПРИБОРОСТРОЕНИЯ

КС1ШЕПТУАЛЫЩЯ АНАЛИЗ НРОГР/ИРЮГО ОБЕСПЕЧЕНИЯ

Специальность 05. 13. 11. -Математическое и программное обеспечение вачксги-тедьЕнх наши. комплексов. систем и сетей

Автореферат диссертации на соискание ученой степени кандидата технических наук

На правах рукописи

КРХЕ20ЕСКИИ Александр Викторович

УДК 631. 142:550.2

РАСПРЕДЕЛЕННЫХ ЕЫЧ2СЛПТЕЛЫШХ СПСТЕН

Ленинград 1991 .

Работа выполнена на кафедре вычислительных систем Ленинградского института авиационного приборостроения.

Научный 'руководитель - кандидат технических наук. . доцент В.В. Сгльчадоз.

СЬйяшаяьпыэ оппоненты - до:стор технических наук, профессор ■ Е.И. Пзроаская; кандидат технических наук, старший научный сотрудник В. А. Павлоэ.

Бадуаая организация - Езстетут ипФорцаткки и математического шдгягровашш тохнологачесгснх процессов Кольского научного азнтра АН СССР.

ВацЕта ДЕсссртащш состоятся "_"_' 12Э1 г.

в "__" часоа на засодашз! спсцвалиодаовакного совета

К 063.21.03 в Лшшнградскоа институте авиационного приборостроения во едрзсу: 120000, Ленинград, ушпха Гераона, дом 67.

С дпсес-ртацкэЗ етзю озггкоюггьея в библиотеке ЛИДЛ.

Ваши отанвы Е двух экзешйлрах, завзронпыз почать», проси шагать по указанному одргоу.

Автореферат разослал "_"____ 1931г.

Ученый секретарь спецаалнзнрозашюго

совета к.т.н., доц.'. /2$ В.В. Фильчакоз

Подрисано к печати 30.04.91 г. Зак. Объем 1 п.л. Тир. 100

ЦНИИ им. А.Н.Крылова. Ленинград, Московские и., 44

'..':• ; OEÍ'ÁÍI z\?AiOTFnjn::A рлготн

""Алггузлькооть ту;^. 3 кастотаэе врэ.чя р.азглвггтгтся области

:тпучя?:х хсслэд^жглсз. сваэаянш с а^том.атглгащгой гхрсзкгзрогаш програютого сс'еспо-.нюг 8Ш. В отдеяьпоэ нзпг-тлл-жгэ гидолгалго!. прсблеюпка реаргЗотка нового покояслзя япсгр74.'эзт.зльЕы:г средств автс'_'атлз.т>лпт пг-грг»?ярозан:гя - CASS-спстсм (Сс\-pvilcr Aided Software Engineering). Tc~î:;c:.î :с рг&тп з дгдпел папрлзлзл:::: пссотгяяа ентугдпл, в области ргярабочяа програюзгого ссЬгазчстгш

я 2араг.тзр::з?с:'гл в .»етгратурэ ках Ерогрглг^рогзям.В тглзз-

TSG его сог.сита:: пртагахск сяодус? ушкиу-гь розгеоэ уплхгл-пкэ р.чт на nporposrnpo?«!«» л есгзг.озессть еалпого сйосг^гсяпЛ Epi y::-Hb:''S!ï :rî <я'с:и:ост!: ¡i ГССТС лглллкгг.: сш:?рат?т-!:: стэдоте, а lo, чх-э вродйС'.к, -о'-^яаглпо 2?ü прэггкггдг:

crrcTCU, связна па сто л:.-::» о- рл'зрг'.ио'псс": 4

сколько с кач-зстгсц п:: сбъодипежл s parscas cr~c:î сглгслгг. '. ;

• Гетаппо по:£отср:л: зкязлллл-ле;! :?г-т преграглого '

сбсепсчзгга проблем соетстг? з к«!ой:сог2гпз rnnrrs ст^ддадг

гроэгг^г-с-с-гтя г:гге;;егяЛ, пезгол.-.'зяг.г стронь

?ор>?зльпи;? опясжая рзгкдак з п^ст.'ЭТ'" - сглоет.-пг -са~

дзч, ■!?: осуг.зста.т.ет'- гле.гл.? :: c~.~T.cr ггяс-х-.

та. Г>р~: тага гзигатая î.ryro;.a

caor;!-*TcruiT5í (SADT, HEYS, SSL п др. ). s таеггз тсгпплтггпг глзр^ошг Ш1 (рсяк-лко задал кд ослогэ з сг.сгс:гэ Пргз,- -

й-Д-тетаолсгдз. "Ггтод I'-rcpec^cirin. т^.охг-ъп). »

П'-осто с те:,; з к ne.:~'cn'í." • стеттспуг?

тахпэ Г-ЗО&ХД^.Г-ГЭ прз пг-гзктпродалге! срогрзгл-пго р-?с~

прзлзгениыз кгяюгптякпк c:ïcto:j срэдстза, £~::сапт:з . угэ га уровне прод'эт^оЗ области струзтурн я.мажало^опгкг гспоД52??я*!ТГХ xc;.ao:"S'rr cKcrreist, пх с галл^с;'1* п át^í^vaín

прэдмэтгоа сбластя. Пэ глсс:птрпп~ятс.*г оплат» перехода оу прэдузтаей сб::пот:: к л'гсс.лч cr.vciirsasrsjf.,

скптс-за слс:ц:ф:плач':3 прогрг.?гаого ;; стрттггур

Оспззан;1-;:>г в'!псллс!Ш padoïn uoa'iyran; ' 1:лг'.го-^гокг!Л?зетсгя прогр?.тл'л 0.80.01, утвзр-ло:;нэя псстй!ЮЛл;ш:см Г131Г СССР, Гогпягкй СССР, Ахалсжей наук СССР; кст.ялггсо.тая иолезая гроггл.'гл разгпткя САПР с'ортслого сбсрудозаяжг г. XIII шгнаткэ :л5:г:отерстза авгггапол-КОЙ ПРО'.ХЛ'ЛОППОСТП. РпЙОТН НРСВОДПЛЛСЬ S Г'ЧЛ'ЛЛ imp ПЭ TO'J^a "PCDpa-<5стка п псслелованке янструиош^яыпк ерэдетп проел-

Tupozcxin npcrpaisiücro обосяе^еаз.т ШХС", :: лсслэдозалпз

про<5лг^!о-ор:!опт::ровлпивх гголеясл гг-зпл^чггог"» згогргкпгого оЗосп-з-

чения ЛВС ПЭВМ", "Исследование гфсГехтавностк параллельных алгоритмов и их реализаций","Разработка катодов организация интеллектуальных подсистем на микропроцессорах к СБИС для какрокоиаейерных ЭВМ".

П^я'тР ваботи является автоматизация проектирования програшного обеспечения распределенные вычислительных систем на ранних стадиях его разработки - получэ:г,:5 на основа концептуальных моделей пред-ыатыой области и Есполшггелыют средств спецификаций программных систец. удовлотаоряваах заданные показателям качества.

Для достнкёппя указанной цела в работе вводятся классы кокцепту-.- альных шделз£ СЕеапальпого езда п доказывается из: свойства: разрабатывается алгоритма определенна класса шделн. глаллза целостности н разрзгзцоста копцеатусльшс: шдояеЗ: определяются правила коли-чостазиноа оаозкг ароегтоз сзстои. продстазлэзнш концеатуаяьншн кодзлган^^разрабатнзгэтсз иэтоди выбора альтернативных вариантов . реализации и структура прогр^'.г^кх сксте::; разрабатываются кетлш скятега спэаз:Ф:зсааЕ2 алтератаэз.

И^то.та Есо-гс-теаст^. Идя ргЕЗЕЕя поселенных в работе задач.используются ЦЗТ02Ш теорлл шюхоств, теораи графоз. «атеггатеческо;! логаш, теории алгоргшов, искусственного ептеялгкта. Иттая?-*:, го^т^еп ргбош состоит в следущ-зы: взздсны классы нерегулярных н циклических концептуальных гаге-леа, доказана свойства гэдояеа перечисленных. типов, поззолязепэ сводить агалзз моделей в цэяш к анализу отдепьЕиа: Фрагкентоз -сайсопов спасаши, разработки» ютоды, позволяла» определять класс 2-;с;]сдусг,оа шдола;

продленка Формальная ссстеыз' логического тиса,- позволявшая свести анализ разрсапыссти концептуальных ыодэлеп к доказательству вы-рааяша вычпслиыости на осново иногества аксиои. подученного трансляцией концептуальной цоделн, разработана стратегия вывода,установлена екЕПвалэнтыостъ вывода в Формальной системе. соотвотствуваой всей кололи в целоы, к совокупности выводов для отдельных шаблонов, что нозволяэт существенно уменьшить вычпелитеяьнуи сложность задачи

_ _слалЕза;---------------------------

разработаны катоды получения варианта реализации программного обеспечения вычислительной систем как результата совместного выбора Фрагментов описания процессов обработки информации и информационных объектов предметной области, представленных в концептуальной ¡¿одели проектируемой скстеш:

разработан ыэтод синтеза на основе концептуальных ыоделей процедурных спецификаций программного обеспечения для моделей потока уп-

\

- о -

ргзхсння н потока давши.

{Тр-ч.ггичрсь-зя соягго^тт» работа состой? з слэд>'пг;?}г: разра.-Ьтага кнструнактальвая с::стсна для хсир.е-ггуальняго а:'алпза nporcù-rtroro сбсспоп'лшя распраяолангих дчрпо.тяртд.тья слетс-'.:;

разработает алгср;:т;ш аихздэа цслсстностя и ртзрсзисст* тхз-лсЗ, а текг.го дягорстни аскдоестзэянсЗ спевки. позЕряйЗзагэ проводить сбословгтаоо сопостазлсгго гзргтаятоз псетгос-пкя аг-огрсаггэгз скотом:

ратзг-абот&г?» гетотдагд зчйвра вархгптз рззяизас:з. гфоп>.г:лпоЛ сестсш, ?дсвт;от:ор;п:-"--;го таяг-гппг.; scK£oatonir?i гс^тстга, п аягсрзт-км сштгза црщ-?лтр:ппг спсапфжгятгз ви«ссгг:ггал,-п'.г:' сроглсссз.

¿^¡чяетксзтагт работа является ооотйсггс." чт.осгэ пат^о-тесгзг.огатс-льсзг^ riC« nt> гз--тоштазздяя npcr?aiü3pc-2?.3ri.i, кз ез-^лго u з zz-

■ числстелт.-ЗгП{ состой ЯсзтагрЛлсгсго

стгоггг'я. работа vosoaso'.ssi ersTcrri "з-

тсгятгзг-цкз прс?:-гг~р03?."гт:т прогг'-'-^огэ с&сеггтпй

вах гучзсл:г?влът;ьгг спетом (ЛШО аз-

кета прзгрко! да ог>;;г.<5:ггге ^-лттуглпк рсггггл егггзгк*

(ЛНГЮ "Д?льсада.ь"}:-трзоятп?5ггзпп s:?eîir?:сгпзЗ ноЗ готг-сяйтспысл cor: ГГ?гГГ| лея crunn . гэтгпг^гро^пзтаго

управггкшя арочзйолстпсм (ПО *!»з?с-«г.:3 согач"}: гг~' гл'зрогг.ггя тсмн ааттазс пссгз^сз^ггл ('^отггягг ггт/гр'лкглз а

те;.:атачоскогз гл-ол:грс~ап:'Я тэггпопогпгэеггг: ïïpci'.vceoa КШ /П СССР).

am?o<fenw/t .уфт??... ocrcmi-t результат:-? лз-

кяадкзаягсь п c6c?:c.a;rtc:> ira гсссоззпоз ncn-^pssrnn алзг "Чз.то-

■ век - 83'{" (Сверялсзок, 1.РсЭ г.}; кау*ято-тс:авр:сс:<я2 "Технология проеятсрозаяяя проптскяяпс я атаратая срэлсто гит»-

4 лвтелышх слетом* {Лззшгггзд, 103Э.1ПСЭ г.); сс£1*^стзо;!_ cî:~2P3 АН' СССР л Sicnsns AG, i?r {'.'ос;:ва. ißfiQ г.}: ШУ по

asToîmraairaa р.сс-'пн?^ исс-'галоггшяЗ (¿"яатата, 1ГШ г.}.; 0етеа?иг? работа, sksosfis» па oaxsws

прэллогеви кл-осы :сс!щопт5'аль::ш: кочс.тог:, потасл.тгтп: сгпсэтать предмзтауо область с корс-гуляркоЗ ясраргаозскоЗ структурой, ео*ор-saajD ияклвчэокяэ хсдасзгпига прсцоссоз л iBrtcpîs.iKO'aae: объектов:

прэдяогеп ыетод спалпза р.^зрэ'л:«ост:: г.о::цотп73Льеш: г:здсгса пг-тем преобразования cnticanstK гопелой я ФоризяыхоЗ с::ст:::э логгчэсг.о-го 'Н'па;

разработан нотод получения зарнгктоз корретстг-ой рэплотацте как результата сойиэстпсго ппбэра Фрагпоптоз описаний прса-зсссз п па-

- в -

Фориашгонных обьектов в копцоятуаяыгсй кодели преднатной облает»: проектируемой с:;сто;:и;

разработали г-штоди автоматического синтеза процедурных специф::-шй проп>21зстого обеспечения ыа основе нерегулярных циклических кокаентуайыаг: г^долс-П;

предложена икструг.&нтаяып.'д нрог;^г.п-.с1ые сродства концептуального анализа, поаволяюдие существенно сократить сроки разработки к повисать надежность распределена;.« систси управления и обработки ккфор-гздал.

Оеаоануэ результата диссертации опубликовала в 8 печатал работах и отрагс-ва в 7 отчэтгх по Ш!?.

Оггтртурл г гы'атя. Диссортааая состоит ш введения, пяти

глаз, игзкзчоазш к спсска литература (39 пгишокэвавий), шеет обгкк •сбьса 171 игзшшош» сгргэду. содерзхт 2 таблицы к 19 рисунков.

• С0£МЖ12 РАВОШ ■

р.? ио^зага мстугигоегь ирогодакх ксбяздссапдй, с^сг.>-

куезрэггяа ье-аь к ^глачп рабэти, ооцомке каучназ к п?ах-

тг^га^'-реэульте.'и!, жзэа&до.ш згагху.

В г-у*; про^с^'А-^гг &з£?пгэ .сгн^ол я сродстг, исиольэуеааг дяв агкхаткайаи хфдзяквроггззцг црегрг^акого ебэопзчэвда (£А/£Л1)Т, ШуШЗ.Ш.). озаоаэдх •рзггеле сЬотакгё: вадач (вычкелительниэ ко-кга,. кьххл црсюанаЗ о$йаэте в -р^-ая: ЕЛнкааюсогаи, содах для К-сзржкекцз крирага), крссктярогаЕгя' структур ' -гапиз: • (допцзпту-т&ахжръ&явэ' бга «спид, БНчжзгз). Пэ рззультатан. ааап:-• еа счэрлгжг.: «¿аса трсйггагла'к вегэт саксаггя програклак скстзк на р^кгаг стггЬг из резрлбота», соста^саи ссгиэ ¡гсдачк, нэ ргзгеаиэ в ргхдгх сусгстггкзг т-еггогогай ковЕтсрэгазаг. •

III ост хд: Хфгггдсагаг ыгэ еоддодоз к щюс-хтеррззнйэ ц разра-. врогри^лог'о сбгссгчзгцш ко ирсдусматрава&т описания ксполвг!-техьпах срсдстБ ' епчислитслъеоз састсцз. Описание исполнительных средств юйср ггяаоз сиачзз:9 для распредояснкнх систем обработки, _—Е54ор^5Ж2 в позволяет получать оаевхш "логачёской. корректности рас-, прегелэаая кэрграгессшс Бза£1»деЗству»«ш: процессов в вычислительной ссстеао. оценивать качество такого распределения по критериям Еадвгзсстл. вроуаш работа, эатратаы памяти.

Лкол::з проекта в взвостиих технологиях сводится, по суаесгву, к анализу потоков е ео предусматривает получения количественных оценок, соваостгого анализа структур и взаимодействия процессов, ин-Форишпонные объектов, ссаолпателеа, соответствия спецификаций на

различных уровнях иерархии з опксзннк разрабатнваоксЗ спстеш.

Нетолы синтеза вычислительных прсаессоз лишь частично поддергивается пахотными технолог:! :гг а в форте построения плансз решения Задач. Вместо с тем, методика проектярованяя лолгпа предусматривать такие котоди синтеза как выбор фрагмента реализации (о послэдувма его оценкой па сс-гово Формальны,-: крзтараез). гекерашш спе-акфтсацпа алгоритмов. сбеспеч:'5аспях связь ргзяих этапов прсеятпрс8ая2.1 (па уровне предметной области) с этапам болзэ детальной прерг.ботки вычислительных процессов (разработки алгоритмов решения залач). Ре::зш:э перочпелеяшх зетэ задач поззояпт:

существенно сократить сроки разработки програмляк систем и производства вовже взреза (сскрэпггуз достигается за счет япяьгодгя затрат времэ-; на ггепразяагго сакбох, доп7скао:сгх па рчгатая этапах про-эхткроваягя. а таксо за ечтг автозатлзарозаппого ш5ора варианта реализации л синтеза процедура»к ссеад&ппгпЗН

повысить иадежоэть програгэски сгстои (за счет згсгггаеэгпп вероятности появления ск»5ек з кспечгхл рез.тгхзшпг):

уиеньшггь затрата на сопровокгеяие, ;:лггксст:ш, обучение пользователей, згаусгс локуп-жтга (за с*:э? яснолъзсгаиля для стгз целой копцеатуальпого олг.сазз.1 прсдкетяоП области спсто:я, псстрсезпо которого предусматривается технологией гязктх'эптусльзого аяалста).

Ртопая гяэрп пссвгаона разработке гптсзтггсосяого аппарата дня ояясаиия л аяалнза концептуальных модолсЯ агедкотсоя сбяг.стнЛС числу решаемых з главе задач относятся:

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

определение правил построения моделей, разработка гптсдоз и ал-горлтиоз синтаксического аяаяяэа, анализа аеясстаосст я разрешимости, позволяютх в последуззе!' корректно производить выбор варианта реализация, синтез процедурных спецификаций;

разработка правил определения р.рсиетап: характеристик ржеяая задач, показателей надежности я требованн." к ресурсам такта. Сходаа концептуально.! модели прэд::с-т::с* области называется:

по = < р' °< нр- ![0- 3 > •

где Р =.{р^> - гаогестзо процессов обработки информации; 0 = <0|> -множество информационных объектов; р х 3(Р), Н0£ 0 м 3(0) - отношения иерархии; 1п '' 3(0} х Р, 0и1 £ Р х 2(0) - отношения, спре-деляваие входные и выходные пноорпацпепниз обюхтн процессов; 5 £ ? х Б(Р) - отношения следования процессов.

- s -

Доаояшггелъкг» ¡-.Нчорт-эцка, сюзизгоют с проаессанн и нифоргаци-ошпаш обьекташ:, образуьт атрибуты к количественные характеристики. ktpzärrztm в конЕвятуалькоЗ коделп щхзджгтноа области являются:

V IJo- V v Th> .

ГД0 iL,. iL. - isioss-ства sis лруссссов и объектов; Тр, TQ - инохзс-vaa вкаа тшюв; T^ - icioesctbo тпвов отлоесннп иерархии <&, V. *.:>. Атрибуты, связш;ао:-.'л.э с отйоц^наяглг норархкк, позволяет расширить огс:сатояыа:э Bcoiwscucra ао.целн и определять такие отноаекая как црсаосс - подпроцессы,объект -, ьокксаента о&ехта (конпезиция -thp(pi)= tv!0(oi)= &); процесс - вг^лапти проассса.обьект - вгри-шгга продстаэлглая cösesra (класайвкашаг - V, 1|Ю(0|)=У);

утераташг2 ирецвео.- теяо процесса, шоавство - олеыеат множества .(лтерздая - thp(pi)= ^(0^= м).

• К чае» ¡задавази.-: (соботазлгшх) гяргктерпепп: глзкзктов кэдэл:; Ерздазтсай' областа стпсслтсв: ' ■

,1 сеа по " < cf>' с0" ср' ср' с0 '' '

reo с£. с£ - сакхсзсга рсс-::а:я еахач, яргзешя обмято®; Cjr, - вре-

к " . г» л, jk

шаа smop&szs Ероае«со; С:;, o^cocteuo тробоггзлл. Дня эяо-кмгг-оз школя casoro нгжззго урозаа задаваема» значак хгроктерп-сувт обьест пян процс'ее и цеяса.а дед слсззнтов промежуточна.? эров-П23 - жздхл на кеардшдацэ догдзявтзяшв ироцзееоз, на о&эхзае-наэ соазоаеат в ЕЕфорагцзоакуа структуру.-.Ih. сспэг-е ойсчэийй, аада-ваэас asa еггдзлышг аяшя«й цодоли, вачноизгоя поаазател«, ха-райтеразуваиг есэ слстеау s цел--;:.

npouecos s обьестоэ tacoss аредгэтпоа области гагу? бить да--пн оярэдоюжм вкизаалевтиостя ы»о«пляров в топов, учптнгьющк® кх структуру, сзаэз с другая элс-аеятакод ела, агрябуто. Определения Еквийалситиоста пэлоьзаа ь с-жову синтаксического анализа кодела, правила вазолксная которого для объектов иыгвт следуадий мнд:

Voj. псЦ) = n0(oj) «» tho(ox) = t-ho(Oj) £ _________

Vor hjjioj,), Hoy, 0yc ^{0j) & n0(o:.) = n0(oy) ;

V°.r = W * W°i> = W°J> s ,

V°r 0„G hü(0i). 2oy. oyc ho(0j) & t0(oK) = i0(Oy) £ I <o„: h0(0i). tQ(c,) = 10(ог» I =

i ioy: ov,c h0(0j), t0(otf) = t0(ox)> I ; для проаоссоз добавляется контроль входных и выхоюаи объектов:

VPi- VPj. np(Pi) » np(Pj) Ф thp(Pi) » thp(Pj) ft

ур2. hd(p,). spy. pyc hp(pj) a np(p;i) - n3(py) a

vo,., 0,,c- in(p4), 2ov, OyC in(Pj) a n0(o„) - n0(oy) £

Vc2. 0./3 ouUnJ. О,,С OUt(Pj) St no(02) = no(ow)s

vpr VPj. lp(i4) - tpiPj) » - thp(Oj) a

YP,m p;:s bp(Pi). PyS hpipj) & tp(p;r) = tp(ry> a ! </>,: hQ(pl). tp(pz) = tp(px)> f

I <P„: P,/ hp(pj). tj,^) =-tp(p2)> fa

Vo-:, oxs infpj), Iby, oys ínCPjj'a t¿(Oj.) = t0(Oy} S

! <oz. oz€ ia!p,S, t0(o2) ta(os)> [ =

I <o,.,: o,f infpj), t0(o„) « Iq'Oj.» i S Vou. o,/, ootfoj).' Взу, oys oyt(Pj) a i0{ou) «. i0{i>y) a I <or: o^cuLfej), t0{Oj.) У<?ц» {

i Co^: o^t cat(Oj), t0(oy) - tG(oy»'! .

Колцептуа.т-нуэ модель прз.~~"тксЗ cd;:* отл. рзссм^тг:"^ •

как оосгояпув i» отдаяьй'яс табясяоз, sa сего за KCTCFfi cprassiajwse. анализ, выбор -îpaivsKTOB я с^птсз нроаздП'-нз спэзгчсз-дгз.Пя&5яс?1; кая'гзаотся • иоулотоогго иодояя. вята-гсгг-сз скхсггсякх» исистйрего вафанпого прсассса р^проиосоз-зяак^пд ьейлона): -rypyî tv,{p|>>-подчж:з23-'э Pj прспоссч; {о.:о,e in(p¿)> - snosrr.ti e&omi п^згссса

Pjî (ojtoji 03t(Pj)> - r¿:oÍKt:3'ебьехта p¿; Ccn,: с^-з ^(op. о,г

е in(Pi» - когяопеггта'з.тодк»я осЗ"лггсз рр ío>: Oj- з ha{0|j, OjS 6 Ои*Ь(р|)> - КСТЯЮЯСЧТН ВШСОДККЯ; <СЦ:ОтС inCî>-> V Оц<* OUt(pj,.)» *РьД е bp(pj )> - вход-!-«'п г;:пседзкэ даигаэ прсагссоз псзп;гя;кп!^ Pj. В, зависимости от структур-'î сйбдоха козцептуапъжэ шдедз . аггг йггь ; разделен:: на рогужггнм? л нерггул.трг'гэ, ааджпгсо<кста з гктшпэскпо.

Для ¡габясноз ке:гцептуалъ"о.1 мздой; могу? бмтъ с-^гщ'ллрззсг.'п ограничения целостности. Ограппмомнп ц-этдстмсстя км.аезт'прсстоЗ ззд s.' состоят в соотяесеяия каждого входящего а иаблоа па шнкеа уровнз информационного объекта с ояпсЗ из nennsss категория: " вголпох, ьи-яодноа, входноЛ :: з:псодпсЗ. ссбстгзял-а {ло::а^г;-й} сс'зс-кт взблепа -

a OjjG ia(Pj>) « (й,е hp{p1) S ok6 caUpj,} ;

\'o,, Yoj. VJ>x bo(0j) a OjS cut(Pl)) ❖ Hpj (Pje Ьр(рА)

- 10 -

& охе оиМрр) & (р.^6 ^(р^ & О^ 1п(рк) ;

Уоп, Уо^ УРА (опе Ь0(о1) & о1с !п(р1) & о^ ои1 (р1) Ф => (р^е ЬрЦ) й (сИс ) V опе out(pj)) ;

VOjj.VOi.VPj.VPj (оп<$ Ь0{о£) й (охб 1п(рх} V оАс оиКр1)) &

& ((опе 1п(р^) V Оу.е оиКр^) а р^ Ь-,^')) ❖

❖ 2рк ^(р^ й опе 1п(р,;)) & Зу^е Ьр(рА) & опе 1п(р1)) &

& ио(о,Л) й & оп€ 1п(рИ) V 0„е ои1(рИ».

Для проведояяа апаяяза разреанахуп: гонаептуальзой кодеяв производства ворзход к Формальной сЕствкэ Цщ' П£).шо5остао Формул в рас-аатраагша Формальной система образуют собственно сиьшоли, обозначайте процессы к объекты, опасакакэ в концептуальной кололи: {р.;> и и-<о_>; щфаЕОЕкя, с пс^аьз которые устглаьдиваетоя соответствие . кзееу проаесеааи. объекта» к подчакешиш ам элокэвтагш кодолн:

Л(р1} = РЛ.Рк-'г"2 Pj.Pic--.-Pl6 ЦМ-

Ь0(о£) = 0^03......о^. гдэ ор0^.....о^е Ь0(оА);

кзаду протессаш, взойдим и зйкодпг-я объектам;:, прздаютвуетаи па процессами:

1п(р^ = о^с^.....05,. гдэ о1.о^,.....о!се 1п(р1 ) .

оиЦр^) = o^.Oj.....о-К, гдо о< ... оиКр^).

бСр^ = .....рк. где .....рке 1п(р£) ;

вырахаыкя ьычислиетсти для каждого из оппсашшх в концептуальной иодолл процессов •

1п(р1). э^} 4 р^ оиКр^ ;

акопо:л1 клзода виргБЭпай еычйсянкосте для процессов промажу т-гтых уроваоа кс-рарзаи ^ б):

?(р1). Рр оиКр^ ( 1п(р1), £<рг) Ф р1. оиКр^) );

а такЕа Ещ»а^ения. опрэдолшаие правила отождествления супсробьех-тов и супзрпроцессоз с элзиезтаги сяедугаего уровня иерархи;;:

Ь0(оА ) => о1 . Ьр^) -

В Формальной скоте^о Ц,ц по кроется два правила вывода:

Л * р2 Г2 Е Г1 = Г2- Г2 * ?з н Гз •

Конаептугльпая иодглъ продчотпоЛ области является разрешимой то-

-- и ~

гда и только тогда, ;согяа для кггдого вгтралэлдя ;:.?,гп:сл:л-:от:1 существует; вывод кз гиогсстзз аксиом Форлаяьноз тсср:;:.! I.,. тд.

В ccoTi'OTcxr-д:! с дотсааадгдя т> гяавэ тоорелалл о с-асдстзая ::оз-цептуаяь.л'х • rva^.", ~ "гегпл.л'лл ллассоз ллгорлплд сллтакслчгз-кого анализа. дпалли.а целостности л гдага^кнсс-гя.' а тахго алгортгдл! определения к;:-сел 'лдел:* могут dy.-гь слелслн к прэцздурот апаллза отдельных адсколстз. ¡лллтачеслее сяачснлз до:сеза:п:ь'.т теггел состоят в укояълздт! ллл'елпезллгол слоллоети злгоритдзп (лллс-*:л:3 рост елахйосгл при уеоллелл ледзлл). .

Вторая глава о ;лак-л:аг.стол слглделсглзл прггхкг, з осот^етстзш с которлл прсязг.оязтсг лслллестегнлал оцолла прпелтлруллд": слстели. Праздла глллгелегля ггаратп^ристх'. злтсслт от лл прлрсдл <падс:пс-гг>, грсят работн. г. лг'пгг:;}, от глета сг?>л:г.гс::зга vpr.'.cecca

пяк ocibcKTcy л порзрззз. тдпс:: 5'зр?-:г^:сс"сго отлсгеплл,. с*5дс'.т,т> zoro прсаосс лдц облает с зллхлгал: длллегс урзгл.7. З.гсд:!: слглаз калогзгосг» прспооеоз я са'лздтсз, состояла: с подчллелгдлгт з псрзр-иксачоп отдслзднл тлла ;лл:леелддл - {• п(рр - ij-^ic^) ~ Г« ллзлеотсл но ^рлуглл (pji h.,(r»,}. Oja h0io^>):

c^} * c;(Pi) * n ^bj) , '• с^о,) « * к G™{öj) ;

длт прогсссоч л cA«-~tcri, cccvoev« с глд'ллллглл з глрллдлелгс.; отлслзллп т'лгл дялсе:- глггцлл -• l^ipj }•= V, У {Oj-i cn*.{»>t>):

Ц-ЧрО » лллЦ"^)) .. С^Ц) --- Cp4,iOj}, л;л

С^Ч?^ = , С^Со^ « г.«(С^(о,)>;

для процессов л ocfoo.irca, ссетаезлл с плд'-ллелилг'! s перарлглез'/.сл отлсссаил ткнп лтерллл - !; (п. к - д,:сло поз-"

тзрзппй):

Влллслоллэ ералллгл: л о.доотт:-: :"•••*"/лл • epxiyo? .лла лл-чашкси ллеслноилл предсссел л ссглосплгзтся тлен пер где да " лсп>-ногательлой гралсг-сП; лоделп. Q работа пред лаг летел алгерлтд дере деда от колделту алане зеэлелл cpnoirrnposarno:."? изгллеллот/ г?"?7. пэ. сспела которого опр-адглястод ег.-э;л г:""ллл лее:": ссдсгсугг^стд задач, пред став лелкол в надел:: пре.г:гт::еД се'ласлл. .Тал ле.ла!" л л других случаях' рлаллз колэт ееелгел ла селеее огдалеллл гаелслеа.

!L:£2STr£:LEM^£l геодэтея ь.о:л;оат7;:льлел ;.:одздь леполлателълл ергдетз, л такг.о кзеолъ е:г:челлла.л;":0а слетлл?, полг.'-ззная хак ра~

эуяьтат отображения задач z ккформац^огпгкх объектов предметной области на c¡;cT£;.íy исполнителей. В глазе разрабатываются методы ана-'лкаа корректности такого отображения, определяются правила вачисла-•язя 'КОЯйчеотээнных характеркствк, с учетом характеристик исполшгге-лай к кахдаддааеяых скстеиоя ¡гспоякхлеяеа ограничений на параллель-•кое :ешюлношез ваккслительных вроаэссоэ.

:Схекой>1йнаеЕтуальной шделк исполнительных средств называется

= < V Л" ^ V Нс-' Ееп> ,

•где 1'gU EpU EßU Ес= Е - кяожэстео кспояшггепъкшг средстз, разделенное ка чзтырэ подкножкява: Es- вич-кажтелышэ шаквы.Ер- устройства обработки, Ее- устройства.хранения, Ес- устройства передача ин-

•Чягжавдш; Е£х(В(Е3)х0(Ер)хЗ(Ей)хС(Ес5) и 'Ерх(С_(Ер)хВ(Ес» и ЕдХ ..^(Ед) и Е х8(Ес) - июш кэрарзшп евподшгталыгак средств; Rsc S •ё B(Ec)xEgU BtEc)x£pU B(E¿)xE¿u.8(Ес>хЕс- отксдазвяя шшуггшш входов; '^п £ EsxB(Ec> U Е^хЗ^) и Е^'В(ЕС) и ЕсхВ(Ес) - отдедакшя

к01&эт2щщ ешсодоа.

Для койцоптуалыма кодеяа кспояшч'Лгдах средств ьмггт йагь канн ояродгяггкй рзгудярпостл, кзрвгулярпостк и полу чаш елгорлтиы анализа как результат в&зяачвтвлшзх' иэдкФккаака соотаетсгьуьазх аягс-рэтгюз. разработанных для годе-.'к пргдюткоП облаете.

Отсбр¿zasae прэдкэтнос области на есподпотолькц'э средства произ-•иаится nytea осроделошм отаозгЕиа трек типов!

Ä e:.c^pvV v;> •

гдо Ap^S р х (Esu Ер) - отаоаензя назначена ¿¿одуяез обработан про- ■ цессаа юдеяп прздоэткой области; ApaS Р х (Esu £ц) - отнозэпея на-

зазчэддя процессам кодуязЗ хранения; Áoa£ 0 х (L'su Ер) - отношения назначения шдулеа храпения янФогхдаиоанш сб&ектоа.

Ляя откоаений назначения югут бяъ сфорауларозакы правила. поэ-

еоляздшэ обеспочпвать ¡ir соответствие повила?»' интерпретации взаи---

~ шдайствпа процессов, объектов а ресурсов, а такта' структуре информационных потоков в иоделп предкзткоЯ'области, к числу которых относятся, капртхзр, требования реализуемости информацконных потоков в система пополнителей:

Víi.VOi.Vej.o^ appiPjJ.ej« a^fy) ❖ (е^ ej V eje гесм(е1));

VP¿,V'0|,VOj.VOj,0|6 in(Pl). e- app(Pi>. ej= a^) ^

■9- ej V reo (e^));

■ - : -

=> (е;- 7 э(з г-.г.'Н'с-}).

П захя^т.гэтяько.' ^лсп .гязза вводятся прхпгкг гч^о.тенал г.слт-чсо^'эелунм а учетом по.'сгзателсЗ с-Л;:» . па—

ылтя. ц.ядотьчуг'гз. прс;;/скно2 елсссозостн, дауадпкх зля отлслыгкл П/сть С!.,(о, ,т>,} п сстг^тсг.изт

лэдсгюсгл п-лугсг^м ил;; зсрод-":: О; лзсп'.'-сег.:« р^-чог.с-з

которвЗ тпп-г" ;тор-'дачп гп:?ср:га:ин:

= ъ>х I.П С^) ; а^р^з ггпЦЛ, о^ поп{оу>.

.... <>,3 ^ у..... 2>,

^п(о1,Р1> = < П : .■»-->{?! гсоЦ,}. о./: гсе(оу).

* * * ',

»2« гее'г:, у.....7.У,

тогда длг; агясЕбйса сг-ого р,тгг_"*го урез:« ' покпзатсг» - паяго-

КОСТИ бГ'Г.Ь УТ»: •

1пС^, >, а о^ сиКр;}. Г.:1. ::::•-;. .:?..;: для :: о(,

ЬрСР^)* С, Г!0(о^ 0 ■ гз» ^аи л к

по" О&ТЙ'УГЛ. л

■ Для отргдактсгвя г.го>:гн!лк л егтеотяк: ^ргагояск« а пм-

чисеттаяьпса сэтгеда претаяодстся' дсс^тслелс;:::? ор^зжргг^гиого

п0я7ч-:р!.:ог0 длгг "лабло":! ирзг.огпзй с4-гзтл..

аезяе лвязаед о г-зет.с-кнсм 1:05:2: «эг&р, ' ,

зарзцельного псяолнсгггя: гггеазееоз, :* зсссз о-7~з-

тем ::сс£Ф:1ц::с-птоз пртаззгА гт?::"

ого реаллзйхкгп па .тчтягч ком"рзт?;"сч г-:гз ::спо.~гггз.7Я. •'•" '•

ггосря-.^гп г-сг.рсс:: з:,*бор1 '

синтсза прок95зр:т:п: етешй-лг.*;:'."; ггг'./егктлгхгг'х пус.соосл.А",.":"-",:-ся ксяоднстш дагазп для лзосяггрозтгм ?хго:х?п:~'} г-^плз сслач. !1рэдг.е?яоЗ сблгсгл. Кот'-гктуаяьася :.:одоль лреяпжго:! сйягстп • &тся с-алг; оппсятпе«. Шб:г»"гсе?ь п «эдолз г-езнглп-зт з епггеч с ззодегтк!! от':о!-.,эа»а класстй-тгйтие., а гаг.из з сзтоя'с. прздотазлэ,-Ш! з 1'одэп! сольного чпсча г:га::г:!: уронлоЧ, '^у з роп;п<:о

рэалкз7е1-.сЛ; скстс::э. Та:<:::г обрт^.ч, :зкта.до.г*-я состто

з вко'ерь подшо^отхя годолл, яозтатс^юго для рзалнзеяпз ноа цел:! сяст.з:^!. П^з вн^орз Срг.п'з:гга гзгут ^искаться кгл 1С21-

ветви в иерархических структурах процессов и объектов, так и элементе промежуточных уровней иерархии.

Объектный фрагментом концептуальной модели предметной области называется пара Г,ш по= <Pf. 0f>, где Pf- множество процессов Фрагмента Р), a Of- множество образуешь Фрагмент информационные объектов (Ог.? 0). Для анализа корректности выбранного Фрагмента ис-

г г г

пользуется вспомогательные предиката К* и Предикат Кр истинен, если процесс - аргумент предиката реализован в Фрагменте:

yPi. hp(Pi)= 0. Pie % >» p|(Pi) ;

YPi- hp(Pi)^ 0 & 1(t.hí3(Pi)= & V thp(Pi)= *) & f

Щ- hp<Pi>*0£ Vpi)= V& f f

& 3pj, Pje hpíp^ & P^ÍPj) RpÍPi).

Предикат R^ для информационных объектов определяется аналогично, тогда условие корректности включения подпроцессов' к подчиненных объектов в Фрагмент могет быть записано в форме: !

VPj. ítpÍPi)^ Pie hp(Pj) о ;

Voj. h^)* 0, ^Oj. o^ h0(oj) => R^toJ .

Представляется перспективным подход, при котором не производится . как такового выбора фрагмента с последующим анализом ого корректности, а осуществляйся автоматическая генерация заведомо корректных Фрагментов. Алгоритм генерации Фрагментов состоит из нескольких частей. Вначале производится выбор поддерева в иерархии процессов, затеи Формируется соответствущее ему поддерево в иерархии объектов, после чего рассматривается возможность исключения промежуточных иерархических уровней.

В соответствии с доказанной в настоящей главе теоремой правила выбора Фрагмента и построенный на их основе алгоритм генерации име-______ст ваш се свойство - они-обеспетававт" получение Фрагмента, обладающего свойствами регулярности, нерегулярности, целостности, разрешимости , если данными свойствами обладала исходная концептуальная модель.

Во второй части главы определяются правила и разрабатывается алгоритмы перехода от концептуальных моделей к процедурны!,! спецификациям. Процедурная спецификация строится на основе множеств F - имен операций и V - имен переменных. Элементами процедурной спецификации

ялллеле.т сперацзп. шгс.лоство кстор-гс odp загс-гол обьод'лгзлле.1.? двух псдглюлеетв А л В, гдо Л - олелэлтгргшэ, а В ~ состгвюлэ (стрултур-:п-з) спераи-л:. й.т кл^лоп спсрзшхл а,, а^а А ст.гллэтся sazar-neti:

ind(aiJ r .....~n ' cutd(ai5 ="yl,y2.....yn ~

созокупнооти ело;;;'!"; n теноячнх псеедалгдз: {::f,y¿ 6 V); f(a¿} с Г -

>г;я ллпзлллт'л; одорацда.

Над vnozzcr?.?-', спзракяД слгодзлллхся 'пстлчамэ отпс::енлй, сллсл-

азглдз ¡хгзуоэсакгг перелаял упрэв.тагся (лестллтй-гд передел ;л™с?леллл

отсраи.й): lnc(a{}S А - ютдзото епэредлД, о? котерге: г^ гагат зтб-'

лучать упргшлелкэ; oulc(a¿) S Л - ге:ол"стзз операнд!, лелехллг гез-

лэлла пзрздлча улгазл-лглл ст л,. Длл улазалал лелхротдого - сгогссЛ

порзаодп !;п голтлзл'лт удрагдтпл гдпидузя пгддкддсг

í.pj^Caj), лгллллюдлз злаллал: V. Тогда елгпглал едггпдл дз-гэт Ллл с-гг-здоглпд о дследдз лелотрлелл д:сч ■

bt - <Г(ьр, inJ-^j), ааЩЬ.}, ЛГ У,. 7vi. i!,-.

1пЗ(, InCj, OvtGj. >

гдо f(bt), índ(b,), ол:.,^,}, лр, *,% егред-длл ггл,

лллеетао тгпзз педдллпд: лз 7, (v^.* 7,, iv.(v„Jl Т,.^}, !{,„,- олаз-

лллл ларарлл;; а лллллл UíyiS V^.í 3^}}, a ír;C¡(. Cate¡, Хг.Э,, OutDj. - ¡деластгп отдсдгдпЗ пегзаал, кздггзПгг улгллглпл л т ие.чдолпоГ: загесплослл, спродоло?л;".з лод глелзотллле ,'и л Vj. - -Расоютгтс праалла еллтеза следл 'лгеглл догел- д-лллгл. ,;дл- ■ лаг-го го -ш^ослацлеялого сс'?/л:ла, зпоягдого з рлеелзлрлглела сллесд-телхло иоксторого прогксся р^ гз&лса пгадгхтзе* сс'ллдгл, ; лаздлтед перелаплае:

\*0;„, ln(?j) V cs,2 CUL(Pj), pjí !u(í>, ). ■ ' -

" - v. =v;иtY(-.v).МО,).; ,

тип вводи: roa пзрокзжой совпадает о ллл си оо'лалта.лстег: лу ела «та-пател в соотвотстзло.Для левого здодла/гго ла-лтеге:: а гаилзл

•прозооса pj на аягорпг.сгпсдсм урег-ло з глолозтдо А, ¡л.едлтел" с::с-ралал aj¡

VPj. PjS ЬрЦ). thp-ípi)= ;>í hr Aiu <aj} ' = f-pípj'-

ind(aj)= {vx:o;£-> y.,,ox6 in(Pj),ty{v„)= ^(о,»,.'.^ VtU íy;i>,

oaLd(aj )= Cvy:oy-> vyloye ou!.(pj).tv(vy)- {y. j.

Для провесса - пл?дс-льца""лао'лоЕ'л, длл лотсрого устапозл^но герзр-хдческое отлс:::е1гло л?гду «art д ого тодпрслоссггс! тала лег-лгезггдлл

(tjip(pi)= &). порогдаотсн составкал операция b^ имя которой совпадает с именем типа процесса: fib,) = 1пр(Р|). а входные и выходные переменные которой могут бить определены двояким образом. Генерация U02LST ССУК.С-СТВЛЯТЪСЯ В ПрЗДПОЯОКЙПИН. ЧТО HCICOTOpilS , 0|6 in(P|)

ИЕ2 öjG out(p^) авяяртся концептуальная объектом н в реализации нр-здставлязтся просто совокупностью своих элементов:

Vo^e in(pjL),oiti 0f ❖ {Yx)c Ц^). <vK:ox* v^.o^e h^}}

VOj.OjC cuKpp.Ojf; 0f Ф <Vy>C ind (b,). <Yy:oy-> Vy,OyG h0(Oj)>,

аяьтзраатввкаа вариантом является фзэачгскак реализация оА,.состо-ssas в введении nexoropos структурной переменной y^:

Vo^ojE ir.(pi), oje 0f $ VjU {v^, v^ iri^b^) .

voj.ojs out(pi), 0,6 0f ■■> vj_= vj^u (vj>. vjs outjjcbji) ,

"vi* 'WMV viV vi2' vitc>' V vil"

°12'iVi2.....vlk' .....«il^-W-

Процессам, для шторах кераротюсгссэ отношение, свяэюгкшо их с шозстыж подчакешаи икгат тин кягссифясаэдя >—V)» ставит-

ся ъ соответствие- хшшзз составной ЬА операция, производящая; анализ условия и порудагсая управление в одну по ветвей, а такке операция, врогавоясзая окиянпо.ветвей сосло кзг кагэлконяя:

vpi' ЧггМ) в v - Л1 = Ai u {aib- aio>--oytc(aib) = <as: V V hpiPi»- lout(aib> = v inc(aio) = py-> ay, pys hp(p1)>, tln(als) = V . Аналогична дня p^, - я гдгут быть введены операции:

VPr t^ipj)» « А^ Atu <aibl,aib2,ai6> ; 0ЦМа1М)г: {aiL2>: inc(aib2)= {aibl-aie>' 4n<aib2)::: V;

" 0UMaib2> = <V V V рке hpiPl»- Waib>

---------inc(ale} e <ay: "V V V Чп<а1с} = & ;

alb2s out<aio>- aie e inc<aib>-

Приведение biso правила образуит в совокупности алгоритм перехода от шаблона концептуальной модели к процедурной спецификации, интерпретируемой в соответствии с модель» потока данных. Аналогична механизмы разработаны для получения спецификации при ориентации на модель потока управления. Отличительными особенностями такой

'спецификации является ¡сюгократное присваивание значений перэ:.:сшдЕ! н. как следствие, появление возможности оптиказацки юг псполъзсза-пня для хранения информационных объектов.

В пятод глазе рассматривается програ?аяш спстека. поддерживавшая концептуальное проектирование п концептуальный анализ. Инструментальная система разработана для ПЭВМ 113 РС п реализует сяэ-дуние сснсзпке функция!

графическое редактирование концептуальных педелей предштпой области л исполяетэяыпа средстз: • - -синтаксический анализ и анализ целостности кодэлей:* анализ разреиякостн кодеяез и постазлетннх пользогатегэи задач; анализ корректности вобранного Фрагмента (варианта реализации): ' вцчнеяешге коялчестгеяяшг характеристик:

синтез спэдЕфякациа алгоритмов; - *• .

Форкфоваанэ проехтнол докуггептгянз па зтапэ котаептуальпого проектпрозаппя. '

В главе приводятся такте праиерн исаользозазгаа рззработашж гк>-делей. методов анализа а синтеза прп просктнропаяш программного обеспечения бортсвих внчлелятолыкгх сястэа, прикладного прогрз^по-го обеспечения лехальпмх вшпкйпггельнцх сетей персональных ЭЕН.

В заключеизя кэяогэпы ескозанэ иаучниэ и практические результата работ'.?.

; ( ОСШВКНЗ РЕЗУЛЬТАТЫ РАЕОТН -

1. Предло^е:ш кяассн нерегулярных и циклических копцептуаяызз нодслей для списания на ранних этапах разработки предметных- областей и исполнительных средстз распределенных спстеи управления я обработки информант!. ...■-• >

2. Разработаны алгоритмы определения классов п анализа целостности концептуальных шделгз.

3. Разработали методы анализа раэрепакостя концептуальных юдолей путем преобразования описаний моделей к Формальней сзстепэ логического типа.

4. Разработаны ыетоди количественной сценки проекта распределенной вычислительной системы на основе модели предметной области и для заданного варианта распределения нагрузки ¡'.егду исполяптельнЕма средствами в модели вычислительной систем.

5. Разработаны кетоды совместного выбора вариантов корректной реализация процедурной и информационной ккдюнеат раэрабатквае::ой вычислительной систеин.

6. Разработаны кэтолк и алгоритмы синтеза процедурных спецификаций вычислительных процессов для подслой потока управления и потока данных.

7. Разработана Епструшптакь^ая схотема, поддерашасаая выполнение работ1 по корцептуальиому анализу программного обеспечения.

Основные результат!? диссертаций опубликованы в 'следующих работах:

1. EpSGDOBCiaiä A.B., тальчакоз В.Б. Программная система для разработай кояцопг/алькоа юдели в облаете обработка акФорьацик- // Методы и сродсгтва вычислительного ехсперямэита: Сборлпк научных трудов. - Апатита: ад. Щ! АН СССР. 1930.- С. 2A-ZS.

2. Бркезозсгзй: Л.В.. йгльчгкоз В.В. Технология концептуального проектировался // Тездсц докладов 2<1 Всесоюзной сколы по азтоаатк-вашш научных исследований". - Апатита: пзц.КНЦ АН СССР.1990.- С.6,7.

' 3. Bpseooscxaü A.B., Баков Р.К.; ^зльчзйоз B.Li. Диалоговые еис-тсйы nozxepsacE арозктаровапкя програкаяых 'систем /✓ Тезиса докладов Всесоюзной научио-техплчсской конФзрзкцпз "Диалог "Человек - ЭВМ", ч. 2. - Свердловск: 1033.- С. 79-31.

• 4. Брлезовс:сг.й A.B., £апоз .В. П., йиьчаков В.Б.Цзоплмааыа сродства для шекгржа врсежгароЕчка: п акаяхза ргезрздаяошьг: шчаелм-теяышх ссстеи //-Тсэкба ' докладов шучао~тегнччс-а:;о2 колФорэщгп "Пзрепсоткзы развгтгя вачколштелыш скотом".- Ркга.1£29.- С.53-60.

0. Бгсхсогсяй! A.B.. ¿.ков. В.П., СЬгьча^оз'В.В. Язтогрщрсваш-ая скстеьа «залзза я иадгяярогахся параллельных е:нлсллтклы-:ьй систем Ичторлады научао-техЕнчгг^о;. ксдСзренаяз "Технология вросктсрэ-Tssass програкгкх а шшратюк средств вичцелктельньк сиате:.:".-Л.:ЩШ. 1СЗЗ."- С. 70, 71. . ' .

6.' Эргооовсхва A.B., lasoa. В.П., Сильчаков В.В.АьтонатазЕроваа-кая технология проектерозапия программного обеспечс-пя распределенных шчвсяэтелыаа скстеу /у Материалы каучло-тохничзской конФорек-

шш "Технолога« проектгровакш програыивш к аппаратных средств ш-

числительных слетом".- Л.: ШТП. 12S3.- С. 14, 17.___

----—7 .-BpssaoscEBß А;Вг,~Фагьчаков В. В. "Лотвчаскоэ нрограторованао

на языке Пролог.- Л.: 1ДНТП, 1989.- 60 с.

8. Brzhesovsky А.V., Filchakov V.V., Zhakov V.l. Аз .Intelligent System for Distributed System Software Design // Advanced Information Processing / H. Sch'.artzel, I. M .).-Springer-Verlag: Berlin Heidelberg, 1990.- P. 60-65.

3<o-tc. £92 OÖ OS'Sl г 7\cp, /ОС + ,