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

Перечень сокращений.

Введение.

1. Системный анализ проблемы создания специального программного обеспечения информационных систем.

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

1.2. Анализ положения в области технологической поддержки жизненного цикла специального программного обеспечения информационных систем.

1.3. Причины ограниченности адаптации функциональности информационных систем в процессе их эксплуатации.

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

1.5. Возможность повышения эффективности создания и функционирования информационных систем путем внесения элементов синтаксической вариантности и метауправления.

1.6. Задачи исследования.

Выводы по первой главе.

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

2.1. Формальная модель синтаксически вариантной информационной системы.

2.2. Логическая структура информационной системы с метауправлением ее функциональностью.

2.3. Концептуальная модель вычислительного формализма информационной системы с метауправлением.

Выводы по второй главе.

3. Модели и методы построения средств представления, формирования и обработки метаинформации в синтаксически вариантных информационных системах.

3.1. Базовая модель представления метаинформации на основе иерархической сети фреймов с вариантной структурой.

3.2. Лингвистические средства представления метаинформации.

3.2.1. Базовый язык и текстовая нотация представления метаинформации.

3.2.2. Компоненты метаинформации как XML-приложения.

3.3. Модель и метод перевода метаинформации, управляемого синтаксисом и данными.

3.4. Способы задания вычислительной семантики метаинформации.

3.5. Метод построения синтаксически управляемых средств формирования компонентов метаинформации на основе контекстно-свободных описаний их структуры.

3.5.1. Формирование компонентов метаинформации с использованием структурных шаблонов.

3.5.2. Синтаксически управляемый редактор КМИ как XML-приложений.

Выводы по третьей главе.

4. Модели и методики построения типовых систем обработки информации как информационных систем с метауправлением функциональностью, и примеры их применения

4.1. Модель и методика построения средств формализации и агрегации экспертных знаний по спецификациям доменов.

4.2. Модель и методика построения средств порождения имитационных моделей по схеме метауправления на основе агрегативного подхода.

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

4.4. Концептуальная модель синтаксически вариантной аналитической информационной системы и методика ее предметной адаптации.

Выводы по четвертой главе.

5. Технологические основы создания специального ПО с применением сквозного моделирования, поддержанного синтаксически вариантными средствами.

5.1. Логическая структура процессов сквозного моделирования, виды и взаимосвязь моделей.

5.2. Задачи полунатурного моделирования среды погружения специального программного обеспечения и особенности средств его проведения.

5.3. Методика синтеза модельной части полунатурной модели среды погружения специального ПО.

5.4. Методика проведения полунатурного моделирования с последовательным включением модулей специального ПО в состав модели.

Выводы по пятой главе.

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

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

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

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

Характеризуя экономический аспект создания программного обеспечения с позиций государственного развития, академик В. Е. Фортов в интервью "Независимой газете", опубликованном под заголовком "Индустрия программного обеспечения - это шанс для России", привел следующие факты (комментируя содержание встречи с Президентом Российской Федерации В. В. Путиным 16.08.2000, на которой в качестве одного из основных обсуждался вопрос о роли информационных технологий и индустрии программных средств в развитии России):

В 1998 году объем рынка продуктов информационных технологий в мире достиг 758 миллиардов долларов, темпы роста - до 30% в год. В 2002 году его объем превысит 1 триллион долларов, а в 2008 году - 2 триллиона. Более половины этого рынка в стоимостном исчислении составляют производства программного обеспечения и информационные услуги. Прогнозируется, что к 2010 году доля занятых в секторе информационных технологий в развитых странах может превысить 50%.

К концу XX века вклад этого сектора в прирост ВВП США составил около 27%, а по объему продаж информационный сектор в прошлом году вышел на первое место, обогнав авиационную и автомобильную промышленности.

Но сегодня в области информационных технологий сложилась совершенно уникальная ситуация - ни в одной отрасли человеческой деятельности в последнее время такого не наблюдалось: рынок потребных программ оценивается в сотни миллиардов долларов в год, и он заполнен сегодня всего на 30-40%! " (/6/).

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

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

Огромный вклад в исследования в данной области за сравнительно недавний период внесли А. П. Ершов, С. С. Лавров, Г. С. Цейтин, В. В. Баранюк, А. Г. Мамиконов, Д. Кнут, Э. Дейкстра, Н. Вирт, Д. Грис, Г. Буч, Дж. Мартин и многие другие, а в области создания отечественных технологий производства программного обеспечения - В. В. Липаев, В. П. Морозов, И. В. Вель-бицкий и возглавляемые ими коллективы.

Однако во всем мире ведущими специалистами в области создания программного обеспечения признается, что общая проблема создания специального программного обеспечения весьма далека от своего удовлетворительного решения, а ее актуальность продолжает возрастать.

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

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

Существующая методология построения информационных систем, поддерживаемая современными СА8Е-средствами, предполагает фиксацию структуры базы данных и алгоритмов обработки данных, составляющих функциональные приложения /7/, что крайне затрудняет модификацию ИС для изменения ее функциональности во время последующей эксплуатации, так как фактически требует повторения цикла разработки.

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

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

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

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

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

Это направление на сегодняшний день в общетеоретическом и методологическом плане практически не рассматривается - даже такие крупнейшие держатели технологий и средств создания корпоративных информационных систем, как Oracle, Microsoft, BAAN ориентируются на создание статичных конструкций ИС. Другие производители пытаются включить в состав своих продуктов языки и средства изменения программного кода приложений, однако это в абсолютном большинстве случаев некие алгоритмические языки высокого уровня, использование которых пользователем практически невозможно.

Вышеизложенное заставляет искать новые, нетрадиционные архитектурно-технологические подходы и решения, одному из которых и посвящена данная работа. Основная гипотеза рассматриваемого подхода заключается в возможности переноса понятий семантической сложности и синтаксической вариантности формальных лингвистических систем (по классификации, приведенной А. И. Губинским в /8/) на конструкцию информационных систем, и применение метауправления (основываясь на его трактовке специалистами Венгерской академии наук в работе 191) для управления функциональностью информационной системы в процессе ее применения.

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

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

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

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

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

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

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

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

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

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

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

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

Следует отметить, что в четвертой и пятой главах в качестве примеров применения метауправления для построения различных информационных систем частично описаны результаты, полученные совместно с А. В. Путин-цевым, С. С. Мигасом, М. В. Бородатовой и Д. В. Белоусом, которые в рамках диссертационных исследований, выполненных под научным руководством автора данной диссертационной работы, решали научные задачи, связанные с различными аспектами применения метауправления в интересах .автоматизации имитационного, информационного и полунатурного моделирования -/10-13/.

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

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

К новым научным положениям, разработанным в ходе исследований и выносимым на защиту, относятся:

1. Концептуальные основы построения информационных систем на основе формализма синтаксически вариантных лингвистических систем и метода метауправления: формальная модель синтаксически вариантной информационной системы; логическая структура информационной системы с метауправлением; концептуальная модель вычислительного формализма информационной системы с метауправлением.

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

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

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

Результаты работы были апробированы на IV Всесоюзной НТШ "Имитационные эксперименты с моделями сложных систем" (г. Калининград) в 1989 г. /16/, IX Межвузовской НТК ВВМУРЭ им. А.С. Попова (г. Петродво-рец) в 1998 г. /17/, VI Санкт-Петербургской международной конференции

Региональная информатика-98" (Информационные технологии в здравоохранении) в 1998 г. /18/, 5-ой международной конференции "Современные технологии обучения" (г. Санкт-Петербург) в 1999 г. /19/, II Международной научно-практической конференции "Образование на рубеже веков: традиции и инновации" (г. Санкт-Петербург) в 1999 г. /20/, Международной конференции "Проблемы современной геополитики. Продвижение НАТО на восток -проблемы безопасности России и стран СНГ" (г. Санкт-Петербург) в 1999 г. /21/, Межвузовской научно-методической конференции "Проблемы совершенствования учебно-воспитательного процесса в высших военно-учебных заведениях" (г. Воронеж) в 1999 г. /22/, Российском национальном конгрессе "Человек и его здоровье" (г. Санкт-Петербург) в 1999 г. /23/, Юбилейной конференции войск связи ВС РФ и Военного университета связи (г. Санкт-Петербург) в 2000 г. /24/, Международной научно-практической конференции "Системный анализ в проектировании и управлении" (г. Санкт-Петербург) в 2000 г. /25/, III Международной конференции по мягким вычислениям и измерениям 8СМ'2000 (г. Санкт-Петербург) в 2000 г. /26/, Международной научной конференции "Математические методы в технике и технологиях -ММТТ-2000" (г. Санкт-Петербург) в 2000 г. /27,28/, Международной научно-технической конференции "Современные информационные технологии" (г. Пенза) в 2000 г. /29/, Международной научно-практической конференции "Теория, методы и средства измерений, контроля и диагностики" (г. Новочеркасск) в 2000 г. /30/, Международной научно-практической конференции "Компьютерные технологии в науке, производстве, социальных и экономических процессах" (г. Новочеркасск) в 2000 г. /31/, VI Межвузовской научно-технической конференции ВВИРЭ (г. Воронеж) в 2000 г. /32/, Всероссийской научно-практической конференции "Электронный терроризм в телекоммуникационных системах" (г. Санкт-Петербург) в 2000 г., Международной конференции "Региональная Информатика - 2000" (г. Санкт-Петербург) в 2000 г., а также X НТК НПП "Полет" (г. Н-Новгород) в 1999 г. /33,34/, шести научно-технических конференциях СПВВИУС в период с 1989 по 2000 гг. /35-56/, научно-технических советах ряда научно-исследовательских учреждений и предприятий г. Санкт-Петербурга и научно-теоретических семинарах Военного университета связи.

Основные результаты диссертационной работы опубликованы в 4 монографиях (из них две - в соавторстве) /57-60/, 2 журнальных статьях /61,62 /, 3 тематических сборниках трудов Академии региональных проблем информатики и управления /63-67/, брошюре /68/, 7 статьях, помещенных в тематические сборники Военной академии связи (Военного университета связи) /6975/ и 3 - Ленинградского высшего военного инженерного училища связи /7678/, 3 учебных пособиях /79-81/, 6 отчетах о НИР /82-87/.

По поданным заявкам на изобретения получено 3 авторских свидетельства /88-90/.

Использование результатов работы подтверждается актами реализации от Комитета Здравоохранения г. С-Петербурга (3 программных системы, имеющих массовое внедрение в различных лечебно-профилактических учреждениях города), ОАО НИИ "Звезда" (НИР "Звезда-2", "Стенд-1", ОКР "Звезда", "Тайга", "Основа"), от в/ч 52686-Ж (НИР "Корсит", комплексная целевая программа "Центр-2010")), от ОАО "Институт сетевых технологий" (ОКР "Вулкан"), от АООТ "Интелтех" (ОКР "Памир-С"), НПП "Полет" (изделия 65с28 и 38-1), от НПП "Импульс" (ОКР "15э1000"), 16 ЦНИИ МО РФ (НИР "Состояние", "Транзит").

Выводы по пятой главе

1. В качестве подхода к выбору направления ориентации организационно-методологического базиса ТПППП СПО ИУАС может быть использовано формирование ТПППП на базе концепции сквозного моделирования как процесса, поддерживающего решение как задач проектирования и разработки СПО, так и сквозного контроля его качества. Сквозное моделирование предполагает создание и применение иерархии моделей обеспечения анализа альтернатив, поддержки разработки и поддержки оценки качества, которые по своей форме являются информационными, имитационными и полунатурными моделями. Для эффективного применения сквозное моделирование должно быть обеспечено множеством инструментальных средств, для адаптации которых в интересах конкретных проектов СПО может быть использовано метауправление.

2. Наиболее сложным и важным видом тестирования СПО является комплексное динамическое тестирование, для проведения которого при создании СПО ИУАС целесообразно применять полунатурное моделирование среды погружения СПО на технологическом моделирующем стенде организации-разработчика. Уникальность полунатурных моделей, отсутствие целостной методологии создания полунатурных моделей на базе современных средств вычислительной техники приводит к целесообразности формирования элементов методологии полунатурного моделирования среды погружения СПО с акцентом на выделение инвариантной части полунатурных моделей и технологию их создания.

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

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

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

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

5. Синтез модельной части ПНМ дает возможность определить потенциальную грамматику ПНМ, а изменения в составе элементов ПНМ и значениях параметров модели могут быть описаны как варьирование синтаксиса ПНМ в рамках потенциальной грамматики, и описания моделируемого объекта в рамках этого синтаксиса соответственно.

Заключение

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

В работе на основании анализа недостатков существующей методологии построения ИС и поддерживающих ее СА8Е-технологий с позиций обеспечения адаптивности функциональности эксплуатируемых ИС, рентабельности создания ИС "однократного применения", а также их состоятельности в создании систем класса ИУАС предложен новый подход к построению ИС и их СПО.

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

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

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

Ретроспективно порядок изложения материалов работы практически прямо противоположен хронологии получения описанных результатов (ниже даны ссылки только на первые публикации результатов): изначально идея программы-генератора программ возникла как следствие опыта разработки множества имитационных моделей различного назначения с использованием языка моделирования вРЭЗ - /224, 289, 294/ и др.; необходимость обеспечения проведения комплексного динамического тестирования ряда модулей СПО системы управления сетью связи в совокупности с опытом применения ОР88 и автоматизации построения текстов имитационных моделей привели к работам по созданию полунатурных моделей /339, получившим дальнейшее развитие в виде создания стенда "Надежность-1" в составе технологической конвейерной линии в рамках МВП-технологии

88, 371/, и в конечном итоге позволили сформулировать концепцию сквозного моделирования /16, 39, 43/; выполненная разработка средств автоматизированного построения имитационных моделей /36/ позволила осознать общность двухуровневых схем построения как подхода к адаптации программных средств с учетом нужд пользователя и с его максимальным участием, а знакомство с /8, 9/ дало импульс переосмыслению полученных результатов в контексте метауправления и варьирования синтаксиса ИС /49/; следующий этап работ был связан с созданием ряда средств автоматизации информационного моделирования и интеграции отчетно-аналитической информации на базе метауправления в самых разных предметных областях -от систем специального назначения до медицинских информационных систем и реинжиниринга предприятий - /18, 48, 58, 63/; появление стандарта ХМЬ позволило получить мощное лигвистическое средство представления метаинформации, но заставило разработать уникальный математический аппарат синтаксически управляемого ХМЬ-редактора /65/; как результат анализа опыта построения ИС с метауправлением постепенно формировались методологические основы построения подобных систем /57/, и далее - концептуальные основы, внесшие системообразующее начало в разработанный методологический аппарат, который уже в полной мере был использован в интересах создания информационной подсистемы в проекте многоцелевой аналитической информационной системы /71, 59/.

Таким образом, результаты, представленные в настоящей работе, являются итогом изучения закономерности построения ИС с метауправлением, выявленной при решении практических задач создания множества программных средств различного назначения и в целом ряде областей применения. Важную роль в проведении исследований также сыграл опыт постановки и

297 проведения в период с 1989 г. по 1998 г. нескольких учебных дисциплин, разделами которых были теория компиляции, логическое, функциональное и объектно-ориентированное программирование и другие элементы современной технологии программирования - /79 - 81, 206, 239/ и др.

Использование метауправления в построении ИС, применение элементов полунатурного и сквозного моделирования представляют собой весьма эффективный подход к совершенствованию создания СПО ИС и повышению эффективности его функционирования. Подтверждением этому могут служить оценки эффективности методик построения разного рода ИС и их применения для решения весьма актуальных практических задач, приведенные в /10- 13,23,76, 82, 85 - 87/и др.

В качестве основных направлений дальнейших исследований предполагается анализ возможности применения синтаксической вариантности и метауправления в интересах создания самоорганизующихся информационных систем в рамках концепции информодинамики /199/, а также создание иМЬ-диаграмм /372/ инвариантной части информационных систем с метауправле-нием и расширение методологии построения ИС, основанной на преобразовании иМЬ-описаний в объектно-ориентированную реализацию программного обеспечения ИС /153/, применительно к созданию ИС с элементами синтаксической вариантности и метауправлеия.

1. Громов Г. Р. Национальные информационные ресурсы: проблемы промышленной эксплуатации. М.: Наука, 1984. - 240 с.

2. Райков А. Устойчивость государственного управления и открытость информационной сферы // Открытые системы, 1996, № 6. С. 15-19.

3. Доктрина информационной безопасности Российской Федерации (Утверждена Указом Президента Российской Федерации от 21 апреля 2000 г. № 706).

4. Сергеев И. Основы военно-технической политики России в начале XXI века // Красная Звезда, 9 дек. 1999 г. С. 1,2.

5. ГОСТ 34.003-90. Комплекс стандартов на автоматизированные системы. Термины и определения.

6. Фортов В. Индустрия программного обеспечения это шанс для России // Независимая газета, 10(35) от 22.11.2000. - С. 3-5.

7. Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение). М.: Лори, 1996. - 242 с.

8. Губинский А. И. Надежность и качество функционирования эргатических систем. Л.: Наука, 1982. - 270 с.

9. Демитрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. М.: Мир, 1989. - 115 с.

10. Путинцев А. В. Дис.к. т. н. СПб., СПВВИУС, 1993.

11. Бородатова М. В. Автоматизация информационного моделирования технологических процессов в интересах реинжиниринга промышленных предприятий. Дис. . к. т. н. - СПб.: СПбГТУ, 1999. - 197с.

12. Мигас С. С. Дис.к. т. н. СПб.: СПВВИУС, 1998.

13. Белоус Д. В. Дис.к. т. н. СПб.: ВУС, 2000.

14. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1. Синтаксический анализ. М.: Мир, 1977. - 612 с.

15. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 2. Компиляция. -М.: Мир, 1977. -487 с.

16. Зарипов В. Д., Сидоров А. К., Шерстюк Ю. М. Применение средств моделирования для комплексной отладки ПО локальных информационных сетей // Всесоюзная школа-семинар. Тез. докл. и сооб. Калининград, 1989. -С. 83-84.

17. Мигас С. С., Шерстюк Ю. М. Способ смыслового объединения однотипных множеств // Тез. докл. и сооб. IX Межвузовской НТК ВВМУРЭ им. А.С.Попова, 1998.-С. 65.

18. Саенко И. Б., Шерстюк Ю. М. Организация комплексных тренажеров в виде распределенных полунатурных моделей // Материалы 5-ой Международной конференции "Современные технологии обучения". СПб., СПбГЭТУ (ЛЭТИ), 1999. - С. 82-83.

19. Саенко И. Б., Шерстюк Ю. М. Применение технологии хранилищ данных в учебном процессе вуза // Образование на рубеже веков: традиции и инновации: Материалы II Международной научно-практической конференции. 19 мая 1999 г. СПб.: ЛОИРО, 1999. - С. 290-292.

20. Саенко И. Б., Шерстюк Ю.М. Использование в учебном процессе вуза комплексных тренажеров в виде распределенных полунатурных моделей //

21. Межвузовская научно-методическая конференция "Проблемы совершенствования учебно-воспитательного процесса в высших военно-учебных заведениях". Воронеж: ВИРЭ, 1999. - С. 97-98.

22. Шерстюк Ю.М. Информационное моделирование деятельности специалистов // Материалы Российского национального конгресса "Человек и его здоровье" 23-26 ноября 1999. СПб., 1999. - С. 95.

23. Шерстюк Ю.М. Подход к формированию модели сервисов ПО промежуточного слоя информационных систем // Сб. тез. докл. и выступлений участников Юбилейной конференции войск связи ВС РФ и ВУС. СПб.: ВУС, 2000.-С. 59.

24. Елшин А. В., По дымов В. А., Шерстюк Ю.М. Принципы построения аналитических информационных систем // Международная научно-практическая конференция "Системный анализ в проектировании и управлении": Труды конф. СПб.: Изд-во "Нестор", 2000. - С. 153-154.

25. Шерстюк Ю.М. Автоматная модель синтаксически управляемого редактора XML-описаний // Сб. докл. III Международной конференции по мягким вычислениям и измерениям SCM'2000. СПб., 27-30 июня 2000г., Том 1.-С. 211-213.

26. Шерстюк Ю.М. ХМЬ-нотация для представления сети фреймов с переменной структурой // Тр. международной научно-технической конференции "Современные информационные технологии". Пенза: Пензенский технологический институт, 2000. - С. 19-20.

27. Шерстюк Ю. М. Принципы построения аналитических информационных систем поддержки принятия решений // Сб. "Труды Института" Вып.6. Материалы VI Межвузовской научно-технической конференции. ВВИРЭ: Воронеж, 2000.-С. 196.

28. Потехина А. В., Ремешков Ю. И., Шерстюк Ю. М. Уровни автоматизации процессов информационного обеспечения // Сб. трудов X НТК НПП "Полет", Н-Новгород, 1999. С. 20-22.

29. Потехина А. В., Ремешков Ю. И., Шерстюк Ю. М. Сквозное моделирование специального программного обеспечения систем управления // Сб. трудов X НТК НПП "Полет", Н-Новгород, 1999. С. 22-23.

30. Зарипов В. Д., Шерстюк Ю. М. Способ разработки программных средств, функционирующих в интерактивном режиме // III ВНТК. Тез.докл. и сооб. 4.1. Л.: ЛВВИУС, 1988. - С. 216.

31. Мигас С. С., Путинцев А. В., Шерстюк Ю. М. Автоматизация имитационного моделирования сетей связи // IV ВНТК. Тез. докл. и сооб. Л.: ЛВВИУС, 1992.-С. 164.

32. Путинцев А. В., Шерстюк Ю. М. Место и роль спецификаций в процессе проектирования элементов систем связи // IV ВНТК. Тез. докл. и сооб. Л.: ЛВВИУС,1 992. - С. 186.

33. Савенкова Н. В., Савицкий В. М., Шерстюк Ю. М. Сравнительный анализ средств построения полиязыковых моделей сетей связи в системе моделирования ОРББ // IV ВНТК. Тез. докл. и сооб. Л.: ЛВВИУС, 1992. -С. 192-193.

34. Шерстюк Ю. М. Проблемы организации и проведения сквозного контроля качества ФПО АСУС // IV ВНТК. Тез. докл. и сооб. Л.: ЛВВИУС, 1992. - С. 165-167.

35. Естюшов И. М., Шерстюк Ю. М. Информационные связи процесса моделирования // V ВНТК. Тез. докл. и сооб. СПб.: СПВВИУС, 1993. -С. 120-121.

36. Путинцев А. В., Шерстюк Ю. М. Способы построения интерактивных программ определения значений параметров имитационных моделей // V ВНТК. Тез. докл. и сооб. СПб.: СПВВИУС, 1993. - С. 126.

37. Шерстюк Ю. М. Структура системы автоматизированного построения текстов моделей на основе формализованных спецификаций // Тез. докл. и сооб. V ВНТК. Л. ЛВВИУС, 1992. - С. 132-133.

38. Шерстюк Ю. М. Задачи реализации сквозного моделирования в процессах создания ПО // V ВНТК. Тез. докл. и сооб. СПб.: СПВВИУС, 1993. -С. 118-119.

39. Естюшов И. М., Шерстюк Ю. М. Уровни представления виртуальной сети, реализованной на базе системы виртуальных машин // Тез. докл. и сооб. VI ВНТК. СПб.: СПВВИУС, 1995. - С. 108-109.

40. Лейнсоо А. А., Шерстюк Ю. М. Моделирование каналов метеорной радиосвязи // Тез. докл. и сооб. VI ВНТК. СПб.: СПВВИУС, 1995. - С. 3334.

41. Мигас С. С., Шерстюк Ю. М. Средства построения полиязыковых моделей систем управления в среде MS-DOS // Тез. докл. и сооб. VI ВНТК. -СПб.: СПВВИУС, 1995. С. 60-61.

42. Мигас С. С., Шерстюк Ю. М. Структура инструментальных средств поддержки двухуровневой генерации моделей систем управления на базе СИМПАС//Тез. докл. и сооб. VI ВНТК. СПб.: СПВВИУС, 1995. - С. 6165.

43. Филин И. Г., Шерстюк Ю. М. Способ построения АРМ планирования сети на основе агрегирования аналитических и имитационных моделей // Тез. докл. и сооб. VI ВНТК. СПб.: СПВВИУС, 1995. - С. 105-106.

44. Мигас С. С., Шерстюк Ю. М. Адаптация ООА к предметной области на основе принципа метауправления // Тез. докл. и сооб. VII ВНТК. -СПб.: СПВВИУС, 1996.-С. 164.

45. Мигас С. С., Путинцев А. В., Шерстюк Ю. М. Возможность использования автоматизации спецификаций при создании сложных программных систем // Тез. докл. и сооб. VII ВНТК. СПб.: СПВВИУС, 1996. - С. 132.

46. Естюшов И. М., Шерстюк Ю. М. Вычислительная схема алгоритма имитации взаимодействия "программное обеспечение внешняя среда" // Тез. докл. и сооб. VIII ВНТК. - СПб.: СПВВИУС, 1997. - С. 68.

47. Мигас С. С., Путинцев А. В., Шерстюк Ю. М. Применение методов объектно-ориентированного анализа при создании имитационных моделей сетей связи // Тез. докл. и сооб. VIII ВНТК. СПб.: СПВВИУС, 1997. - С. 71.

48. Мигас С. С., Шерстюк Ю. М. Схема построения программных средств моделирования разнотипных процессов // Тез. докл. и сооб. VIII ВНТК. СПб.: СПВВИУС, 1997. - С. 72.

49. Белоус Д. В., Шерстюк Ю. М. Методика автоматизации процессов интеграции отчетно-аналитической информации // Тез. докл. и сооб. X ВНТК СПВВИУС СПб.: СПВВИУС, 1998. - С. 79-80.

50. Журавель Е. П., Шерстюк Ю. М. Объектно-ориентированный подход к построению средств имитационного моделирования // Тез. докл. и сооб. X ВНТК СПВВИУС. СПб.: СПВВИУС, 1998. - С. 95-96.

51. Обрезков Л. И., Саенко И. Б., Шерстюк Ю. М. Особенности методологического аппарата анализа и синтеза логических структур данных распределенных информационных систем // Тез. докл. и сооб. X ВНТК СПВВИУС-СПб.: СПВВИУС, 1998.-С. 119-120.

52. Шерстюк Ю. М. Основы мета управления функциональностью в информационных системах. СПб.: СПИИРАН, 2000. - 156 с.

53. Бородатова М. В., Шерстюк Ю. М. Автоматизация моделирования объектов реинжиниринга. СПб., Изд-во СПбГТУ, 1999. - 63 с.

54. Карпов Е. А., Мусаев А. А., Шерстюк Ю. М. Многоцелевая аналитическая информационная система. Методология создания и основные проектные решения. СПб.: ВУС, 2000. - 143 с.

55. Шерстюк Ю.М. Основы сквозного моделирования в технологиях производства специального ПО АСУ. СПб.: ВУС, 2000. - 74 с.

56. Белоус Д. В., Шерстюк Ю. М. Построение многоцелевых аналитических информационных систем с элементами метауправления // Научное приборостроение, Том 10, № 4, 2000. С. 79-86.

57. Шерстюк Ю.М. Модель и алгоритм построения синтаксически управляемого редактора ХМЪ-описаний // Научное приборостроение, Том 10, №4, 2000.-С. 57-63.

58. Шерстюк Ю.М. Синтаксически управляемый процессор синтеза XML-спецификаций // Модели и методы исследования информационных сетей. Сб. научных трудов Академии региональных проблем информации и управления. Выпуск 3. СПб: Тема, 1999. - С. 21-28.

59. Шерстюк Ю.М. Синтаксическая вариантность информационных систем // Модели и методы исследования информационных сетей. Сб. научных трудов Академии региональных проблем информации и управления. Выпуск 4. СПб.: Тема, 2000. - С.161-164.

60. Карпов Е. А., Мусаев А. А., Шерстюк Ю. М., Митянин А. Г. Многоцелевая аналитическая информационная система. Концепция. СПб.: ВУС, 2000.-28 с.

61. Варчук В. А., Давыденко В. В.,Шерстюк Ю. М. Моделирование передачи данных в сетях метеорной радиосвязи // Сб. "Математическое моделирование систем связи и их элементов" JL: ВАС, 1990. - С. 231.

62. Иванов В. А., Обрезков А. И., Саенко И. Б., Шерстюк Ю. М. Анализ технологий создания ПО АСУ // НТС "Труды ВУС". № 1. СПб.: ВУС, 2000. - С. 76-79.

63. Мусаев А. А., Елшин А. В., Сорокоумов С. В., Шерстюк Ю. М. Принципы системной интеграции многоцелевых аналитических информационных систем // Научно-технический сборник НИЦ. СПб.: ВУС, 2000. -С. 175-179.

64. Обрезков А. И., Саенко И. Б., Шерстюк Ю.М. Особенности построения современных корпоративных информационных систем // Научно-технический сборник №3. СПб.: ВУС, 2000 - С. 55-60.

65. Шерстюк Ю. М. Методологические основы полунатурного моделирования распределенных систем обработки информации // НТС "Труды Военной академии связи" № 66. СПб.: ВУС, 2000. - С. 231-234.

66. Шерстюк Ю.М. Подход к снижению стоимости ошибок при проектировании СПО АСУС // Система связи и АСУ ВС РФ: экономические проблемы развития в современных условиях: Сборник научных трудов. Выпуск 1. СПб.: ВУС, 1999. С. 183-192.

67. Варчук В. А., Гинтс Ю. Э., Давыденко В. В., Шерстюк Ю. М. Моделирование систем сбора данных, использующих каналы метеорной связи // НТС, Вып. 8. Л.: ЛВВИУС, 1991.-С. 151-154.

68. Варчук В. А., Шерстюк Ю. М. Цели и задачи моделирования в процессах совершенствования сетей метеорной радиосвязи // НТС. Вып. 11. -СПб.: СПВВИУС, 1995. С. 80-84.

69. Мигас С. С., Шерстюк Ю. М. Вычислительный формализм представления спецификаций в виде иерархической семантической сети // НТС. Вып. 13. СПб.: СПВВИУС, 1998.-С. 81.

70. Мигас С. С., Сидоров А. К., Шерстюк Ю. М. Технология программирования. Выпуск 5: Элементы доказательного программирования (основы семантической теории программ): Учеб. пособие. СПб.: ВУС, 1999. - 52 с.

71. Мигас С. С., Шерстюк Ю. М. Технология программирования. Выпуск 7: Основы теории компиляции: Учеб. пособие. СПб.: ВУС, 1999. - 86 с.

72. Новые информационные технологии в системах управления военного назначения / Бушуев С. Н., Щетка В. Ф., Шерстюк Ю. М. и др. Уч. пособ. -СПб.: ВУС, 2000.-240 с.

73. Белоус Д. В., Шерстюк Ю. М. Отчет о НИР "Исследование системно-технических решений по созданию перспективных технологий производства специального программного обеспечения АСУ войсками и связью" (шифр "Технология"). СПб.: ВАС, 2000. - 370 с.

74. Бушуев С. Н. Лебедев С. Э., Шерстюк Ю. М. и др. Отчет о НИР (шифр "Знание-99"). СПб.: ВАС, 2000. - 346 с.

75. Доронин Е. М., Тихов В. А., Зарипов В. Д., Шерстюк Ю. М. и др. Отчет о НИР "Разработка методологических основ автоматизации исследований систем связи" (шифр "Микросистема"). Л.: ЛВВИУС, 1989. - 64 с.

76. Шерстюк Ю.М. Исследование системно-технических решений по созданию программно-аппаратного комплекса на базе интеллектуальных АРМ должностных лиц для перспективных пунктов управления. Отчет о НИР "Коралл". СПб.: СПВВИУС, 1997 - 225 с.

77. Шерстюк Ю. М., Путинцев А. В., Мигас С. С. и др. Исследование и .разработка системы автоматизированного моделирования систем управления и связи (Отчет о НИР "Процесс-90" (заключительный)) Л.: ЛВВИУС, 1991. - 138 с.

78. Шерстюк Ю. М., Естюшов И. М., Зарипов В. Д., Филин И. Г. Исследование путей создания интеллектуальной системы имитационного моделирования АСУ и связи (Отчет о НИР "Процесс-95" (заключительный)). СПб.: СПВВИУС, 1995.- 101 с.

79. Морозов В. П., Дымарский Я.С., Шерстюк Ю. М. и др. Устройство для моделирования системы связи. А. с. № 1444805 (СССР) МКИ О 06 Б 15/20 от 15.8.1988.

80. Глуховец Ю. В., Николаев В. С., Шерстюк Ю. М. и др. А. с. № 299586 (СССР) от 1.8.1989.

81. Комарович В. Ф., Колесников Ю. П., Шерстюк Ю. М. и др. А. с. № 260137 (СССР) от 1.9.1987.

82. Информационные системы: Учебн. пособие для студентов вузов по специальности 071900 "Информационные системы в экономике" / Под ред. В. Н. Волковой, Б. И. Кузина. - СПб.: Изд-во СПбГТУ, 1998. - 213 с.

83. Авраменко Т. А., Барабанова И. М., Кузин Б. И. Классификация информационных систем // Тр. Международной научно-практической конференции "Системный анализ в проектировании и управлении". СПб.: СПбГТУ, 1999. - С. 165-167.

84. Расторгуев С. П. Информационная война. М.: Радио и связь, 1999. -416 с.

85. Власов А. Н., Лыткин С. Л., Яковлев В. Л. Краткое практическое руководство разработчика информационных систем на базе СУБД Oracle: Библиотечка журнала "Информационные технологии". М.: Машиностроение, 2000. - 120 с.

86. Финкельберг Б. Особенности использования СУБД ORACLE при построении АСУ металлургическим предприятием // Oracle Magazine (Русское издание), 1997, №1. С. 17-19.

87. Интеллектуальные информационные системы / Беседин Г. Н., Гай-кович Ю. В., Деев В. В. и др. -М.: Воениздат, 1991. 336 с.

88. Костогрызов А. И., Липаев В. В. Сертификация качества функционирования автоматизированных информационных систем // Вооружение. Политика. Конверсия, 1996.

89. Бушуев С. Н. Организация распределенного преобразования информации в информационно-технических системах, СПб.: ВАС, 1994. - 226 с.

90. Бушуев С. Н., Осадчий А. С., Фролов В. М. Теоретические основы создания информационно-технических систем. СПб.: ВАС, 1998. - 404 с.

91. Балашов Е. П., Пузанков Е. В. Проектирование информационно управляющих систем. М.: Радио и связь, 1987. - 256 с.

92. Зиндер Е. Чисто объектные СУБД и проблема выбора // COMPUTERWORLD РОССИЯ, 1998, № 6. С.5-8.

93. Морозов В. П., Дымарский Я. С. Элементы теории управления ГАП: Математическое обеспечение. JL: Машиностроение, 1984. - 384с.

94. Артемьев В. И. Обзор способов и средств построения информационных приложений // СУБД, 1996, № 5-6. С. 52-63.

95. Глинских А. Особенности выбора КИС // Компьютер-Информ № 14 (84) 21 июля 7 сентября 2000 г. - С. 4-5.

96. Короткий С. Современные технологии корпоративного документооборота // Компьютерра, 1998, № 24-25 (252-253). С. 7-9.

97. Специальное математическое обеспечение управления / Гвардейцев М. И., Морозов В. П., Розенберг В. Я.; Под ред. М. И. Гвардейцева. М.: Советское радио, 1978. - 512 с.

98. Анфилатов В. С., Бухарцев Ю. А., Ходасевич Г. Б., Шелутко Л. А. Программирование задач управления. Л.: ВАС, 1984. - 524 с.

99. Баранюк В. А., Бичугов Е. С., Черкащенко А. И., Уразгельдиев Ш. У. Основы создания больших АСУ / Под ред. В. А. Баранюка. М.: Советское радио, 1979. - 360 с.

100. Глушков В. М. Основы безбумажной информатики. М.: Наука, 1987.- 552 с.

101. Ойхман Е. Г., Попов Э. В. Реинжениринг бизнеса: реинжениринг организаций и информационные технологии. М.: Финансы и статистика, 1997.- 336 с.

102. Военная доктрина Российской Федерации (Утверждена Указом Президента Российской Федерации от 21 апреля 2000 г. № 706).

103. Леман M. М. Программы, жизненные циклы и законы эволюции программного обеспечения // ТИИЭР (пер. с англ.). 1980. Т68, № 9. С. 26-45.

104. Куприянов В. П., Кальниш Г. И., Шарков В. П. Концепция технологии программирования, принятая в странах Сотрудничества // Вычислительная техника социалистических стран, № 18. М.:Финансы и статистика, 1985. - С. 7-14.

105. Бромберг И. Система контроля этапов жизненного цикла ПО // Открытые системы, 1998, № 6. С. 39-40.

106. Зиндер Е. 3. Соотнесение и использование стандартов организации жизненных циклов систем // СУБД, 1997. № 3. С. 41-53.

107. Липаев В. В. Качество программного обеспечения. М.: Финансы и статистика, 1983. - 263 с.

108. Липаев В. В. Управление разработкой программных средств: методы, стандарты, технология-М.: Финансы и статистика, 1993.

109. Вендоров А. М. CASE-технологии. Современные методы и средства проектирования информационных систем. М.: Финансы и статистика, 1998.- 176 с.

110. Липаев В. В. Стандарты, регламентирующие жизненный цикл сложных программных комплексов // PC Week/RE, 1998, № 24/98. С. 50.

111. ОСТ 4.091.229.83. Организация производства программного обеспечения коммутационных систем. Технология промышленного производства программного продукта. Основные положения.

112. О. Балихин CDM метод разработки информационных систем фирмы Oracle // Oracle Magazine (Русское издание), 1997, № 2(4). - С.6-10.

113. Морозов В. П., Дымарский Я. С. Базовая МВП-технология ГАП ПП. Уч. пособие. Л.: ЛФ ИПК МПСС. 1985. - 117 с.

114. Брукс Ф. Мифический человеко-месяц или как создаются программные системы. Пер. с англ. СПб.: Символ-Плюс, 1999. - 304 с.

115. TickIT схема сертификации систем качества для программного обеспечения // PC WEEK, 1998, №30-31 (154-155) 4- 17 авг. - С. 40-41.

116. Морозов В.П. Организация промышленного производства программной продукции на базе МВП-технологии. Серия "Вопросы разработки, внедрения и эксплуатации АСУ". Вып. 3. ЦООНТИ "Экое", 1988. - 168 с.

117. Морозов В. П., Дымарский Я. С., Климова О. Е. Технологический процесс ГАП ПЛ. Уч. пособ. Под ред. В. П. Морозова. М.: ИПК МПСС, 1987.- 86 с.

118. Баранов С. Н., Домарацкий А. Н., Ласточкин Н. К., Морозов В. П. Сбор и анализ метрик при выполнении проектов программных изделий // Программные продукты и системы, 1998, № 4. С. 24-29.

119. Аншина М. Страсти по качеству ПО // Открытые системы, 1998, № 6. С. 46-48.

120. Боэм Б., Браун Дж., Каспар X., Липов М., Мак-Леод Г., Мерит М. Характеристики качества программного обеспечения. М.: Мир, 1981. -208 с.

121. Оценка качества программных средств в системе КЦО СВТ / С. А. Чижов, Н. М. Шаруненко // Вычислительная техника социалистических стран. Вып. 23. М.: Финансы и статистика, 1988. - С. 49-57.

122. Grady R. В. Practical Software Metrics for Project Management and Process Improvement. Englewood Cliffs: Prentice Hall, 1992. - 270 p.

123. ГОСТ 28195-89. Оценка качества программных средств. Общие положения.

124. ГОСТ 28806-90. Качество программных средств. Термины и определения.

125. Управление качеством продукции ИСО 9000 ИСО 9004, НСО 8402. - М.: Изд-во стандартов, 1988. - 96 с.

126. Баранов Ф. Н., Доморацкий А. Н., Ласточкин Н. К., Морозов В. П. Процесс разработки программных изделий. М.: Наука, Физматлит, 2000. -176 с.

127. Бобровский С. Программистов на завод! // PC Week/RE, 1998, № 49 (123). - С. 3.

128. Фридман А. К вопросу о современной организации программирования // Открытые системы, 1997, № 4. С. 14-17.

129. Магер B.E., Черненькая JI.В. Качество. Всеобщее управление качеством. Определения и эволюция подходов. СПб.: Политехника, 1998. - 51 с.

130. Колесников С. Из истории автоматизации методологий управления предприятия // Открытые системы, 1999, № 4. С. 12-16.

131. Стратегия совместного инновационного развития государств -участников СНГ / В. Г. Колосов, Н. Я. Павлюк, В. И. Аблязов и др. СПб.: СПбГТУ, 1998.-530 с.

132. Горенбургов М. А. Принципы эффективного построения региональной информационной системы // Национальная экономика и вооруженные силы: Проблемы и перспективы. Тр. II Всероссийской научно-практической конференции. СПб.: ВУС, 2000. - С. 7-8.

133. Роджерсон Д. Основы СОМ / Пер. с англ. М.: Издательский отдел "Русская редакция" ТОО "Channel Trading", 1997. - 376 с.

134. Дарахвелидзе П. Г., Марков Е. П. Delphi 4. СПб.: БХВ - Санкт-Петербург, 1999. -816 с.

135. Орлик С. В. Многоуровневые модели в архитектуре клиент-сервер // СУБД, 1997, № 1. С. 74-77.

136. Волков Д., Гавердовский А., Косякин И. Заметки о российском программировании. // Открытые системы, 1997, № 3. С. 78-80.

137. Фокс Дж. Программное обеспечение и его разработка. М.: Мир, 1985.-368 с.

138. Чеппел Д. Технологии ActiveX и OLE / Пер. с англ. М.: Изд. отдел "Русская редакция" ТОО "Channel Trading Ltd.", 1997. - 320 с.

139. Уайброу M. Тише едешь — дальше будешь. Так ли быстра разработка приложений с использованием технологий быстрой разработки? // Банковские технологии, 1995, ноябрь. С. 42.

140. Oracle Designer / 2000 Documentation, А34874-1. Oracle Corp., 500. Oracle Parkway, Redwood City, CA 94065.

141. Горчинская О. Ю. DESIGNER/2000 новое поколение CASE-npo-дуктов фирмы ORACLE // СУБД, 1995, № 3. - С. 8-15.

142. Маклаков С. В. BPwin и ERwin. CASE-средства разработки информационных систем. M.: Диалог-МИФИ, 1999. - 256 с.

143. Липаев В. В. Проектирование математического обеспечения АСУ (системотехника, архитектура, технология) М.: Сов. радио, 1977. - 400 с.

144. Вельбицкий И. В. Технология программирования Киев: Техшка, 1984. - 250 с.

145. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6 / И. В. Вельбицкий и др. М.: Статистика, 1980. - 263с.

146. Липаев В. В. Промышленная технология разработки программных средств для встраиваемых микроЭВМ (технология "Прометей") // Вычислительная техника социалистических стран. Вып. 18. М.: Финансы и статистика, 1983. - С. 54-65.

147. Терехов А. Н., Парфенов В. В. RTST объектно-ориентированная технология разработки встроенных систем реального времени // НТС "Телекоммуникационные технологии". Вып.. ГП НИИ "Рубин". - СПб.: Изд. Политехника, 1996-с. 77-79.

148. Технология построения АСУ ЛенВО. Книга 4. Принципы построения программного обеспечения. СПб.: Институт сетевых технологий, 1997. -39 с.

149. Технология построения АСУ ЛенВО. Книга 9. Система телекоммуникационного обмена АСУ. СПб.: Институт сетевых технологий, 1997. -68 с.

150. Липаев В.В. Программно-технологическая безопасность информационных систем. Бюллетень «Jet Info» №6/7 (37/38), 1997.

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

152. Новик И., Бойкачев К. Технология сценаризации как новый метод разработки Windows-приложений специалистами предметных областей // Информационные технологии. СПб.: ИАЦ мэрии СПб, 1997, № 2. - С. 2526.

153. Вирт Н. Алгоритмы + структуры данных = программы: Пер. с англ. -М.: Мир, 1985.-406 с.

154. Аджиев В. Мифы о безопасном ПО: уроки знаменитых катастроф // Открытые системы, 1998, № 6. С. 21-30.

155. Пешио Карло. Никлаус Вирт о культуре разработки ПО // Открытые системы, 1998, №1. С. 41-44.

156. Зиндер Е. 3. Новое Системное Проектирование: Информационные Технологии и Бизнес реинжиниринг. Часть 3 - методы Нового Системного Проектирования // СУБД, 1996. № 2. - С 61-76.

157. Мищук А. Информационные технологии (направления развития и внедрения) // Информационные технологии. СПб.: ИАЦ мэрии СПб, 1997, №2.-С. 14-18.

158. Кузнецов С. Д. Основы современных баз данных. М.: Центр Информационных Технологий, 1998. - 263 с.

159. Кузнецов С. Введение в информационные системы // СУБД, 1997, № 2. С. 83-96.

160. Каменнова М. С. Корпоративные информационные системы: технологии и решения // СУБД, 1995, № 3. С. 88-99.

161. Марциновский В. Грамотно проектировать хорошо лечить // Директору информационной службы. - М.: Открытые системы, 2000, № 3. -С. 10-13.

162. Ладыженский Г. М. Архитектура корпоративных информационных систем // СУБД, 1997, № 5-6. С. 18-24.

163. Архипенков С. Oracle Express OLAP. M.: "Диалог-Мифи", 2000.320 с.

164. Крайсл Б. Изучи сам Lotus Notes / Пер. с англ. Мн.: ООО "Поппу-ри", 1998.-432 с.176. 1С: Предприятие. Версия 7.5. Описание встроенного языка. Часть 1. М.: ИПК "Труд", 1997. - 360 с.

165. Гласс Р., Нуазо Р. Сопровождение программного обеспечения: Пер. с англ. -М.: Мир, 1983. 156 с.

166. Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ. / Под ред. Е. К. Масловского. М.: Мир, 1983. -388с.

167. Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения: Пер. с англ. М.: Мир, 1982. - 368с.

168. Нариньяни А. С. Модель или алгоритм: новая парадигма информационной технологии // Информационные технологии, 1997, № 4. С. 3-7.

169. Калянов Г. Номенклатура CASE-средств и виды проектной деятельности // СУБД, 1997, № 2. С. 61-64.

170. CASE средства для разработки программных систем / Бржезов-ский A.B. и др. // Информационные технологии. - СПб.: ИАЦ мэрии СПб. 1995, № 5. - С. 18-21.

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

172. Бусленко Н. П. Моделирование сложных систем. М.: Наука, 1978.- 355 с.

173. Эндрю Вэн Дам. Пользовательские интерфейсы нового поколения // Открытые системы, 1997, №6. С. 34-37.

174. Котенко И. В. Теория и практика построения автоматизированных систем информационной и вычислительной поддержки процессов планирования связи на основе новых информационных технологий. СПб.: ВАС, 1998.- 404 с.

175. Остераут Дж. Сценарии: высокоуровневое программирование для XXI века // Открытые системы, 1998, № 3. С. 12-16.

176. Пржиялковский В. В. Абстракции в проектировании БД // СУБД, 1998, № 1-2.-С. 90-97.

177. Devedzic V.,Velasevic D. Features of Second-generation Expert Systems. An Extended Overview. Engineering Applications of Artificial Intelligence, 1990, vol.3, № 4. p. 255-270.

178. Интеллектуализация ЭВМ / E. С. Кузин, А. И.Ройтман, И. Б.Фоминых, Г. К. Хахалин. М.: Высш. школа, 1989. - 159 с.

179. Искусственный интеллект. В 3-х кн. Кн.2. Модели и методы: Справочник / Под ред. Д. А. Поспелова - М.: Радио и связь, 1990. - 304 с.

180. Искусственный интеллект В 3-х кн. Кн.З. Программные и аппаратные средства. Справочник/ Под ред. В. Н. Захарова, В. Ф.Хорошевского. -М.: Радио и связь, 1990. - 368 с.

181. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с франц. -М.: Мир, 1991.- 568 с.

182. Попов Э. В., Фоминых И. Б., Кисель Е. Б., Шапот М. Д. Статические и динамические экспертные системы. М.: Финансы и статистика, 1996.

183. Хант Э. Искусственный интеллект :Пер. с англ. М.: Мир, 1978.558 с.

184. Зайцева Л. П. Синтаксическая вариантность и синтаксическая синонимия // Уч. записки Башкирского ун-та. С. филол. наук. 1964. Вып. 21. № 9(13).

185. Распопов И. П. Вариантность синтаксических конструкций и коммуникативных единиц языка// Филол. науки, 1962, № 4.

186. Абрамов Б. А. Варьирование в синтаксисе // Проблемы вариативности в германских языках: Тез. докл. (Калининский гос. ун-т). М., 1988.

187. Лачинов В.М., Поляков А. О. Информодинамика или Путь к Миру открытых систем. СПб.: Изд-во СПбГТУ, 1999. - 432 с.

188. Хантер Р. Проектирование и конструирование компиляторов: Пер. с англ. М.: Финансы и статистика, 1984. - 232 с.

189. Мартин Дж. Организация баз данных в вычислительных системах. М.: Мир, 1980. 662 с.

190. Системы управления базами данных и знаний: Справ, изд. / А. Н. Наумов, А. М. Вендров, В. К. Иванов и др.; Под ред. А. Н. Наумова. М.: Финансы и статистика, 1991. - 352 с.

191. Джамса К., Лалани С., Уикли С. Программирование в Web для профессионалов / Пер. с англ. -Мн.: ООО "Поппури", 1997. 632 с.

192. Штайнке С. Управление сетями и системами с помощью XML // LAN: Журнал сетевых решений, 1999, № 11.- С.8-11.

193. Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. М.: Энергия, 1980. - 344 с.

194. Номоконов М. К., Сидоров А. К., Шерстюк Ю. М. Технология программирования. Вып. 2. Математическая логика и элементы теории логического программирования. (Учеб. пособие) / Под ред. Ю. М. Шерстюка -СПб.: СПВВИУС 1997. 88 с.

195. Макетирование, проектирование и реализация диалоговых информационных систем. Под ред. Е.И. Ломако. М.: Финансы и статистика, 1993.-320 с.

196. Касьянов В. Н. Оптимизирующие преобразования программ. М.: Наука, 1988. - 336 с.

197. Абрамов С. А. Элементы анализа программ. Частичные функции на множестве состояний М.: Наука, 1986. - 128 с.

198. Грис Д. Наука программирования: Пер. с англ. М.: Мир, 1984.416 с.

199. Агафонов В. Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука, 1990,- 232 с.

200. Методы построения имитационных систем / Литвинов В. В., Марь-янович Т. П.: АН УССР. ИК им. В.М.Глушкова. Киев: Наукова думка, 1991. -186 с.

201. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. - 544 с.

202. Лавров С. С. Архитектура баз знаний // Программное обеспечение вычислительных комплексов новой архитектуры. Новосибирск, НФ HTM и ВТ АН СССР, 1986. - С. 3-13.

203. Любарский Ю. Я. Инструментальные информационные системы. -М.: Наука, Гл. ред. физ.-мат. лит., 1980. 232 с.

204. Информационная технология в промышленности / Ю. Г. Данилевский, И. А. Петухов, В. С.Шибанов. JL: Машиностроение, Ленингр.отд., 1988.-283 с.

205. Малпас Дж. Реляционный язык Пролог и его применение. М.: Наука, 1990.-464 с.

206. Осуга С. Обработка знаний: Пер. с япон. М.: Мир, 1989. - 292 с.

207. Экспертные системы. Принципы работы и примеры: Пер. с англ. / А. Брукинг, П. Джонс, Ф.Кокс и др.; Под ред. Р. Форсайта. М.: Радио и связь, 1987.-224 с.

208. Представление и использование знаний: Пер. с япон. / Под ред. X. Уэно, М. Исидзука. М.: Мир, 1989. - 220 с.

209. Приобретение знаний. Пер. с япон. / Под ред. С. Осуги, Ю. Саэки. -М.: Мир, 1990.-304 с.

210. Грачев Б. Д., Суслов Д. М., Шерстюк Ю. М. Автоматизированная система имитационного моделирования для решения задач надежности технических комплексов АСУ и связи // НТС. Вып.4 Л.: ЛВВИУС, 1984. -С.129-133.

211. Грачев Б.Д., Суслов Д. М., Шерстюк Ю. М. Система автоматизированного построения имитационных моделей // Тезисы докладов на II ВНТК. Часть 1. Л.: ЛВВИУС, 1986. - С. 164-166.

212. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. М.: Мир, 1990. - 560 с.

213. Георгиев В. О. Модели представления знаний предметных областей диалоговых систем // Техническая кибернетика, 1991, № 5. С. 3-23.

214. Осипов Г.С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретения знаний. Ч. II. Модель знаний и приобретение знаний. Известия РАН. Теория и системы управления, 1995, №5. -С. 65-80.

215. Панченко В. М., Закорюкин В. Б. Формализованное представление знаний предметных областей // Моделирование и экспертные системы: Меж-вуз. сб. научн. тр. / МИРЭА, М., 1989. С. 90-94.

216. Питтс Н. XML за рекордное время. Пер. с англ. М.: Мир, 2000.444 с.

217. Эдди С. Э. XML: справочник. СПб.: "Питер", 1999. - 480 с.

218. Свинарев С. XML приходит с сервера // ComputeReview, № 4, 23.6.1999.-С. 16-18.

219. Льюис Ф. и др. Теоретические основы проектирования компиляторов: Пер. с англ. / Льюис Ф., Розенкранц Д., Стирнз Р. -М.: Мир, 1979. -654 с.

220. Хопгуд Ф. Методы компиляции: Пер. с англ. М.: Мир, 1972.160 с.

221. Кнут Д. Искусство программирования для ЭВМ. Т. 1. Основные алгоритмы / Пер. с англ. М.: Мир, 1976. - 735 с.

222. Гудмен Джон, Хидентниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981. - 368 с.

223. Шерстюк Ю. М. Технология программирования. Вып. 4. Задачи и тексты программ для самостоятельной работы. СПб.: СПВВИУС, 1996. -60 с.

224. Эра Хювенен, Йоуо*ко Сеппенян. Мир ЛИСП'а: Введение в язык ЛИСП и функциональное программирование. Том 1. М.: Мир, 1990. - 311 с.

225. Сидоров А. К., Шерстюк Ю. М. Технология программирования. Вып. 3. Введение в строго функциональный язык программирования. Учеб. пособие. Под ред. Ю. М. Шерстюка. СПб.: СПВВИУС, 1998. - 32 с.

226. Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир, 1983. - 349 с.

227. Фостер Дж. Автоматический синтаксический анализ: Пер. с англ. / Под ред. Э. 3. Любимского. М.: Мир, 1975. - 72 с.

228. Лебедев В. Н. Введение в системы программирования. М.: Статистика, 1975. - 312 с.

229. Гейм К., Сарсан Т. Структурный системный анализ: средства и методы. М.: Эйтекс, 1992. - 274 с.

230. Коллинз Д. Структурный анализ в разработке систем. М: Финансы и статистика, 1986. - 280 с.

231. Агафонов В. Н. Языки и средства спецификации программ (обзор) // В сб. "Требования и спецификации в разработке программ". М.: Мир, 1984. - С. 285-334.

232. Ильин В. Д. Система порождения программ. М.: Наука, 1989.23 с.

233. Кушниренко А. Г., Леонов А. Г., Кузьменко М. А., Назаров Б. А., Подольская Н. А., Ханжин С. Б. Информационная культура. Новые информационные технологии. Класс 11. Пособие для общеобразовательных учебных заведений. М.: Дрофа, 2000.

234. Кушниренко А. Г., Леонов А. Г., Эпиьсгетов М. Г., Борисенко В. В., Кузьменко М. А., Ханжин С. Б., Назаров Б. А. Передача информации и информационные модели. Книга для учащихся 11 класса. Самара: Корпорация "Федоров", 1997.

235. Бочкарев А. Изменения как образ жизни // Эксперт, №4, 1999. -С. 28-29.

236. Организационная структура предприятий. Серия "Бизнес-тезаурус" (учебно-методические пособия для российского бизнеса) М.: КОНЭСКО, 1998.-96 с.

237. Дейт К. Дж. Введение в системы баз данных. Киев: Диалектика, 1998,-784 с.

238. Пржиялковский В. Модели, базы данных и СУБД в информационных системах // Биосистемы в экстремальных условиях. Вычислительный центр РАН, М., 1996. - С. 34-43.

239. Ивлев В., Попова Т., Чекаленко Ю. Типовые решения по автоматизации деятельности строительных организаций энергетических объектов // Открытые системы, 1997, № 4. С. 49-52.

240. Information processing systems Concepts and terminology for the conceptual schema and the information base, ISO Technical Report 9007, 1987.

241. Иващенко А. В., Сыпченко P. П. Основы моделирования сложных систем на ЭВМ. Л.: ЛВВИУС, 1988. - 272 с.

242. Перспективы развития вычислительной техники: В 11 кн.:Справ. пособие / Под ред. Ю. М. Смирнова. Кн. 1: Информационные семантические системы / Н. М. Соломатин. М.: Высш. шк., 1989. - 127 с.

243. Выявление экспертных знаний (процедуры и реализация) / О. И. Ларичев, А. И. Мечетов, Е. М. Мошкович, Е. М.Фуренс. М.: Наука, 1989. -128 с.

244. Марка Д., Мак Гоуэн К. Методология структурного анализа и проектирования. М: Метатехнология, 1993 - 240 с. .

245. Зинеева Г. В. Проблема отладки базы знаний в экспертных системах // Моделирование и экспертные системы. Сб. научн. трудов. Под общ. ред. В. В. Нечаева. М.: 1989. - с.64-67.

246. Майерс Г. Надежность программного обеспечения: Пер. с англ. / Под ред. В. Ш. Кауфмана. М.: Мир, 1980,- 360 с.

247. Шаповалов В. В. Автоматизированные системы скринирующей диагностики здоровья детей и подростков. Дис. . д.т.н. СПб.: ЛЭТИ, 2000. -328 с.

248. Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ / Пер. с англ. М.: Финансы и статистика, 1990. - 320 с.

249. Поспелов Д. А., Пушкин В.Н. Мышление и автоматы. М.: Сов. радио, 1972.-224 с.

250. Осипов Г. С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретения знаний. 4.1. Концептуальные элементы модели мира. Известия РАН. Теория и системы управления. Наука, Москва, 1995, № 3. С. 160-174.

251. Цвиркун А. Д. Структура сложных систем. (Библиотека технической кибернетики). М.: Сов. радио, 1975. - 200 с.

252. Уолфрэм С. Научные исследования / Современный компьютер: Сб. научно-популярных статей /Под ред. В. М. Курочкина. -М.: Мир, 1986.-С. 82-93.

253. Аврамчук Е. А., Вавилов А. А., Емельянов С. В. Технология системного моделирования / Под ред. С. В. Емельянова М.: Машиностроение; Берлин: Техник, 1988. - 520 с.

254. Максимей И. В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1988. - 232 с.

255. Снопелев Ю. М., Старосельский В. А. Моделирование и управление в сложных системах. М.: Советское радио, 1974.

256. Советов Б. Я., Яковлев С. А. Моделирование систем. Учебник для ВУЗов. М.: Высшая школа, 1985 - 271 с.

257. Шеннон Р. Имитационное моделирование систем искусство и наука. -М.: Мир, 1978.-418с.

258. Анализ и моделирование производственных систем / Б. Г. Тамм, М. Э. Пуусепп, Р. Р. Таваст; Под общ. ред. Б. Г. Тамм. М.: Финансы и статистика, 1987. - 191 с.

259. Моделирование вычислительных систем / И. Н. Альянах. Л.: Машиностроение. Ленингр. отд-ние, 1988. - 223 с.

260. Бусленко В. Н. Автоматизация имитационного моделирования сложных систем. М.: Наука, 1983. - 240 с.

261. Болтянский А. А., Виттих В. А., Кораблин М. А. Цифровая имитация вычислительных систем. М.: Наука, 1983. - 260 с.

262. Голованов О. В., Дуванов С. Г., Смиронов В. Н. Моделирование сложных дискретных систем на ЭВМ третьего поколеня. М.: Энергия, 1978.-240 с.

263. Иванов Е. В., Гордейчук В. Н., Шелутко Л. А. Система автоматизированного имитационного моделирования сетей связи.-Л.: ВКАС, 1986. 144 с.

264. Морозов В. П., Мелас В. Б., Баканов Л. А. Система имитационного моделирования на основе алгоритмического языка высокогоуровня Алгол 68. М.: ИПК МПСС, 1985. - 68 с.

265. Киндлер Е. Языки моделирования. М.: Энергоатомиздат, 1985.288 с.

266. Полляк Ю.Г., Филимонов В.А. Статистическое машинное моделирование средств связи. М.: Радио и связь, 1988. - 176 с.

267. Баев В. В., Пипенко С. В. Пакет программ моделирования дискретных процессов расширенными сетями Петри // Управляющие системы и машины, 1991, №8. -С. 83-87.

268. Гультяев А. К. MATLAB 5.2. Имитационное моделирование в среде Windows: Практическое пособие. СПб.: КОРОНА принт, 1999. - 288 с.

269. Шакин В. Н., Воробейников Л. А., Шибанов С. Е., Семенова Т. И. Моделирование систем и сетей связи: Уч. пособ. М.: МИС, 1988. - 47 с.

270. Гусев В. В., Марьянович Т. ГГ., Сахнюк М.А. Система программирования НЕДИС. Киев: Ин-т кибернетики АН УССР, 1975. - 23 с.

271. Диалоговая система автоматизации имитационного моделирования / Е. Л. Картухин, В. Г. Кирай, В. И. Подкорытов и др. // УСиМ, 1982, № 2. -с. 42-47.

272. Диалоговые системы моделирования / В. В. Пирогов, Л. П. Богомолов, С. Ф. Гайстеров и др. Рига: Зинатне, 1977. 176 с.

273. Грачев Б. Д., Суслов Д. М., Шерстюк Ю. М. Автоматизация имитационного моделирования в системе моделирования GPSS // Тез. докл. на XV ВНТК. Киев: КВВИУС, 1984. - с. 212.

274. Ахламов А.Г., Пенко В.Г., Кондратенко A.A. Об интеллектуализации процесса построения митационных моделей на GPSS // Моделирование систем информатики. Тез. докл. всесоюзн. конференции 13-15 сент. 1988. -Новосибирск, 1988. С. 4-5.

275. Шрайбер Т. Дж. Моделирование на GPSS. M.: Машиностроение, 1980.- 592 с.

276. Хоггер К. Введение в логическое программирование: Пер. с англ. -М.: Мир, 1988.-348 с.

277. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. — 358 с.

278. Грачев Б. Д., Суслов Д. М., Шерстюк Ю. М. Автоматизация имитационного моделирования сетей // Сб. тр. XV ВНТК. Киев: КВВИУС, 1984.-С. 205.

279. Теория систем и методы системного анализа в управлении и связи /

280. B. Н. Волкова, В. А. Воронков, А. А. Денисов и др. М.: Радио и связь, 1983. - 248 с.

281. Давыденко В. П., Доронин Е. М., Лоскутов Н. Г. Основы военной кибернетики. Л.: ЛВВИУС, 1980. - 314 с.

282. Волкова В. Н., Денисов А. А. Основы теории систем и системного анализа: учебник для студентов вузов, обучающихся по специальности "Системный анализ и управление". СПб.: СПбГТУ, 1997. - 510 с.

283. Логическое управление распределенными системами / В. В. Горбатов, М. И. Смиронов, И. С. Хлытчиев; Под ред. В. А. Горбатова. М.: Энерго-атомиздат, 1991. - 288 с.

284. Самсонов B.C. Автоматизированные системы управления. -М.: Высшая школа, 1985. 384 с.

285. Мерабишвили В.М. Популяционный раковый регистр // Доклады VI Санкт-Петербургской международной конференции "Региональная ин-форматика-98" 17 июня 1998 г. /Под ред. И.А.Красильникова СПб, 1998.1. C. 78-83.

286. Романенко О.П. Генетический регистр. Практическое значение // Медико-генетическая служба Санкт-Петербурга. СПб.: ГКД МГЦ, 1999.1. С. 34-36.

287. Бутомо И. В., Берлинская Д. К., Ковалева Н. В., Романенко О П. Мониторинг врожденных пороков развития // Медико-генетическая служба Санкт-Петербурга. СПб.: ГКД МГЦ, 1999. - С. 37-42.

288. Кульгин М. Технологии корпоративных сетей. Энциклопедия. -СПб.: Изд-во "Питер", 2000. 704 с.

289. Постановление Правительства РФ "Об утверждении положения о социально-гигиеническом мониторинге" от 06.10.1994. № 1146.

290. Приказ МЗ РФ от 10.09.98. № 268 "О мониторинге врожденных пороков развития у детей".

291. Распоряжение Комитета по здравоохранению Мэрии С-Петербурга № 264-р от 15.12.1998 г. "О совершенствовании регистрации и учета больных со злокачественными новообразованиями кроветворной ткани".

292. Распоряжение Комитета по здравоохранению Мэрии С-Петербурга № 286-р от 30 декабря 1998 г. "О дальнейшем совершенствовании меднко -генетической службы в Санкт Петербурге".

293. С мира по байту // СОМРШЫШОЫТ) РОССИЯ, 1998, № 14.1. С. 5.

294. Котенко И. В., Янченко И. П., Боговик А. В. Автоматизация разработки документов по связи. Учеб. пособие. СПб.: ВАС, 1995. - 144 с.

295. Комплекс программ "Автоматизированная система профилактических осмотров детского населения АСПОН-Дт". Описание применения. НВТ "БИМК-Д", СПб., 1996. - 36 с.

296. Комплекс программ "Автоматизированная система профилактических осмотров детского населения АСПОН-Дт". Руководство пользователя. НВТ "БИМК-Д", СПб., 1998. - 43 с.

297. Мусаев А. А. Интеллектуальный анализ данных: Клондайк или Вавилон? // Банковские технологии, 1998, ноябрь-декабрь. С. 79-82.

298. Пржиялковский В. В. Сложный анализ данных большого объема: новые перспективы компьютеризации // СУБД, 1996, № 4. С. 71-83.

299. Сахаров А. А. Концепции построения и реализации информационных систем, ориентированных на анализ данных // Системы управление базами данных, 1996, №4. С. 55-70.

300. А. Горланов Информационные технологии выводят корпоративное управление на новый уровень // Computer World, № 3797. С. 42-43.

301. Киселев М., Соломатин Е. Средства добычи знаний в бизнесе и финансах // Открытые системы, 1997, № 4. С. 41-44.

302. Коровкин С. Д., Левенец И. А., Ратманова И. Д., Старых В. А., Ща-велёв Л. В. Решение проблемы комплексного оперативного анализа информации хранилищ данных // СУБД, 1997, № 5-6. С. 47-51.

303. Красилов А. За горизонтом экспертных систем // Открытые системы, 1996, № 6. С. 65-69.

304. Сахаров А. А. Принципы проектирования и использования многомерных баз данных (на примере Oracle Express Server) // СУБД, 1996, № 3. -С. 44-59.

305. Львов В. Создание систем поддержки принятия решений на основе хранилищ данных // СУБД, 1997, №3. С. 30-40.

306. Львович О. Data Warehowsirig выход из кризиса оперативного анализа // Read.Me, 1998, №6. - С. 44, 45. 66.

307. Бирюков А. Системы принятия решений и Хранилища данных // СУБД, 1997, № 4. С. 37-41.

308. Е. F. Codd, S. В. Codd, С. Т. Salley. Providing OLAP (On-Line Analytical Processing) to User-Analysts: An IT Mandate. E. F. Codd & Associates, 1993.

309. Demarest M. Building the Data Mart // DBMS, 1994, № 7. p. 44-50.

310. Han J. OLAP Mining: An Integration of OLAP with Data Mining. -IFIP, 1997,- 18 p.

311. Бритов П. A., Липчинский E. A. Практика построения Хранилищ Данных: Система SAS // СУБД, 1998, №4-5. С. 14-20.

312. Киселев M., Соломатин Е. Средства добычи знаний в бизнесе и финансах // Открытые системы, 1997, №4. С. 41-44.

313. Шестопалова Н. Банковские стихии // МИР ПК, 1998, № 5. С. 104-108.

314. Доценко С. М. Аналитические информационные технологии и обеспечение безопасности корпоративных сетей // Конфидент, 2000, № 2. -С. 23-26.

315. Security in Cyberspace. US Senate Permanent Subcommittee on investigations. June 5. 1996.

316. Баранов А. П. Обнаружение нарушителя на основе выявления аномалий. Формализация задачи // Проблемы информационной безопасности. Компьютерные системы, 1999, № 1. С. 44-49.

317. Вайнер А.Я. Информатика в военном деле. М.: ДОСААФ, 1989.127 с.

318. Скугарев В. Д., Федулов А. А., Щербаков О. В. Автоматизированные системы управления. М: Воениздат, 1981. - 287 с.

319. Пирумов В. С., Родионов М. А. Некоторые аспекты информационной борьбы в военных конфликтах//Военная мысль, 1997, № 5.-С. 24-28.

320. Williams R.H. Info Warfare Attacks Score in Military's Risk Pantheon // National Defense, 1998, T.81, N 520,- P. 16-17.

321. Балашов E. П. Эволюционный синтез систем. M.: Радио и связь, 1985.-328 с.

322. Николаев Ю. И. Проектирование защищенных информационных технологий.Часть первая. Введение в проблему проектирования распределенных вычислительных систем. СПб.: СПбГТУ, 1997. - 312 с.

323. Боэм Б. У. Инженерное проектирование программного обеспечения: Пер. с англ. М.: Радио и связь,. 1985. - 512 с.

324. Шерстюк Ю. М., Шорохов Ю. А. Применение полунатурного моделирования в процессе проектирования ПО сетей связи // Тез. докл. и сооб. НТК ПО "Красная Заря" Л.: ЛНПО "Красная Заря", 1987. - С. 216-218.

325. Липаев В. В. Тестирование программ. М.: Радио и связь, 1986.263 с.

326. Клиланд Д., Кинг В. Системный анализ и целевое управление. -Пер. с англ., М.: Сов. радио, 1974. 280 с.

327. Саркисян А. А. Повышение качества программ на основе автоматизированных методов. М.: Радио и связь, 1991. - 160 с.

328. Бутаков Е. А. Методы создания качественного программного обеспечения ЭВМ. М.: Энергоатомиздат, 1984. - 232 с.

329. Богатырев Р. Уроки аварии ракеты-носителя Ariane 5 // Computer Rewiev, 1997, № 38. С. 26-27.

330. Майерс Г. Искусство тестирования программ: Пер. с англ. М.: Финансы и статистика, 1982. - 176 с.

331. Липаев В. В. Отладка систем управляющих алгоритмов ЦВМ реального времени. М.: Сов. радио, 1974. - 328 с.

332. Романов А.Н., Жабеев В.П. Имитаторы и тренажеры в системах отладки АСУ ТП. М.: Энергоатомиздат, 1987. - 152 с.

333. А. с. 1062708 (СССР) МКИ Cr 06 F 11/22. Устройство для отладки программ / В. В. Галкин, В. П. Глущенко, В. П. Жабеев и др. // Открытия. Изобретения. 1983. № 47. - С. 116.

334. Леохин Ю. Л., Саксонов Е. А. Аппаратно-программная моделирующая система комплексной динамической отладки управляющих программ реального времени // Электронное моделирование, 1991, Т. 13, № 4. С. 7780.

335. Ластовченко М. М., Губенко А. Е., Черноусов В. А. Интегральная система проектирования программного обеспечения коммутационных средств связи. Общ. "Знание" УССР, Киев, 1990. - 24 с.

336. Ченцов В. М. Системы распределения информации. Синтез структуры и управления. М.: Радио и связь, 1980. - 144 с.

337. Райтер Р., Вальран Ж. С. Распределенное имитационное моделирование дискретно-событийных схем. М.: ТИИЭР, 1989, Т.77. № 1. - С. 245262.

338. Распределенные системы моделирования / Пирогов В. В., Гайсте-ров С. Ф., Батрак В. Н. и др.: Под ред. В.В. Пирогова. Рига: Зинатне, 1984. -175 с.

339. Peacock J. К., Wong J. W., Manning E. G. Distributed simulation using a network of processors. // Сотр. Networks. 1979. V.3, N1. - P. 44-56.

340. DeBenedictus E. P., Ackland B. D. Circuit simulation on a hypercube. // Proc. SCS Multiconf. onDist. Simulation, 1988. P. 89-93.

341. Vencatesh K., Radhakrishnan T , Li H. F. Discrete event simulation in a distributed system. // IEEE COMPSAC, 1986. P. 123-129.

342. Cristopher Т., Evens M., Gardeya R.R., Leonhardt T. Structure of distributed simulation system. // IEEE COMPSAC, 1982. P. 548-589.

343. Baik D., Zeigler B. P. Performance evaluation of hierarchical distributed simulators. //Proc. 1985 Winter Simul. Conf., 1985. P. 421-427.

344. Concepcian A.I. Mapping distributed simulators onto the hierarchial multibus multiprocessor architecture // Proc. SCS Dist. Simul. Conf., 1985. P. 813.

345. Lamport L. Time, clocks and the ordering of events in a distributed systems // Comm. ACM, Vol. 21, N7, 1978. P. 558-565.

346. Jefferson D.R. Virtual time. // ACM Trans. Prog. Lang, and Sys., Vol. 7, N3, 1985.-P. 404-425.

347. Mirsa J. Distributed discrete-event simulation // Computer Surveys, Vol. 18, N1, 1986.-P. 39-65.

348. Bain W. L., Scott D. S. An algorithm for time synchronization in distributed discrete event simulation. // Proc. SCS Multiconf. on Dist. Simulation, 1988.-P. 30-33.

349. Chandy К. M., Mirsa J. Asynchronous distributed simulation via a sequence of parallel computations. // Comm. of the ACM, Vol. 24, N11, 1981. P. 198-205.

350. Jefferson D., Sowizral H. Fast concurrent simulation using the time v/arp mechanism. // Proc. SCS Dist. Sim. Conf., 1985. P. 63-69.

351. Griffin E. L. Real-time estimating //Datamation, V.26, N6,1980,-P. 188-197.

352. Волховер В. Г., Иванов JI. А. Производственные методы разработки программ. М.: Финансы и статистика, . 983. - 208 с.

353. Иыуду К. А. Надежность и диагностика вычислительных машин и систем: Учеб. пособие для вузов. -М.: Высш. шк., 1989. 216 с.

354. Шураков В. В. Надежность ПО систем обработки данных. М.: Статистика, 1981. - 216 с.

355. Шаракшанэ А. С., Шахин В. П., Халецкий А. К. Испытания программ сложных автоматизированных систем / Под ред. проф. А. С. Шаракшанэ. -М.: Энергоатомиздат, 1983. 136 с.

356. Морозов В. П., Сидоров А. К., Шерстюк Ю. М., Шорохов Ю А. Возможности использования полунатурного моделирования ФПО модели АСУС в рамках МВП-Т ШИШ // НТС. Вып.6. Л.: ЛВВИУС, 1987. - с. 3236.

357. Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. М.: Мир, 2000. - 191 с.