Архитектура программных агентов для проверки соответствия распределенных документов

• Автор: Смолко, Данила Станиславович
• Шифр специальности: 05.00.00
• Научная степень: Кандидатская
• Год защиты: 2001
• Место защиты: Б.м.
• Количество страниц: 328 с. : ил.

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

ГЛАВА! ВВЕДЕНИЕ
1.1 Введение
1.2 Мотивация сценария
1.3 Ссылки
1.4 Структура работы
ГЛАВА 2 АНАЛИЗ РАБОТ, СВЯЗАННЫХ С ПРОВЕРКОЙ СООТВЕТСТВИЯ
2.1 Происхождение Viewpoints
2.2 Viewpoints - ориентированная разработка программного обеспечения (VOSE)
2.2.1 Viewpoints
2.2.2 Непротиворечивость ViewPoints
2.2.3 Возможности управления соответствием
2.2.4 Политика
2.3 ПРОГРАММНЫЕ СРЕДЫ РАЗРАБОТКИ
2.4 Грамматики атрибутов
2.5 CENTAUR- язык спецификаций
2.6 ПРОГРЕСС - УНИВЕРСАЛЬНЫЙ ЯЗЫК СПЕЦИФИКАЦИЙ
2.7 GOODSTEP - ЯЗЫК СПЕЦИФИКАЦИЙ ИНСТРУМЕНТОВ
2.8 XL1NK1T - ЯЗЫК ОТНОШЕНИЙ СООТВЕТСТВИЯ
2.8.1 Порождение Связей
2.8.2 XLinkit и дистрибутивная поддержка
2.9 РЕЗЮМЕ
ГЛАВА 3 ТРЕБОВАНИЯ ДЛЯ СИСТЕМЫ РАСПРЕДЕЛЕННОЙ ПРОВЕРКИ СООТВЕТСТВИЯ
3.1 Пользователи
3.2 Спецификация междокументных связей
3.3 Местоположение правил соответствия и их применимость
3.4 мониторинг распределенных документов и идентификация изменений
3.5 Синхронизация проверок
3.6 Инкрементальные проверки
3.7 У местность правил соответствия
3.8 Локальный доступ к документам
3.9 Представление результатов проверок
3.10 Обновление результатов проверок
3.11 Регистрация и обработка событий
3.12 Резюме
^ ГЛАВА 4 ПРОГРАММНЫЕ АГЕНТЫ И ПАРАДИГМА МОБИЛЬНОГО АГЕНТА
4.1 ЧТО ТАКОЕ - ПРОГРАММНЫЙ АГЕНТ?
4.2 ХАРАКТЕРИСТИКИ ПРОГРАММНЫХ АГЕНТОВ
4.2.1 Слабое агентство
4.2.2 Сильное агентство
4.3 МОБИЛЬНОСТЬ АГЕНТА
4.4 СТРУКТУРА РАСПРЕДЕЛЕННОЙ СИСТЕМЫ С МОБИЛЬНЫМИ АГЕНТАМИ
4.4.1 Традиционные распределенные системы
4.4.2 Мобильные агенты
4.4.3 Использование Мобильных Агентов: "за" и "против "
4.5 МЕЖ-АГЕНТНАЯ связь
4.5.1 Примитивы связи
4.5.2 Язык Связей
4.5.3 Многоагентное сотрудничество
4.5.4 Служба местоположения для распределенных агентов
4.6 Классификация систем мобильных агентов
4.6.1 Клас&фикация систем
4.6.2 Колшентарии
4.7 Система мобильных агентов Aglets

4.7.1 Агенты
4.7.2 Серверы
4.7.3 Связь
4.7.4 Функции защиты
4.7.5 Модель событий Aglets - Пример клонирования агентов
4.7.6 Модель событий - Мобильность агента
4.8 ВЫБОР СИС ТЕМЫ МОБИЛЬНЫХ АГЕНТОВ ДЛЯ АРХИТЕКТУРЫ РАСПРЕДЕЛЕННОЙ ПРОВЕРКИ СООТВЕТСТВИЯ
4.8.1 Требования к системе мобильных программных агентов
4.8.2 Комментарии
4.9 Резюме
ГЛАВА 5 ИНКРЕМЕНТНАЯ ПРОВЕРКА СООТВЕТСТВИЯ
5.1 Правила соответствия
5.1.1 Пример правила
5.1.2 Проверка правила устойчивости
5.1.3 Результирующие связи соответствия
5.1.4 Хрупкость связей соответствия ХИпк локаторов
5.2 ИСЧЕРПЫВАЮЩАЯ ПРОВЕРКА СООТВЕТСТВИЯ
5.2.1 Схема алгоритма
5.2.2 Прикладная область для исчерпывающих проверок
5.3 Инкрементная проверка соответствия
5.3.1 Инициализация
5.3.2 Выбор уместных правил соответствия
5.3.3 Выполнение отобранных правил
5.4 Распределение проверок соответствия
5.4.1 Мобильные агенты
5.4.2 Распределенная инкрементная проверка соответствия
5.5 Инкрементная проверка: Выводы
5.6 резюме
ГЛАВА 6 АРХИТЕКТУРА ПРОГРАММНЫХ АГЕНТОВ ДЛЯ РАСПРЕДЕЛЕННОЙ ПРОВЕРКИ СООТВЕТСТВИЯ
6.1 Введение
6.2 Описание архитектуры
6.2.1 Агент ресурсного интерфейса
6.2.2 Доменный агент
6.2.3 Шлюзовой доменный агент
6.2.4 Мобильный агент проверки соответствия
6.2.5 Агент пользовательского интерфейса
3 И ЕРАРХИЧЕСКАЯ ИНФОРМАЦИОННАЯ СТРУКТУРА
6.3.1 Таблица имен и типов документов
6.3.2 Распределение правил соответствия
6.3.3 Подходы к распределению правил соответствий
6.3.4 Предложенные решения для распределения правил соответствия
6.3.5 Таблица поиска агента
6.3.6 Таблица списка событий
6.3.7 Политика системы
6.4 Развитие системы
6.5 У ДОВЛЕТБОРЕНИЕ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ С ПОМОЩЬЮ КОМПОНЕНТОВ АРХИТЕКТУРЫ
6.5.1 Ресурсный агент интерфейса
6.5.2 Агент домена
6.5.3 Шлюзовой агент домена
6.5.4 Мобильный агент проверки соответствия
6.5.5 Агент пользовательского интерфейса
6.6 Резюме
ГЛАВА 7 МОДЕЛИРОВАНИЕ АРХИТЕКТУРЫ И ОЦЕНКА БЫСТРОДЕЙСТВИЯ
7.1 Введение
7.2 приближения моделирования
7.2.1 Выбор моделирования состояний в качестве предмета оценки
7.2.2 Инструмент моделирования - Covers

/33

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