Преобразование классов семантических сетей тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Тимченко, Вадим Андреевич

• Тимченко, Вадим Андреевич
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Тимченко, Вадим Андреевич

ВВЕДЕНИЕ.

ГЛАВА 1. ПРЕОБРАЗОВАНИЯ СЕМАНТИЧЕСКИХ СЕТЕЙ. ОБЗОР

ЛИТЕРАТУРЫ.

1.1. Основные понятия.

1.2. Представление информации семантическими сетями.

1.3. Задачи преобразования семантических сетей.

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

1.5. Средства преобразования семантических сетей.

1.6. Выводы из обзора литературы.

ГЛАВА 2. КОНЦЕПЦИЯ ПРЕОБРАЗОВАНИЯ ИНФОРМАЦИИ,

ПРЕДСТАВЛЕННОЙ СЕМАНТИЧЕСКИМИ СЕТЯМИ.

2.1. Основные понятия и определения.

2.2. Требования к средству преобразования информации, представленной семантическими сетями.

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

2.4. Выводы.

ГЛАВА 3. МОДЕЛИ И МЕТОД ПРЕОБРАЗОВАНИЯ КЛАССОВ'

СЕМАНТИЧЕСКИХ СЕТЕЙ.

3.1. Модель описания классов семантических сетей.

3.2. Модель описания структурных проекций.

3.3. Язык описания проекций.

3.3.1. Абстрактный синтаксис языка описания проекций.

3.4. Метод преобразования классов семантических сетей на основе описания структурной проекции.

3.4.1. Метод преобразования "текст - семантическая сеть".

3.4.2. Метод преобразования "семантическая сеть — текст".

3.4.3. Метод преобразования "семантическая сеть - семантическая сеть".

3.5. Выводы.

ГЛАВА 4. МЕТОДЫ РЕАЛИЗАЦИИ СРЕДСТВА ПРЕОБРАЗОВАНИЯ КЛАССОВ СЕМАНТИЧЕСКИХ СЕТЕЙ НА ОСНОВЕ ОПИСАНИЯ СТРУКТУРНЫХ

ПРОЕКЦИЙ.

4.1. Назначение и функции программного средства.

4.2. Архитектура средства преобразования классов семантических сетей на основе описания структурных проекций.

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

4.3.1. Клиент-серверная реализация.

4.3.2. Методы реализации средств редактирования.

4.3.3. Методы реализации преобразователя классов семантических сетей.

4.4. Технические характеристики.

4.5. Выводы.

ГЛАВА 5. ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ ПРЕОБРАЗОВАНИЯ ИНФОРМАЦИИ С ПОМОЩЬЮ РАЗРАБОТАННЫХ ПРОГРАММНЫХ СРЕДСТВ

И ПРИМЕРЫ ЕЕ ПРАКТИЧЕСКОГО ПРИМЕНЕНИЯ.

5.1. Технология решения задач преобразования информации с помощью разработанных программных средств.

5.2. Примеры описаний проекций семантических сетей в разных технологических пространствах.

5.2.1. Преобразование базы знаний.

5.2.2. Преобразование диаграмм классов на языке иМЬ в представление на языке XML.

5.2.3. Задача разработки языковых конвертеров.

5.2.4. Задача построения модели структурных программ.

5.3. Выводы. 128v

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

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

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

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

Большой вклад в разработку и исследование методов решения таких задач внесли В.Н. Вагин, В.Ш. Кауфман, С.П. Крицкий, В.Н. Касьянов, В.А. Серебряков, В.Н. Скворцов, А.Н. Терехов, Н. Ehrig, G. Karsai, H.-J. Kreowski, G. Rozenberg, A. Schürr, G. Taentzer и другие.

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

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

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

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

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

Для достижения поставленной цели необходимо решить следующие задачи:

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

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

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

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

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

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

Научная новизна;работы состоит в следующем:

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

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

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

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

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

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

Реализация: результатов работы: Результаты диссертационной работы используются:

• 1 в научных исследованиях, проводимых в рамках различных программ и проектов в лаборатории интеллектуальных систем Института автоматики и процессов управления ДВО РАН, г. Владивосток;

• в учебном процессе на кафедре Программного обеспечения ЭВМ1 при разработке учебно-методических комплексов и чтении курсов лекций по дисциплинам "Теория вычислительных процессов и структур II. Теория и методы трансляции" и "Оптимизация программ" для студентов, обучающихся по специальности 010503.65 - "математическое обеспечение и администрирование информационных систем" в Дальневосточном федеральном университете, г. Владивосток.

Программное средство "Система, моделирующая процесс преобразования программ, управляемый знаниями" зарегистрировано в Реестре программ для ЭВМ 15 августа 2006 г. (Свидетельство об официальной регистрации программы для ЭВМ №2006612928).

Программное средство "Преобразователь семантических сетей" зарегистрировано в Реестре программ для ЭВМ 9 июля 2010 г. (Свидетельство о государственной регистрации программы для ЭВМ №2010614544).

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

Апробация работы. Основные положения диссертации докладывались и обсуждались на следующих международных и российских конференциях и семинарах: Дальневосточной математической школе-семинаре имени академика Е.В. Золотова (г. Хабаровск, 2005, 2009,^ г. Владивосток, 2006, 2007, 2008, 2010), Международной конференции "Искусственный интеллект. Интеллектуальные и многопроцессорные системы" (г. Таганрог, 2005), Научно-практической конференции "Современные проблемы и пути их решения в науке, транспорте, производстве и образовании" (г. Одесса, 2005), Научной сессии МИФИ (г. Москва, 2006), Второй Международной конференции "Системный анализ и информационные технологии" (г. Обнинск, 2007), Международной конференции К08-2008 (г. Варна, Болгария), Девятой международной научно-технической конференции "Искусственный интеллект. Интеллектуальные системы ИИ-2008" (пос. Кацивели, АР Крым, Украина, 2008), Одиннадцатой национальной конференции по искусственному интеллекту с международным участием "КИИ-2008" (г. Дубна, 2008), Рабочем семинаре "Наукоемкое программное обеспечение" в рамках Р8Г09 - Седьмой международной конференции памяти академика А. П. Ершова "Перспективы систем информатики" (г. Новосибирск, 2009), Международной научно-технической конференции "Искусственный интеллект. Интеллектуальные и многопроцессорные системы-2009" (г. Таганрог, Россия, 2009), Первой Российско-Тихоокеанской конференции по компьютерным технологиям и приложениям КРС 2010 (г. Владивосток, Россия, 2010), Открытом дальневосточном конкурсе программных средств студентов, аспирантов и молодых специалистов "Программист-2005", "Программист-2006", "Программист-2010" (г. Владивосток, 2005, 2006, 2010), Конкурсе научных работ молодых ученых и специалистов ИАПУ ДВО РАН (г. Владивосток, 2009), а также на совместных семинарах лаборатории интеллектуальных систем ИАПУ ДВО РАН и базовой кафедры программного обеспечения ЭВМ ДВГУ (2006 - 2009).

Публикация результатов работы. По материалам диссертации опубликовано 19 работ, из них 2 статьи в журналах, рекомендуемых ВАК РФ для опубликования научных результатов, получено 2 свидетельства о регистрации программ для ЭВМ.

Структура и объем работы. Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы, включающего 156 наименований, и 20

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Тимченко, Вадим Андреевич

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

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

2. Разработана модель для? описания? классов; семантических сетей. Данная модель базируется^ на формализме представления' семантических сетей, основанном на максимально абстрактных категориях "сущность" и "отношение". Расширение модели позволяет специфицировать преобразования вида "текст -семантическая сеть"" и- "семантическая сеть — текст" одинаковым образом: используется один и тот же формализм, нотация, вид правил и т.д.

3. Разработаны модель и язык, для: описания-структурных проекций. Язык предназначен для» описания преобразований вида "семантическая сеть -семантическая сеть". Описан абстрактный и конкретный синтаксис языка. Данный язык не ориентирован на конкретное технологическое пространство и позволяет специфицировать преобразования в самых общих категориях - "сущность", "свойство", "отношение".

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

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

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

Список литературы диссертационного исследования кандидат технических наук Тимченко, Вадим Андреевич, 2010 год

1. Артемьева И.Л., Князева М.А., Купневич O.A. Модель онтологии предметной области "Оптимизация последовательных программ". 4.1. Термины для описания объекта оптимизации // НТИ. Сер. 2. - 2002. — №12. - С. 23 - 28.

2. Артемьева И.Л., Князева М.А., Купневич O.A. Модель онтологии предметной области "Оптимизация последовательных программ". 4.2. Термины для описания процесса оптимизации // НТИ. Сер. 2. 2003. - №1. - С. 22 - 29.

3. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции, Москва: Мир. 1978. В двух томах.

4. Бабкин, Э.А. Принципы и алгоритмы искусственного интеллекта: Монография // Э.А. Бабкин, О.Р. Козырев, И.В. Куркина. Н. Новгород: Нижегород. гос. техн. ун-т. - 2006. - 132 с.

5. Башмаков А.И., Башмаков И.А., Механизмы наследования, выявления и разрешения противоречий в обобщенной модели представления предметной области. 4.1 // Известия РАН. Техническая кибернетика. 1994. - №5. - С.14 -27

6. Башмаков А.И., Башмаков И.А., Механизмы наследования, выявления и разрешения противоречий в обобщенной модели представления предметной области. Ч. II // Известия РАН. Теория и системы управления. 1995. - №3. -С.175- 189

7. Бунимова Э.О., Кауфман В.Ш., Левин В.А. Об описании языковых проекций // Вестн. Моск. ун-та. Вычисл. матем. и киберн. 1978. - №4. - С. 68 - 73.

8. Вагин В.Н., Головина Е.Ю., Загорянская A.A., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах // Под ред. В.Н. Вагина, Д.А. Поспелова. 2-е изд., испр. и доп. - М.: ФИЗМАТЛИТ. - 2008. - 712 с.

9. Ершов А.П. О сущности трансляции. Препринт, ВЦ Сибирское отделение АН СССР, Новосибирск. 1977.

10. Кауфман В.Ш., Левин В.А. Естественный подход к проблеме описания контекстных условий // Вестн. Моск. ун-та. Вычисл. матем. и киберн. 1977. — №2. — С. 67-77.

11. Кауфман В.Ш. О технологии создания трансляторов (проекционный подход). // Программирование. 1978. - №5. - С. 36 - 44.

12. Кауфман В.Ш. Проекционный подход к созданию трансляторов // Перспективы развития в системном и теоретическом программировании. -Новосибирск: Изд-во ВЦ СО АН СССР. 1979. - С. 87 - 103.

13. Клещев A.C., Князева М.А. Интернет-система управления информацией о преобразованиях программ // Информационные технологии. 2007. - №1. -С. 42-46.

14. Князева М.А., Тимченко В.А. Структурные редакторы программ на языках программирования высокого уровня и генератор моделей структурных программ в Банке знаний о преобразованиях программ // Искусственный интеллект. 2005. - Т.4. - С. 200 - 208.

15. Князева М.А., Тимченко В.А. Подсистема редактирования информационного наполнения в банке знаний о преобразованиях программ // Научная сессия МИФИ-2006, сб. научн. тр. в 16 томах, Москва: МИФИ. 2006. - Т.З. - С. 118 -119.

16. Князева М.А., Тимченко В.А. Средства структурного редактирования информационного наполнения в Банке знаний о преобразованиях программ // Вестник Компьютерных и информационных технологий. Москва: Машиностроение. 2006. - №6. - С. 43 - 49.

17. Князева М. А., Тимченко В.А. Подсистема генерации единого внутреннего представления в системе преобразований программ // Программные продукты и системы. 2008. - №1. - С. 58 - 62.

18. Князева М.А., Тимченко В.А. Преобразование программ из исходного представления в целевое представление на основе описаний проекций языка исходного представления на язык целевого представления // Искусственный интеллект. 2008. - Т.З. - С. 681 - 689.

19. Князева М.А., Тимченко В.А. Преобразование графовых структур на основе проекций. // Материалы X Международной научно-технической конференции

20. Князева М.А., Тимченко В.А. Преобразование графовых структур представления информации // Искусственный интеллект. 2009. — Т.4. - С. 425 - 436. I 27. Князева М.А., Тимченко В.А. Преобразователь семантических сетей.

21. Зарегистрировано в Реестре программ для ЭВМ 9 июля 2010 г. Свидетельство

22. Ин-т проблем информатики М. 1993. - С. 70 - 83.

23. Лозовский B.C. Семантические сети // Представление знаний в человеко-J машинных и робототехнических системах. М.: ВИНИТИ. - 1984.

24. Лозовский B.C. Сетевые модели // Искусственный интеллект. В Зх кн. Кн.2.

25. Модели и методы: Справочник / Под ред. Д.А. Поспелова. М.: Радио и связь. - 1990. - С. 28 - 49: 1 33. Маркотти Mi, Ледгард X., Бохман Г. Формальные описания языковпрограммирования // В' сб.: "Семантика языков программирования". М.: 1 Мир.-1980.-395 с.

26. Орлов В.А., Клещев A.C. Компьютерные банки знаний. Универсальный \ подход к решению проблемы редактирования информации. -j Информационные технологии. 2006. - №5. - С. 25 - 31.

27. Осипов Г.С. Приобретение знаний интеллектуальными системами. М.: Наука,1 Физматлит. 1997. - 112 с.

28. Перминов И.А. Нечеткая объектно-ориентированная семантическая сеть //

29. Международный форум информатизации 1999: Доклады международнойконференции "Информационные средства и технологии". 1999. - Т.З. - С. 37-40.

30. Перминов И.А. Объектно-ориентированный язык для оперирования семантическими сетями // Международный форум информатизации 2000: Доклады международной конференции "Информационные средства и технологии". - 2000. - ТЗ. - С. 212 - 215.

31. Тимченко В.А. Преобразование программ из исходного представления в целевое // XXXIII Дальневосточная математическая школа-семинар имени академика Е.В. Золотова: тезисы докладов. Владивосток: Изд-во Дальнаука. -2008.-С. 39-40.

32. Тимченко В.А. Преобразование информации на основе проекций графовых структур // XXXIV Дальневосточная математическая школа-семинар имени академика Е.В. Золотова: тезисы докладов. Хабаровск: Изд-во Тихоокеан. гос. ун-та. - 2009. - С. 183 - 185.

33. Фаулер М. Рефакторинг: улучшение существующего кода. Спб: Символ-Плюс. - 2004. - 430 с.

34. Хомский Н. Формальные свойства грамматик // Кибернетический сборник, новая серия, вып. 2, изд-во "Мир", Москва. 1966. - С. 121 - 230.

35. Akehurst D.H., Howells W.G., McDonald-Maier K.D. Kent Model Transformation Language // Model Transformations in Practice Workshop, part of MoDELS 2005. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, Springer, Heidelberg, 2005.

36. ANTLR; ANother Tool for Language Recognition. Electronic resource. URL: http://www.antlr.org (дата обращения: 15.05.2010).

37. Assmann U. OPTIMIX a tool for rewriting and optimizing programs // Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages and tools, World Scientific Publishing Co., NJ. - 1999. - Pp. 307 - 318.

38. Atkinson C., Kuhne T. Model-driven'development: A metamodeling foundation. IEEE Software, September, 2003.

39. Baader F., Nipkow T. Term Rewriting and All That. Cambridge, England: Cambridge University Press. 1998. - 301 p.

40. Balogh A., Varro D. Advanced model transformation language constructs in the VIATRA2 framework // In ACM Symposium on Applied Computing Model Transformation Track (SAC 2006), ACM Press, Dijon, France. - 2006. - Pp. 1280 -1287.

41. Bauderon M., Jacquet H. Pullback as a generic graph rewriting mechanism // In Applied Categorical Structures, vol. 9. 2001. - no. 1. - Pp. 65 - 82.

42. Bezivin J. In search of a basic principle for model-driven engineering // Novatica Journal, Special Issue, March-April, 2004.

43. Bezivin J., Kurtev I. Model-based Technology Integration with the Technical Space Concept // In Proceedings of the Metainformatics Symposium, Springer-Verlag,2005.

44. Bison GNU parser generator. Electronic resource. URL: http://www.gnu.org/ software/bison/manual/index.html (дата обращения: 15.05.2010).

45. Borger E., Stark R. Abstract State Machines. A method for High-Level System Design and Analysis. Springer-Verlag, 2003.

46. Brachman R. J., Levesque H. J., Reiter R. (eds.) Knowledge representation. Special Volume. Artificial Intelligence, vol. 49, 1991.

47. Gamacho D.O., Mens К., van den Brand M:, Vinju J. Automated Derivation of Translators From Annotated Grammars // Sixth Workshop on Language Descriptions, Tools and Applications. LDTA'06: ENOTS. 2006. - Pp 121 - 137.

48. Cercone N., McGalla G. (eds.). The Knowledge Frontier // Essays in the Representation of Knowledge. Springer-Verlag. 1987. - 512 p.

49. Chikofsky E., Gross J. Reverse Engineering and Design Recovery: A. Taxonomy // IEEE Software, 7(1).- 1990: Pp. 13 - 18.

50. Christiansen T. PERL5 Regular Expression Description. 1996: Electronic resource., URL:: http://www.perl.com/doc/FMTEYEWTK/regexps.html (дата обращения: 15.05.2010).

51. Cordy J. R., Halpern C. D., Promislow E. TXL: A rapid prototyping system for programming language dialects // In Proceedings of The International Conference of Computer Languages, Miami, FL. 1988.-Pp. 280-285.

52. Cordy J., Dean Т., Malton A., Schneider K. Source Transformation in Software Engineering Using the TXL Transformation1 System // Journal' of Information and Software Technology 44/13: 2002. - Pp. 827 - 837.

53. Gzarnecki K., Helsen S; Classification of model transformation approaches // In Workshop on Generative: Techniques in the context of Model Driven Architecture (OOPSLA '03), 2003.

54. Drewes F., Kreowski H.-J., Habel A. Hyperedge Replacement Graph Grammars // In G. Rozenberg (Ed.), Handbook of Graph Grammars and. Computing by Graph Transformation, vol. 1: Foundations. Singapore: World Scientific. 1997. - Pp: 95 -162.

55. Ehrig H., Mahr B. Fundamentals of Algebraic Specifications, vol. I, Equations and Initial Semantics, Springer, Berlin. 1985. -321 p.

56. Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. (eds.). Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, 1999.

57. Engelfriet J., Rozenberg G. Node Replacement Graph Grammars // In G. Rozenberg (Ed.), Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations. Singapore: World Scientific. 1997. - Pp. 1 -94.

58. Fowler M. Language Workbenches: The Killer-App for Domain Specific Languages? 2005. Electronic resource. URL: http://www.martinfowler.com/ articles/language Workbench.html (дата обращения: 06.08.2010).

59. FUJABA Tool Suite, University of Paderborn Software Engineering. Electronic resource. URL: http://www.fuiaba.de (дата обращения: 28.08.2010).

60. Geiss R. GrGen.NET. 2008. Electronic resource. URL: http://www.grgen.net/ (дата обращения: 27.08.2010).

61. Guarino N., Giaretta P. Ontologies and Knowledge Bases. Towards a Terminological Clarification // In: Towards Very Large Knowledge Bases. N.J.I. Mars(ed.), IOS Press, Amsterdam, 1995.

62. Gruber T.R. A translation approach to portable ontologies II Knowledge Acquisition. No. 5(2). 1993. - Pp. 199 - 220.

63. Heering J., Hendriks P.R.H., Klint P., Rekers J. The syntax definition formalism SDF reference manual, SIGPLAN Notices 24 (11). - 1989. - Pp. 43 - 75.

64. Henriksson J., Heidenreich F., Johannes J., Zschaler S., Assmann U. Extending grammars and metamodels for reuse: the Reuseware approach // In IET Software, Special Issue on Language Engineering, vol. 2, 2008. issue 3. - Pp. 165 - 184.

65. Jonge M., Visser E., Visser J. XT: a bundle of program transformation tools // In Electronic Notes in Theoretical Computer Science, 44. Language Descriptions, Tools and Applications, 2001.

66. Jouault F., Kurtev I. Transforming models with ATL // In Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, LNCS 3844, Bruel J.-M. Ed. Springer Berlin / Heidelberg. 2006. - Pp. 128 - 138.

67. Kalnins A., Barzdins J., Celms E. Model Transformation Language MOLA // Proceedings of Model Driven Architecture: Foundations and Applications, Linkoeping, Sweden. 2004. - Pp. 14 - 28.

68. Karakitsos G. A language for specifying program transformations // First International Conference on Software Testing, Reliability, and Quality Assurance, Conference Proceedings, New Delhi. 1994. - Pp. 36 - 42.

69. Karsai G. Why is XSL not suitable for Semantic Translation: Research Note, ISIS, Nashville, TN, 2000. Electronic resource. URL: http://www.isis.vanderbilt. edu/sites/default/files/Karsai G 4 0 2000 Why is XML.pdf (дата обращения: 19.08.2010).

70. Karsai G., Agrawal A., Shi F., Sprinkle J. On the Use of Graph Transformations for the Formal Specification of Model Interpreters // JUCS, Special issue on Formal Specification of CBS, vol. 9.-2003.-Pp. 1296-1321.

71. Kleppe A., Warmer S., Bast W. MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003.

72. Klint P: A meta-environment for generating programming environments, ACM Trans. Software Eng. Methodology 2 (2). 1993. -Pp. 176-201.

73. Klop J.W. Term rewriting systems. In D: Gabbay, S.Abramski, and T. Maibaum, editors, Handbook of Logic and Computer Science, vol. 1. Oxford University Press, New York, 1992.

74. Kurtev I., Bezivin J., Aksit M. Technological Spaces: An Initial Appraisal // Int. Federated Conf. (DOA, ODBASE, CoopIS), Industrial track, Irvine, 2002.

75. Kuster J.M., Sendall S., Wahler M. Comparing two model transformation approaches // In Proc. UML 2004 Workshop OCL and Model Driven Engineering, Lisbon, 2004.

76. Lambers L. A new version of GTXL : An exchange format for graph transformation systems // Electronic Notes in Theoretical Computer Science, 127. -2005.-Pp. 51-63.

77. Lawley M., Steel J. Practical Declarative Model Transformation with Tefkat // MoDELS 2005 Workshops, LNCS 3844, Springer-Verlag, Berlin. 2006. - Pp. 139-150.

78. Lehmann E.W. Semantic Networks // Computers & Mathematics with Applications, vol. 23.-1992.-no. 2-5.

79. Levendovszky Т., Lengyel L., Mezei G., Charaf PI. A Systematic Approach to Metamodeling Environments and- Model Transformation Systems in VMTS // 2nd International Workshop on Graph Based Tools (GraBaTs), workshop at IGGT 2004, Rome, 2004s.

80. Mann: P.B. A translational BNF grammar notation (TBNF) // ACM SIGPLAN Notices, vol. 41. 2006. - no. 4. - Pp. 16 - 23.

81. Marschall F., Braun P. Model Transformations for the MDA with BOTL // Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications, Enschede, Netherlands. — 2003. — Pp. 25 36.

82. MDA web site. Electronic resource. URL: http://www.omg.org/mda (дата обращения :16:07.2010).

83. Mens Т., Czarnecki K., van Gorp P. A Taxonomy of Model Transformations //In J. Bezivin, R. Heckel (Eds.),. Proc. of Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings 04101, Schloss Dagstuhl, Germany, 2005.

84. Mernik M., Heering J., Sloane A.M. When and How to Develop Domain-Specific Languages // ACM Computing Surveys, vol. 37. 2006. - no. 5.

85. Muller P.-A., Fleurey F., Jezequel J.-M. Weaving Executability into Object-Oriented Metalanguages // ACM/IEEE 8th International Conference on: Model Driven Engineering Languages and Systems, Montego Bay, Jamaica; 2005. - Pp. 264 - 278. •

86. NeOn Glossary of Activities; Neon Project. 2007. Electronic resource. URL: http://www.neon-proiect.org (дата обращения: 16.07.2010).

87. Nupponen К. The Design and. Implementation of a Graph: Rewrite Engine for Model Transformations. 2005: Electronic resource!. URL: http://www.niksula.hut. fi/~knuppone/thesis.pdf (дата обращения: 28.08.2010")

88. OMG. Meta Object Facility (MOF) Core Specification. Available specification. Electronic resource. URL: http://www.omg.Org/spec/MQF/2.0/PDF (дата обращения: 30.09.2010).

89. OMG. Unified Modeling Language: (UML) Specification; Electronic resource. URL: http://www.omg.org/uml/ (дата обращения: 29.09.2010).

90. Patrascoiu O. YATL: Yet Another Transformation Language // Proceedings of the 1st European MDA Workshop, Twente, Netherlands. 2004. - Pp. 83 - 90.

91. Program Transformation Wiki. Electronic resource. URL: http://www.program-transformation.org (дата обращения: 23.08.2010).

92. Roussopoulos N.D; A semantic network model of data bases. Doctoral dissertation, University of Toronto, 1977.

93. Rozenberg G., editor. Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations, World Scientific Publishing Co. Pte. Ltd., 1997.

94. Schiirr A. Introduction to PROGRES, an attribute graph grammar based specification language // In Nagl, M., editor, Proc. Graph Theoretic Concepts in Computer Science, Lecture Notes in Computer Science 411. 1990. - Pp. 151 -165.

95. Schiirr A. Programmed graph replacement systems // In Rozenberg, G., editor, Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2, Worl Scientific. 1999. - Pp. 669 - 689.

96. Sendall S., Kozaczynski W. Model transformation: the heart and soul of modeldrivensoftware development", vol. 20. 2003. - no. 5. - Pp. 42 - 45.

97. Sleep R., Plasmeijer R., van Eekelen M. C. D. J. Term Graph Rewriting: Theory and Practice. Wiley Publishers, New York, 1993.

98. Sowa J.F. Conceptual Structures. Addison-Wesley, Reading, MA, 1984.

99. Sowa J.F. Relating Diagrams to Logic // Procs. of ICCS-1993. 1993. - Pp. 1 - 35.

100. Taentzer G. AGG: A tool environment for algebraic graph transformation // In AGTIVE, ser. Lecture Notes in Computer Science, vol. 1779. Springer-Verlag. -1999.-Pp. 481-488.

101. Thayse A. et al. Approche logique de l'intelligence artificielle. 1. De la logique classique a la programmation logique., Bordas, Paris, 1988.

102. Перевод: Логический подход к искусственному интеллекту. 1. От классической логики к логическому программированию. Пер. с фр. / Тейз А., Грибомон П., Луи Ш. и др., М.: Мир. - 1990. - 132 с.

103. Tratt L. The МТ Model Transformation Language. Proceedings of ACM SIGAPP Symposium on Applied Computing, Dijon, France, 2006. Electronic resource. URL: http://eprints.mdx.ac.Uk/5925/l/Tratt-MT model transformations.pdf (дата обращения: 27.08.2010).

104. Varro D., Pataricza A. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML // Journal of Software and Systems Modeling, vol. 2(3). 2003. - Pp. 187 - 210.

105. Varro D., Balogh A. The Model Transformation Language of the VIATRA2 Framework // Sci. Gomput. Program., 68(3). 2007. - Pp. 187 - 207.

106. Visser E. et al. The online survey of program transformation. Electronic resource. URL: http://www.program-transformation.org (дата обращения: 10.08.2010).

107. Vojtisek D., Jzquel J.-M: MTL and Umlaut NG: Engine and Framework for Model Transformation // ERCIM News, no. 58, Special Issue on Automated Software Engineering. 2004. - Pp. 42-45.

108. Willink E.D. UMLX: A Graphical Transformation Language for MDA // Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Anaheim, CA(2003). 2003. -Pp. 13-24.

109. Winter A. Exchanging Graphs with GXL // In P: Mutzel, M: Junger, S. Leipert; editors. Graph Drawing, 9th International Symposium, GD 2001, LNCS 2265. Springer, Berlin. 2002. т- Pp. 485 - 500:

110. Wirth N. Pascal-S: A subset and its implementation // In Barron. 1981. - Pp. 199 -259.

111. Woods W.A. What's in a link? Foundation for semantic networks // In Representation and Understanding: Studies in Cognitive Science (Edited by D.G. Bobrow and A. Collins), Academic Press, New York. 1975. - Pp. 35 - 82.

112. World Wide Web Consortium. Extensible Markup Language (XML) Version 1.0 (Second Edition). W3C Recommendation. 2000: Electronic resource. URL: http://www.w3c.org/TR/xml. (дата обращения: 12.05.2010).

113. World Wide Web Consortium. XSL Transformations (XSLT) Version 1.0. W3C Recommendation. 1999. Electronic resource. URL: http://www.w3.org/TR/xslt. (дата обращения: 12.05.2010).