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

Санкт-Петербургский государственный университет

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

ГАЛКИН Игорь Михайлович

СЕМАНТИЧЕСКИЕ СЕТИ В РАЗРАБОТКЕ И СОПРОВОЖДЕНИИ ПРОГРАММ

05.13.11 - математическое и программное

обеспечение вычислительных машин, комплексов, систем и сетей

АВТОРЕ Ф'Е PAT

диссертации на соискание учёной степени кандидата Физнко-матонатичосхихнаук

Санкт-Петербург 1991

Работа выполнена в Вычислительном центре

Академии наук Беларуси

Научный руководитель: доктор технических наук,

профессор КАТКОВ В.Л.

Официальные оппоненты: доктор физико-математических наук

ПОТЮСИН И.В.

кандидат физико-математических наук КУБИНСКИЙ Д.А.

Ведущая организация: Ш1И электронных вычислительных машин

Защита состоится ^¿¿Ы^ г. часов '

на заседании специализированного ^совета К 063.57.54 по присуждению учёной степени кандидата физико-математических наук в Саикт-Петорбургскон государственном университете по адресу: 198904, Санкт-Петербург, Старый Петергоф, Библиотечная площадь, 2, ыатематнко-механический факультет СПбУ.

С диссертацией можно ознакомиться, в научной библиотеке им. М.Горького СПбУ по адресу: Санкт-Петербург, Университетская наб., 7/9.

Автореферат разослан

Ь&йУЬ-З- 199$ Г.

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

А.А.КУБЕБСКИЙ

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТ':

:' "Актуальность теми. Процесс развития программ ял про-.,!чтй'жеции нх полного низнсиного цикла авялэтся достаточно -""¿дохним, ДЛИТОДЫШН и ДОРОГОСТОЯЩИМ. ОДНПК ИЗ 1 направлений поиска нешпх идей и ренекий а области программной инхенерии является использование.летэдов, рй5в::тих а теории искусственного интеллекта.

Работа посвящена исследование поэможгостей примсиэкиа семантических сетевых ¡юдолей при раарас>ог<;-э к сог.рояокдопни программ. В ной рассматривается сспосжишй на использовании знании подход, продусматркзаивцп! шфориациопиое (лсул'со-лингвистичсское) моделирование прсбдэкной оЗдости, окродезя-емой решаемыми при создании и эксплуатации програкн задачами, и используаций в качество мододи продегазлан-.," т.игаий семантические сети.

Поль ¡диссертационной, работы заключается з негодовании возмоаностей применения формализма сокпитичоски:: сетей для репения задач в области программкой ин^з'дории, п'^г.гхботкз практически:', рекомендаций по приманатко данного Фор:'.ги::зма для моделирования связанных с разработкой и сопродогд-апнйн программ процессов, а такасо в и;: прогртэдой реализации ддд конкретной проблемной области - анализа прогазж;.

Научная новизна диссертации состоит п. елсду-эп^чг

- предложен комплексный подход к организации ;г<-.гя:н::ой поддержки процессов, связанных с созданием и эксплуатацией программ, осиоваинпй на логико-д;шгвис.ти<:оскон нодеяирс-.??!»»« и использующий в качестве формализма продстазйвп:::? зпа;;пн о проблемной области семантические саги;

- предлозгони различии© сетоаил форма "Игиог ^од^лкропамп:: состояния программ для . группа распрос^р-ш^ш;-:;-; апко* программирования традиционного '-ипа, псс.пол~»й';с* етеУуа^ау;-различные свойства программ; продло язи Фзригитьн (сс^ь Фреймов с сскрапфшшм ¡»арнаитон упорядочив?,иг$е»1 атри^ут:;-зации), позволяющий сократить объЗи 'сеэдгаоекоГ. иод-зги;

- предлогон оС^ий набор отказать"! п релевантных пн классов объектов (протоиодоль) для ;;одолиройани!1 состояний программ для указанной группы языков, -списала протенодоль

для'языка Фортраи-77; исследованы свойства отношений модели, выведен ряд зависимостей мааду сё элементами.

Практически ценность. Результаты диссертации могут быть использовали при разработка систем, поддерживающих различного сопутствующие созданию и эксплуатации программ про-. цессы (специфицирование, проектирование, кодирование, тестирование, управление разработкой и качеством программ, управление программной конфигурацией и т.д.).

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

описанная в диссертации и реагизувдая основные её поло-аенич система ПАРУС hozot применяться для осуществления различных видов статического и динамического анализа программ на языке Фортраи-77.

ШЙЛЖйИШ II апробация раъ'отн. По теме диссертации . опубликовано 1Й работ. Основные положения н результаты диссертации докладывались иа 1-й Г;есо»зной школе-семинаре "Разработка и акодроиио в народное хозяйство персональных SBM" (Минск, I9SS г.), на заседании Рабочей группы ГКВТИ по реаяпгацим пайкой программирования (Иинсх,-1989 г.), на Меа-дународаом скхп&анука "Лпформатика-ОЗ" (Минск, 1989 г.), на Всесоюзном сгми1:аро "Качество программных средств" (Калинин, 1SS0 г.), на Роепубгглканской аколе-семинаре молодых учёных и споци-аистов "^ксяортиыа системы" (Одесса, 1990 г.), на Всесоюзной конференций "Снаашшыо вычисления и преобразования програни" (Новосибирск, 1990 г.), иа III Международной конференции "Прогршсмкоо обеспечение ЭВМ" (Тверь, 1990 г.), на семинара отдела системного программирования Вычислительного центра Ростовского государственного университета.

Структур.^ и. объём работы. Диссертация состоит из введения, трёх глаз, заключения, списка литературы (186 наименований) и четырёх приложений. Основной машинописный текст (Сез приложений) составляет 122 страницы. Использовано 12 рисунков.

Работа выполнена п Вычислительном центре Академии наук Беларуси в рамках исследований по теме "Создашю падежного программного обеспечения ЭВМ" (помор гос. регистрации 01830025201).

СОДЕРЖАНИЕ РАБОТЫ

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

Для обозначения рассматриваемого подхода мспояъиуется термин "МИСС-техлология" (по первым буквам слов "Модо-лъ", "Интеллект", "Семантическая Сеть"'). Под ИИСС-гохнслог;:сй в пироком смысле поипмаочел подход к организации мгжш;;оп поддержки связанных с созданием и эксплуатацией програнн процессов, основанный на представлении и использовании знаний об определяемой поддерживаемыми процессам;; проблемной области. Основополагающим свойствен различных г.рцнкьтний |'ИСС--технологии является автоматическое или ручное пострсоаио и поддержание в актуальном состоянии семаитипоскай еэтозой надели соответствующей предметной области и обеспсчзгшо интеллектуального интерфейса с данной моделью.

2 первой гдано излагаются общие принципы М1СС-технологии: описывается применяемый формализм представления знаний (1.1), демонстрируются возможности семантического сетевого моделирования различных проблемных областей (1.2), предлагается обобщённый проект МНСС-систеки (1.3).

МИСС-технология предполагает моделирование проблемной области совокупность» фактов и аксном (обц:?х законов), отражающих текущее состояние и общие закономерности нодолируоной проблемной области.

В качестве модели (схемы, структуры) представления знаний ШСС-технология использует сомантичсскио сети. В '¡амом обзем случае семантическаа сеть прэдетаздяот собой информационную модель проблемной области и имеет вид ориентированного графа (нультиграфа, псопдографа) с именованными верг:и-

нами и дугами, ворсины которого соответствуют объектом ноде-лируомой проблемной области, а дуги - отноиениям между ними.

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

В основе применяемого МИСС-технологией процесса логико-лингвистического моделирования лежит описание моделируемой проблемной области набором соотношений (клауз)

Л11. А21.....Ап11 <- В^, В21.....^ц!1

А12. А22.....Лп22 <- В12> В22.....Вщо2

Air, А2г.....Апг* <- В!*. В2Г.....В^г (1)

где Bj:J - условия в*'вода, А^J - заключения (решения) вывода, выраженные предикатами, перечисление условий вывода означает их конъюнкцию, а перечисление заключений вывода -дизъюнкцию.

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

При ограничении С {0, 1}, (2)

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

Математически задачи, реааокые МИСС-системой при поиска ответов на запросы пользоватехя, сводятся к задаче дедуктивного вывода: задана логико-лиагвистическая модель проблемной области (1) с ограничением (2), соответствующая некоторой семантической сети, и на её вход подайтся ситуация,

представленная совокупностью фактов Aj, Л2, .... Afc. Эта ситуация, накладываемая на семантическую сеть, определяет текущее состояние анализирующей части МИСС-систзмы. Кроме того, на вход системы подаётся приведенный к виду ллаузы запрос пользователя. Для реиения задачи используется процедура опровержения, состоящая в отрицании заключение запроса и установлении несовместности данного отрицания с посылками модели.

Клаузы логико-лингвистической модели (1) с ограничением (2) обладают простой процедурной интерпретацией, лежащей в основе реализации языка логического программирования Пролог, Пролог-программа представляет собой нноаество описаний отношений и динамическую б1зу данных, содержащую факты - экземпляры отношений. Пролог, имеющий единую Форму записи правил, фактов и запросов, мохет рассматриваться как средство представления и интерпретации клауз.

В 1.2 рассматривается возможности семантического остевого моделирования проблемных областей (предметных областей и репаемых п них задач), соответствующих различным стадиям жизненного цикла программ - специфицировашп, проектирования, кодирования, а также сопутствующим им'процессам управления - программной конфигурацией, качеством и разработкой программ. Вводится понятно протомодоли предметной области как фиксированной совокупности применяемых д~я моделирования предметной области отношений и классов, для объоктоп которых данные отношения определены, предлагается протонодель программной конфигурации.

В 1.3 рассматриваются вопросы оганизацни построения и использования моделей. Предлагается проект шсс-систоии, основанной на использовании логико-дингзистичосхого моделирования как основополагающего принципа исследования, семантических сетей - как общего формализма представления знаний о проблемной области, языка Пролог - как средства выражения представляемых знаний и одновременно как языкового средства реализации. Описываются преимущества использования Пролога в качестве средства реализации КМСС-систены.

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

рамм.

В 2.1 описивьатсв основпио виды анализа программ и традиционный, основанный на использовании графовых моделей, способ их реализации, при котором каждый вид анализа основывается, как правило, на собственной модели анализируемой програгли, отракаюцей необходимые для данного вида анализа свойства. Так, например, анализ потока управления и анализ полноты тестирования иогут основываться на управляющем грагЬо программы, анализ потока данных - па управляющем и информационном графах, а анализ межмодульных связей - на графа вызовов модулей.

В основе большинства графовых моделей программы ле&ит управляющий граф программы (уграф) - ориентированный граф 6 (II,Е), где II - множество веринн графа, а Е - множество дуг, ве'риины которого соответствуют последовательным (линейны::) участкам программы, а дуги - возможным передачам управления между ними. Вершинам (узлам) уграфа чаще всего соответствует либо минимальные (отдельные операторы), либо максимальный (базовые блоки) линейные участки программы.

Путём называют такую последовательность вершин уграфа 0 (П,Е) (п^, л2» •••» пк)> что Для всех 1 (1€ [1, ..., к-1}) дуга (п^, ) принадлежит Е. Бермина V предшествует верши-

не и, если в уграфе имеется путь из V в н, веринна V непосредственно предшествует вершина V, если (V, и) - дуга, вер-аниа V доминирует над ворпшной V,. если любой путь из входной вершины у1рафа в вершину V? содержит ворыину V.

В 2.2 содержится общее описание КИСС-технодогни анализа программ.

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

тамн (например, модулями, переменными, константами, номерами строк листинга, узлами уграфа). Графовые модоли из числа рассмотренных в 2.1 соответствуют однородный семантическин сетям, содержащим отношения только одного определённого тпп'с.. Факты модели состояния программы могут быть подучены различными способами - из исходного кода программы непосредственно в ходе его синтаксического разбора, как результат , обработки данных, сформированных в процессе синтаксического разбора программы, или на основании данных выполнения инструментированных программ, фиксирующих прохождение путей.

Пусть Р , - множество языков программирования, а Ь = 1,2, .... Ьп} - некоторое его подмножество, выделен-

ное по . признаку схожести определённых основополагающих свойств. Для 1л может быть определена совокупность отношений, отражающих основные взаимосвязи, характерные для Ь-программ, а также классы объектов, для элементов которых эти отношения когут иметь место. Совокупность таких отношений назовём протомоделью состояния 1,-программ или Ь-протомоделью. 3 силу своей общности Ь-протомодель может не в полкой мере отражать свойства программ, написанных на каждом из составляющих Ь языков. Её назначение состоит в фиксации некоего первоначального "каркаса" будущих конкретизированных моделей, на основании которого могут впоследствии формироваться прото-модели языков 1>2, .... 1>П' учитывающие их специфику.

Формирование каждой Ь^-протомодели может осуществляться путём уточнения или игнорирования присутствующих в, Ь-протомо-дели отношений, а-также добавления новых. Сетевая модель конкретной [.¿-программы создаётся на основе Ь^-протомоделн, текста моделируемой Ь^-программы, данных выполнения инструментированной Г^-программы, а также потребностей предполагаемых видов анализа, определяющих пироту охвата и детальность представления в модели свойств программы.

В заключение 2.2 предлагается протомодедь состояния программ для группы распространённых языков программирования, включающей, в частности, языки Паскаль, Фортран, ПЛ/1.

В 2.3 состав'протомодели уточняется и обосновывается с помощью .математического аппарата отнопений, основанного на теории множеств.

Пусть А и В - два множества, А* В - их декартово произведение. Любое его подмножество R £ А"В определяет некоторое бинарное отношение■между элементами А и В. Объекты (элементы) х и у находятся в бинарном отношении R, если (х, у)£ R. В качестве базового набора отношений принимается набор % ("располагается-с") £ М*Р, R2 ("завершается-в") £ М*Р, R3 ("непосредственно-вложен-в") £ М*М, R4 ("вызывается-в") 2 И*Р, R5 ("объпвляется-в") S V«P, R5 ("определяется-в") S V*P, R7 ("явлпется-объектом-ссылки-в") £ V* Р, Rg ("разопределяется-в") S V» Р, Rg ("начинается-в") £ G*P, RlO ("кончается-в") £ G«P, Rjl ("непосредственно-предшествует") £ G* G, где М - множество элементов модели типа "Модуль", V - множество элементов модели типа "Инф-объект", Р - множество элементов модели типа."Место", G - множество элементов модели типа "Узел", представляющих в модели, соответственно, модули (например, процедуры, функции), информационные объекты (например, переменные, массивы), места в исходном тексте, узлы управляющего графа программы, а смысл введенных отношений выражен их лингвистическими обозначениями.

На основании отношений Rj - Нц, а также общеприменимых отношений порядка "не-болыае" (R12) и "не-меньше" (R13)» определённых, в частности, на множестве Р* Р, при помощи соответствующих операций над отношениями определяется ряд вспомогательных отношений, способствующих выводу существующих между элементами модели (и, соответственно, между объектами программы) зависимостей. Так, с помощью отношений , Rl4 ("используется-в") £ V* Р, Rl5 Гвложен-в") £ М* М, Ri6 ("принадлежит-модулю") £ Р»Н, Rj_7 ("объявяяется-в-модуле") S V* М, Rl8 ("используется-в-модуле"). £ V* М, Rig ("иэвестен-в-модуле") £ V* М, определяемых как

Rl4 = Rß Ö R7 U Rß, .

R15 = R3 0 R32 ü R33 0 ... = R3+,

F<16 = ((Rl_3°Bl""1) Л (Ri2°R2-1^ \

(((Ri3oRri) A (R^0^"1))0^"1). r17 = R5eR16> r18 = Rl4oR16. r19 = R16 ö (RiG®Rl8-1)» где U, П, \ и » означают, соответственно, объединение, пересечение, разность и композицию отношений, П^ - It-зо степень отношения R, R-1 - обратное отношение к отношению R, R+ -транзитивное замыкание отношения R, правило обязательной объявленности используемых а программе информационных объектов может быть записано в виде ограничения Rjg - Rio. а правило обязательной используемости объявленных в программе информационных объектов в виде ограничения R17 Ç R18 CJ {(Rla.R16) \ (R17oR15)}.

Подобным образом при рассмотрении зависимостей между элементами модели типа "Узел" на основании отношений базового набора определяется ряд вспомогательных отношений, в частности, R20 ("принадлежит-узлу") £ Р* G, ^23. ("предшествует") £ G*G, R27 ("доминирует-над") £ G*G, r29 ("принадлежит узлу, связанному отношением предшествования с узлом, содержащим точку") £ Р*Р, а с их помощью формулируется ряд зависимостей, отражающих закономерности потока данных и потока управления в программе. Правило обязательной инициализированности информационных объектов. аM&üz пихся объектами ссылки выражается ограничениями (R2o"leR6"1,'R7oR20) П R21 2 r27'.

(Е8-1»Р.7) П R29 5 ((Hs-^Rg) Л R29)®((R6~1oR7) П r29>. а достает шое условие неизбыточности присваиваний - ограничена; -л (Rß-lo(Rc ü Rq)) n R29 5

((R6-1oR7) п R29)e((Ä7"le(R6 Ö На)) П R29>-В заключение 2.3 выводятся зависимости, выражающие требование соответствия характеристик отдельных элементов программ в определённых ситуациях, а частности, соответствия типа и длины фактических и формальных параметров, типа левых и правых частей присваиваний и т.п., для чего множество типов элементов модели дополняется типами С ("Констянта"), F

("Функция"), Е ("Выражение"), Т ("Тип") и 5 ("Размер"), а базовый набор отношений - отношениями ИЗО ("имеет-тип-данных") £ (V и С. О К и Е)х Т, ЙЗ! ("имеет-размер") £ (V Ц С I) Р О Е)* 3,

И321 ("пвляется-1-м-фактическим-параметром-при-вызове-в") £

(7DCUF.DE)* Р, %31 ("имеет-1-й-формальный-паранетр") £ МхУ.

Выведенные формальные зависимости увязываются с задачами анализа программ и их Пролог-реализацией.

В 2.4 рассматриваются различные " сетевые формализмы, применимые для моделирования состояния программ: семантические сети простого (ПСО) и иерархического (ЯСС) типа, а также сети фреймов (ФС). Указываются преимущества использования фс-формализма, позволяющие, в частности, уменьшить размер создаваемой модели, предлагается список фреймов, который может быть положен в основу Фреймовой сетевой прото-модели для программ рассматриваемого подмножества языков. Указывается, что в основу сетевого .моделирования состояния программ, в зависимости от конкретных условий реализации, может быть положен любой из рассмотренных (ПСС-, ИСС-, ФС-) сетевых формализмов представления знаний или некоторая их комбинация. Основные преимущества использования сотовых Формализмов представления знаний для моделирования программ (по отношению к традиционным) заключаются в большей выразительности и наглядности, единстве формы представления различных свойств, обеспечении возможности применения средств и методов искусственного интеллекта.

В 2.5 показывается возможность распространения предложенного подхода на анализ спецификаций и проектов программ, в 2.6 описывается осуществление анализа программ с использованием различных сетевых моделей.

В третьей главе общие положения предложенного подхода конкретизируются на примере анализа программ, написанных на языке Фортран-77: в 3.1 и 3.2 описываются построение уграфа и инструментирование Фортран-программ как необходимые предпосылки сетевого моделирования,- соответственно, потока управления и состояния тестированности анализируемых программ, в 3.3 рассматриваются особенности сетевого модедиро-

ваиия Фортран-программ, в 3.4 - основные возможности системы ПАРУС, реализующей статический и динамический анализ Фортран-программ с использованием сетевых ноделей.

Система ПАРУС выполняет анализ потока управления (определяя иеисполняемиа участки хода и скрытые цикли), внутрино-дульный анализ потока данных (выявляя использования неинициализированных на путях-модуля переменных и избыточные присваивания), анализ перекрёстных ссылок (проверяя используемость объявленных и объявленность используемых переменных) и анализ состояния тестированиости программы (обнаруживая непокрытые тестами участки и предлагая возможные планы тестирования), а также выдаст ответы на разнообразные вопроси пользователя о программе. Кроме того, система ПАРУС реализует отдельные Функции управления разработкой (выдавая по соответствующему запросу извлекаемую из вводных комментариев информацию о назначении и разработчиках модулей), управления качеством программ (позволяя пользователи получить сведения о размерах, количество входов и выходов, слоаности и кониеи-тированности модулей программы, в том числе с помощью сложных конъюнктивных запросов, задающих сочетание различных характеристик программ), управления программной конфигурацией (устанавливая актуальность модели каядого модуля по датам последней модификации модуля и модели).

ОСНОВНЫЕ РЕЗУЛЬТАТЫ

Автором диссертации получены следующие основные результаты:

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

2) проведено сравнение графовых и сетевых моделей в лримененш: к анализу программ; пр&длохены различные сетевые формализмы моделирования . состояния программ для группы распространённых языков программирования традиционного типа, юзволявщие отобрагать различные свойства . программ;

предложен Формализм ' (сеть фрейнов с сокращённым вариантом упорядочивающей атрибутнзации), позволяющий сократить объём создаваемой модели;

3) предлогена общая протомодель состояния программ для указанной группы языков, а такхе протомодель для языка Фортран-77; исследованы свойства отнесений модели, выведен ряд зависимостей мехду об элементам»;

4) разработаны и реализованы алгоритмы построения управляющего графа и ннструментировання для программ на языке Фортран-77, создающие необходимую основу сетевого моделирования потока управления и состояния тестнрованности Фортран-программ;

о) в рамках реализации предложенного подхода создана основывающаяся на принципе семантического сетевого моделирования система статического и динамического анализа Фортран-77-программ.

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

1. Галкин И.М., Ыимаров В.А. Основные черты анализатора структуры программ для ПЭВМ // Разработка и внедрение в народное хозяйство персональных ЭВМ: Тез. докл. 1-й Все-союз. шк.-семинара (Минск, 17-20 мая 1Я88 г.). - Минск, 19СЗ. - 4.5. - С. 148-151.

2. 'Галкин И.М., Шимаров В.А. Построение управляющего графа программ // Программное обеспечение ЭВМ/ АН БССР. Ин-т математики. - Минск, 1989. - Вып. 85. - С. 79-89.

3. Галкин И.М. Использование семантических сетей для разработки программ на персональных ЭВМ // IHF0-89: Нэг-дунар. синпоз. (Минск, 10-15 окт. 1989 г.). - Минск, 1989. -Т.1.; ч.1.' - С. 391-396. '

4. Галкин И.М. Использование семантических сетевых моделей для разработки и сопровождения программ. - Минск,

1989.- 40 е.- (Препринт/АН БССР. Ин-т математики; N 47(397)).

5." Галкин И.М., Ставров В.В. Способ организации взаимодействия пользователя .с семантической сетелой моделью программы //Качество программных средств: Тез. докл. Все-союз. семинара (Калинин, 10-12 апр. 1990г.). -Калинин,

1990. - С. 61-63.

6. Галкин И.М. Анализ программ с использованием семантических сетевых моделей // Качество программных средств: Тез. докл. Всесоюз. семинара (Калшшн, 10-12 anpi. 1990 г.).-ЕСалннин, 1990. - С. 63-65.

7. Галкин И.М. Использование сенантлческих сетей в ipouecce создания и эксплуатации программ. - Минск, 1990. -i4 с. - (Препринт / АН БССР. Ин-т математики; N 32(432)).

8. Галкин.И.М. Разработка н сопровождение программ с ^пользованием семантических сетевых моделей // Программное збеспечение ЭВМ: Тез. докл. III Мехдунар. конф. (Тверь, 2629 ноября, 1990 г.). - Тверь, 1990. - Секция 1. - С. 17-20.

9. Галкин ü.M. Семантические сети в анализе программ // '»мааанние вычисления и преобразования программ. - Ноао-¡ибирск, 1991. - С. 112-120.

10. Галкин И.М. Сотовое моделирование, статический и Г.шамический анализ программ. - Минск, 1991. - 52 с. Препринт / АН БССР. Ии-т математики; N 5(455)).

11. Галкин И.М. Использование семантических сетей для оделировапия и анализа программ // Управл. системы и манны. - 1991. - N 5. - С. 55-61.

1«. Галкин И.М. Разработка и сопровождение програнм с спользованием семантических сетевых моделей // Мобильное рограммное обеспеченно: Сб. науч. тр. - Тверь, 1291. -. 101-117.

эдписано в печать 01.11.91. Формат 60x84/16. :л.печ.л. 0,93. Усл.кр.-отт. 1,05. Уч.-изд.д. 0,75. ярах 100 экз. Заказ 250. Бесплатно.

¿числительный центр АН Беларуси. 10072, Минск, ул.' Ф.Скорины, 25.

[•печатано на ротапринте Бычислительчогг центра АН Беларуси. 20072, Минск, тл. Сурганова, 11.