Проектирование многокомпонентных программных систем на основе гибридных логических моделей тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Рощин, Михаил Александрович

• Рощин, Михаил Александрович
• кандидат технических наук
• 2007

Оглавление диссертации кандидат технических наук Рощин, Михаил Александрович

содержание. перечень сокращений и условных обозначений. введение.

глава 1. состояние вопроса и постановка задачи исследования.

1.1 Концептуальное проектирование многокомпонентных программных систем.

1.2 Существующие технологии и методы начального этапа проектирования многокомпонентных программных систем.

1.2.1 Системный анализ требований.

1.2.2 Поиск существующих компонентов.

1.2.3 Композиция архитектурного решения.

1.2.4 Выводы по современному состоянию вопроса проектирования ПО.

1.3 Особенности представления знаний на начальном этапе проектирования программных систем.

1.4 Обзор существующих логических систем представления знаний.

Выводы. Постановка задачи исследования.

глава 2. разработка языка, модели и методики для описания гибридных логических моделей.

2.1 Спецификация программных компонентов на основе гибридных логических моделей

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

2.2.1 Язык описания гибридных логических моделей.

2.2.2 Модель интерпретации результатов вывода.

2.3 Методика динамического представления знаний.

Выводы по Главе 2.

глава 3. гибридные логические модели описания системы требований и программных компонентов.

3.1 Логическая модель системы требований.

3.2 Семантическая модель программных компонентов.

3.2.1 Семантическая составляющая в спецификации программных компонентов.

3.2.2 Описание семантики с помощью гибридной логической модели.

3.2.3 Пример спецификации программных компонентов с помощью семантической модели

Выводы по главе 3.

глава 4. разработка алгоритмического и программного обеспечения автоматизации начального этапа проектирования.

4.1 Ал горитмическое обеспечение.

4.1.1 Алгоритм композиции архитектурного решения.

4.1.2 Оценка алгоритма.

4.2 программный комплекс автоматизации начального этапа проектирования «SEMO»

4.2.1 Требования к разрабатываемой системе.

4.2.2 Архитектура.

4.2.3 Программный комплекс «SeMo».

4.2.4 Интерфейс пользователя «SeMo».

4.2.5 Тестирование и оценка эффективности «SeMo».

ВЫВОДЫ ПО ГЛАВЕ 4.

Введение диссертации (часть автореферата) на тему «Проектирование многокомпонентных программных систем на основе гибридных логических моделей»

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

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

Как отмечает И.А. Барков в своих работах, в автоматизированном проектировании проблема согласования разнообразных проектных этапов и компонентов трансформируется в проблему интеграции на инвариантной основе структур данных и процедур решения проектных задач. В настоящее время обоснованно применяются логические модели для представления знаний при создании так называемых интеллектуальных САПР, которые характеризуются возможностью принятия проектных решений при использовании инвариантных к проблемным областям алгоритмов. Однако существующие логические модели описания программных компонентов (OWL-S, WSMO, WSDL-S, FLOWS) строятся только с учетом внутренних характеристик и свойств, независимо от возможных зависимостей и трансформации значений в различных средах. Также эти модели предполагают использование одной конкретной логики для описания различных типов данных, что делает задачу представления знаний трудноформализуемой.

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

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

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

2. Разработка логической модели требований к разрабатываемому программному обеспечению;

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

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

5. Разработка инвариантной программной среды, предназначенной для автоматизации процесса проектирования программных систем. Объектом исследования в диссертационной работе является процесс проектирования программных систем.

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

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

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

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

Достоверность полученных результатов подтверждается успешным применением разработанного программного комплекса «SeMo» к решению задачи автоматизации начального этапа проектирования программных систем в компании Siemens AG, СТ SE 2 (Акт внедрения от 25 сентября 2007 года).

Научная новизна состоит в том, что разработана новая технология автоматизированного проектирования программных систем, включающая в себя:

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

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

3. Методику построения логической модели системы требований, основанную на взаимодействии онтологии предметной области и логической модели семейства продуктов программных систем;

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

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

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

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

3. Проведения дальнейших исследований в области автоматизированного проектирования программных систем и применения логических систем в инженерии ПО.

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

Положения, выносимые на защиту.

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

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

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

4. Семантическая модель программных компонентов;

5. Алгоритмическое и программное обеспечение, которое повышает эффективность начального этапа проектирования многокомпонентных программных систем.

Апробация работы. Основные положения диссертации докладывались и обсуждались на следующих российских конференциях: III-й и IV-й Международный научно-практический семинар «Интегрированные модели и мягкие вычисления в искусственном интеллекте», Коломна, 15-17.05.2005 и 28-30.05.2007; И-я, III-я и IV-я Международная научно-техническая конференция «Интеллектуальные системы (AIS' 05, 06, 07), Интеллектуальные САПР», Дивноморское, 3-10.09. 2005, 2006 и 2007 гг.; научно-практический семинар, «AIS-ADM' 07», Springer LNCS, Санкт-Петербург, 3-5.06.2007.

Также основные положения диссертации докладывались и обсуждались на следующих зарубежных конференциях: Международный семинар «Frameworks for Semantics in Web Services», консорциум W3C, Инсбрук, Австрия, 9-10.06.2005; 1-й научно-практический семинар «Workshop on Product Lines & Variability», Siemens AG и Мюнхенский тех. университет, Мюнхен, Германия, 9.05.2006; научный семинар будущих кандидатов и докторов наук на 20-й Европейской конференции по ОО программированию (ЕСООР' 06), Нант, Франция, 3-7.07.2006; 32-я конференция «Euromicro Conference on Software Engineering and Advanced Applications, Component-based Software Engineering track», IEEE, Дубровник, Хорватия, 28.081.09.2006; международная конференция «Information Research and Applications i.TECH 2007», Варна, Болгария, 25.06.-1.07.2007.

Публикации. Основное содержание диссертации нашло отражение в 17 опубликованных научных работах, в том числе в 1 статье в журнале из списка ВАК; в 9 зарубежных публикациях на английском языке, из них: 1 статья в сборнике работ по искусственному интеллекту «LNAI» издательства Springer Verlag (Германия), 1 статья в сборнике работ по компьютерным технологиям издательства IEEE (США), 1 статья в списке рекомендованных к прочтению статей на сайте международного консорциума W3C, 1 статья в межд. журнале «Information Theories and Applications»,

Структура и содержание диссертационной работы. Диссертационная работа состоит из введения, четырех глав с выводами, заключения, библиографического списка из 112 наименований, и приложений. Общий объем работы 107 страниц, в том числе 24 рисунка и 10 таблиц.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Рощин, Михаил Александрович

Выводы по главе 4

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

109 программных компонентов), композиция архитектурного решения (на основе разработанных алгоритмов); 8. Разработан программный комплекс «SeMo» автоматизации начального этапа проектирования ПО, реализующий предложенные модели, методики и алгоритмы.

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

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

Список литературы диссертационного исследования кандидат технических наук Рощин, Михаил Александрович, 2007 год

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

2. Половинкин А.И. Теория проектирования новой техники Волгоград: ВолгПИ, 1990.-25 с.

3. Буш Г.Я. Методы технического творчества. Рига : Лиесма, 1972. - 94 с.

4. Половинкин А.И. Методы инженерного творчества- Волгоград: ВолгПИ, 1984.-365 с.

5. Буш Г.Я. Методические основы научного управления изобретательством-Рига : Лиесма, 1974. 167 с.

6. Буш Г.Я. Аналогия и техническое творчество. Рига : Лиесма, 1979. -128 с.

7. Альтшуллер Г.С. Творчество как точная наука. М.: Советское радио, 1979.-184 с.

8. Мюллер И. Эвристические методы в инженерных разработках /Пер. с нем. М.: Радио и связь, 1984. - 144 с.

9. Глушков В.М., Мясников В.А.,Половинкин А.И. Автоматизация поискового конструирования //Вестн. АН СССР. 1979. №7.

10. Анкудинов Г.И. Синтез структуры сложных объектов (логико-комбинаторный подход). Л.: Изд-во ЛГУ, 1986. - 258 с.

11. Глазунов В.Н. Поиск принципов действия технических систем. М.: Речной транспорт, 1990. -111 с.

12. Мамиконов А.Г., Пискунова А.Н., Цвиркун А.Р. Модели и системы проектирования информационного обеспечения АСУ М.: Статистика, 1978.

13. Krumhauer Р. Möglichkeiten der Rechnerunterstutzung für die Konzeptphaseder Konstruction -Z.wirtscaftl.Fertigung, 1973, N 3, s.l 19-126.

14. Rodenacker W.G. Methodisches Konstruieren. Berlin, Heidelberg, New York, Springer-Verlag, 1976.

15. Presse G. Aufbau und Anwendung lines Katalogs physikalisher Effekts. Berlin, Maschinenbantechnik, 1977.7,P. 330-333.

16. Половинкин А.И. Основы инженерного творчества- М.: Машиностроение, 1988. 368 с.

17. Гришин В. А.,Камаев В.А. Математическое моделирование изделий и технологий. Учебное пособие, Волгоград, 1986.-193 с.

18. Фоменков С.А., Гришин В.А., Камаев В.А. Представление и использование физических знаний при поисковом конструировании изделий машиностроения. Учебное пособие. Волгоград: ВолгГТУ, , 1994.-121 с.

19. Камаев В.А., Колесников С.Г., Фоменков С.А. Физические эффекты из материалов заявок на открытия по физике, ч.1. Учебное пособие. -Волгоград: ВолгГТУ,, 1994. 200 с.

20. Камаев В.А., Фоменков С.А., Сипливая М.Б., Колесников С.Г. Физические явления из материалов заявок на открытия по физике, ч.2. Учебное пособие. Волгоград: ВолгГТУ, 1995. - 224 с.

21. Бутенко JI.H., Дворянкин А.М., Камаев В.А., Фоменков С.А. и др. Техническое творчество: теория, методология, практика.

22. Энциклопедический словарь-справочник. / Под ред. А.И. Половинкина, В.В. Попова. M.: НПО "Информ-систем", 1995. - 408 с.

23. Дворянкин A.M., Половинкин А.И., Соболев А.Н. Методы синтеза технических решений М.: Наука, 1977. - 103 с.

24. Андрейчиков A.B., Андрейчикова О.Н. Интеллектуальные информационные системы. М.: Финансы и статистика, 2006. - 424 с.

25. Норенков И.П. Основы автоматизированного проектирования. М.: Изд-во МГТУ им. Н.Э.Баумана, 2002. - 336 стр.

26. Барков И.А. Теория конструкторской семантики. Ижевск: Изд-во ИжГТУ, 2003.-360 с.

27. Вигерс К.И. Разработка требований к программному обеспечению / Пер. с англ. М.: Изд-во «Русская редакция», 2004. - 576 с.

28. Орлик С. Введение в программную инженерию и управление жизненным циклом ПО Электронный ресурс. -Режим доступа: http://sorlik.blogspot.com

29. Вендров A.M. CASE-технологии. Современные методы и средства проектирования информационных систем Электронный ресурс. -Режим доступа: http://www.codenet.ru/db/other/case/

30. Martin R.C. Agile Software Development, Principles, Patterns, and Practices.- Prentice Hal, 2002. 552 с. - Англ.

31. Greenfield J., Short K., Software Factories. Wiley Publishing, 2004. - 560c.- Англ.

32. Timo Kakola, Juan Carlos Duenas. Software Product Lines: Research Issues in Engineering and Management. Springer-Verlag, 2006 - Англ.

33. Kr. Czarnecki, С. H. P. Kim, К. T. Kalleberg: Feature Models are views on Ontolgies, 2004. - Англ.

34. Danilo Beuche, Holger Papajewski, Wolfgang Schroeder-Preikschat. Variability Management with feature Models, 2003. - Англ.

35. Stan Buehne, Kim Lauenroth, Klaus Pohl. Why is it not sufficient to Model Requirements Variability with Feature Models? 2004. - Англ.

36. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования: паттерны проектирования. СПб: Питер, 2001.-368 с.

37. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд.: Пер. с англ. М.: Изд-во «Бином», 1998.-560 с.

38. Заболеева-Зотова А.В. Использование естественного языка при автоматизации слабо структурируемых процессов в проектировании технических, программных и информационных систем // Дисс. на сосискание уч. степени доктора тех. наук. Волгоград, 2004.

39. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. -М.: ФИЗМАТЛИТ, 2004. 704 с.

40. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. СПб.: Изд-во «Питер», 2001. - 384 с.

41. Заболеева-Зотова А.В. Естесственный язык в автоматизрованных системах: Семантический анализ текстов: Монография. Волгоград: Изд-во ВолгГТУ, 2002. - 228 с.

42. Заболеева-Зотова А.В. Лингвистические системы: Модели, методы, приложения: Монография. Волгоград: Изд-во ВолгГТУ, 2004. - 190 с.

43. Калянов Г.Н. CASE-технологии: консалтинг при автоматизации бизнес-процессов. М.: Горячая линия-Телеком, 2000. - 320 с.

44. Камаев В.А., Сипливая М.Б., Козлов А.А. Методы и алгоритмы оптимизации детерминированных потоков в сетях: Уч. пособие. -Волгоград: Изд-во ВолгГТУ, 2000. 80 с.

45. Карпов Ю.Г. Теория автоматов. СПб.: Питер, 2002. - 224 с.

46. Люгер Д.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем, 4-е изд.: Пер. с англ. М.: Изд. дом «Вильяме», 2003. - 864 с.

47. М.Р. Singh, M.N. Huhns. Service-Oriented Computing: Semantics, Processes, Agents. Wiley, 2005

48. Graubmann P. Semantic Annotation of Software Components:по матер. 32nd Euromicro Conf. on SEAA, Aug. 29 Sep/ 1, 2006. / P.Graubmann, M. Roshchin //IEEE Computer Society. - 2006. - App. - c. 170-174. - Англ. (IEEE)

49. Муромцев Ю.Л., Орлова Л.П., Муромцев Д.Ю., Тютюнник В.М. Информационные технологии проектирования РЭС. 4.1: Основные понятия, архитектура, принципы: Уч. пособие. Тамбов: Изд-во ТГТУ, 2004.-96 с.

50. Непейвода Н.Н. Прикладная логика: Учеб. пособие. Новосибирск: Изд-во Новосиб. ун-та, 2000. - 521 с.

51. Павлов С.Н. Системы искусственного интеллекта: Уч. пособие. Томск: Томский межвузовский центр дистанционного образования, 2002. - 187 с.

52. Пастухов А.Ю. Разработка языков программирования с учетом психолингвистического анализа процесса понимания текста программы // Дисс. на сосискание уч. степени кандидата тех. наук. Волгоград, 2000.

53. Прохоров И.В. Автоматизированный этимологический анализ // Дисс. на сосискание уч. степени кандидата тех. наук. Волгоград, 2007.

54. Рассел С., Норвиг П. Искусственный интеллект: современный подход, 2-е изд.: Пер. с англ. М.: Изд. дом «Вильяме», 2006. - 1408 с.

55. Савчук В.П. Оценка эффектинвости инвестиционных проектов Электронный ресурс. -Режим доступа: http://www.cfin.ru/finanalvsis/savehuk/index.shtml

56. Себеста Р.У. Основные концепции языков программирования: Пер. с англ. М.: Изд. дом «Вильяме», 2001. - 672 с.

57. Сливин Р.Ю. Интеллектуальная поддежрка инженерного анализа на основе рассуждений по прецедентам (на примере задач контактной механики) // Дисс. на сосискание уч. степени кандидата тех. наук. Волгоград, 2006.

58. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. М.: Эдиториал УРСС, 2002. - 352 с.

59. Фаулер М. Архитектура корпоративных программных приложений.: Пер. с англ. М.: Изд. дом «Вильяме», 2004. - 544с.

60. Фоменков С.А., Петрухин A.B., Камаев В.А., Давыдов Д.А. Представление физических знаний для автоматизированных систем обработки информации: Монография. Волгоград: ТОО «Принт», 1998. -152 с.

61. Фреге Г. Логика и логическая семантика: Сборник трудов. М.: Аспект Пресс, 2000.-512 с.

62. Хопкрофт Д.Э., Мотвани Р., Ульман Д.Д. Введение в теорию автоматов, языков и вычислений, 2-е изд.: Пер. с англ. М.: Изд. дом «Вильяме», 2002. - 528 с.

63. Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию // Мир ПК. 2003. - № 9. - с. 52-56

64. Cockburn A. Agile Software Development. Addison-Wesley Prof., 2001

65. Roshchin М. Semantic Modelling for Product Line Engineering / M. Roshchin, P. Graubmann, V. Kamaev // Information Research and Applications. i.TECH 2007: proc. (Bulgaria), 26-30.06.2007 / FOI ITHEA. -Sofia, 2007. Vol.1, -p.143-148. Англ.

66. Roshchin M. Ontology Engineering for Intellectual Agents / M. Roshchin // И-я Международная конференция по когнитивной науке: сб. тр. / С.-Петерб. Гос. Ун-т. СПб., 2006. - с. 558-559. - Англ.

67. Afimann U. Invasive Software Composition. Springer-Verlag, 2003

68. ABmann U. Architectural Styles for Active Documents. SCP Journal on Software Composition, 2003.

69. F. Campoy Flores, V. Quint, I. Vatton. Templates, Microformats and Structured Editing. In Proceedings of ACM Symposium on Document Engineering (DocEng), pp. 188-197, Amsterdam, The Netherlands. Brailsford, D. F., Eds. (2006)

70. J. Le Maitre. Representing Multistructured XML Documents by Means of Delay Node. In Proceedings of ACM Symposium on Document Engineering (DocEng), pp. XXX, Amsterdam, The Netherlands. Brailsford, D. F., Eds. (2006)

71. Кузин С.Г. Конструирование компонент программного обеспечения на основании графовых моделей Электронный ресурс. -Режим доступа: http ://www. unn. ru/vmk/graphmod/index .php?i d=con sept

72. A.C. Faria, Joao B.S. de Oliveira. Measuring Aesthetic Distance between Document Templates. In Proceedings of ACM Symposium on Document Engineering (DocEng), pp. 13-21, Amsterdam, The Netherlands. Brailsford, D. F., Eds. (2006)

73. M.G. Pimentel, L. Baldochi, E.V. Munson. Modelling Context Information for Capture and Access Applications. In Proceedings of ACM Symposium on Document Engineering (DocEng), pp. 92-94, Amsterdam, The Netherlands. Brailsford, D. F„ Eds. (2006)

74. V. Lanfranchi, F. Ciravegna, D. Petrelli. Semantic Web-based Document Editing and Browsing in ActiveDoc.

75. H. Ahonen, B. Heikkinen, O. Heinonen, etc. Intelligent Assembly of Structured Documents. Report, 1996

76. Glushko, J. Robert. Document Engineering: Analyzing and Designing Documents for Business Informatics & Web Services. 2005

77. Timo Kakola, Juan Carlos Duenas. Software Product Lines: Research Issues in Engineering and Management. Springer-Verlag, 2006

78. The Elucidative Programming Home Page http://www.cs.aau.dk/~normark/elucidative-programming/

79. Semantic Web, http://www.w3.org/2001/sw/

80. OWL, http://www.w3.org/TR/owl-features/

81. Description Logics, http://dl.kr.org/

82. Razmerita L., Angehrn A., Maedche A. Ontology-based User Modelling for Knowledge Management Systems.

83. Uren V., Cimiano P., Iria J. and others. Semantic Annotation for Knowledge Management: Requirements and a survey of the state of the art. Journal of Web Semantics, ELSEVIER, October 2005

84. S.H. Kaisler. Software Paradigms, Wiley-Interscience, 2006

85. Peter Graubmann, Mikhail Roshchin, "Semantic Annotation of Software Components", Accepted for IEEE Proceedings of 32th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA), Component-Based Software Engineering Track, 2006

86. Danilo Beuche, Holger Papajewski, Wolfgang Schroeder-Preikschat. Variability Management with feature Models, 2003

87. Stan Buehne, Kim Lauenroth, Klaus Pohl. Why is it not sufficient to Model Requirements Variability with Feature Models?, 2004

88. Michael Klein, Brigitta Koenig-Ries, An Ontology-based Document-Space as an Adaptable Use Interface for Mobile Information Systems, 2006

89. Lutz, C.: Lecture Notes on LBKR. 2003

90. UML, http://en.wikipedia.org/wiki/Unified Modelling Language

91. John F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing Co., Pacific Grove, CA, 2000

92. R. E. Lopez-Herrejon, D. Batory. A Standard Problem for Evaluating Product-Line Methodologies, 2003

93. Kr. Czarnecki, С. H. P. Kim, К. T. Kalleberg: Feature Models are views on Ontolgies, 2004

94. Blog of Michael Stal, http://stal.blogspot.com/

95. Protégé, http://protege.stanford.edu/113. pure::variants, http://www.pure-svstems.com/Variant Management.49.0.html

96. Java Prolog Library, http://www.swi-prolog.org/packages/ipl/iava api/index.html

97. Semantic Web Library for Prolog, http://www.swi-prolog.org/packages/semweb.html

98. Thea OWL Library, http://www.semanticweb.gr/TheaOWLLib/

99. Алгоритмы оптимизации проектных решений/Под ред. Половинкина А.И.- М.:Энергия,1976.

100. Финн В. К. О машинно-ориентированной формализации правдоподобных рассуждений в стиле Бэкона-Милля// Семиотика и информатика. 1983. Вып.20.-С.35-101.

101. Финн В.К. Искусственный интеллект: идейная база и основной продукт// Сб. трудов Девятой национальной конференции по искусственному интеллекту с международным участием. Том I., С.11-21.

102. Карпунин Н.Г., Майданчик Б.И. Функционально-стоимостной анализ в электротехнической промышленности М.: Энергоиздат, 1984. - 288 с.

103. Фоменков С.А. Представление физических знаний в форме физических эффектов для автоматизированных систем обработки информации // Дисс. на сосискание уч. степени доктора тех. наук. Волгоград, 2000.

104. Пискунов А.И. Структурный подход к анализу нечетко формализованных систем. I Эквивалентные преобразования структуры нечетко формализованных систем // Автоматика и телемеханика.- 1988 -N4.- С.128-137.