"Распределенные Объектные Технологии"

I. Технологии интероперабельных систем

1. Потребности применений, ведущие к интероперабельным архитектурам

2. Манифест ООСУБД

3. Манифест СБД третьего поколения

4. Полиморфные языки. Виды полиморфизма.

5. Назначение и концепции архитектуры промежуточного слоя (middleware),

разрабатываемой Object Management Group (OMG)

6. Основные компоненты CORBA (Common Object Request Broker Architecture)

7. Объектная модель OMG (core): назначение и основные характеристики

8. Объектная модель ORB, отличия от Core

9. Архитектура управления объектами (OMA: Object Management Architecture):

основные компоненты

10. Компоненты и интерфейсы ORB

11. Место и роль OMG IDL в CORBA

12. Типы данных в языке IDL. Спецификация интерфейсов.

13. Спецификация атрибутов и операций интерфейсов в IDL

14. Модульность в IDL: имена и области действия

15. Принципы отображения IDL в языки программирования

16. Принципы взаимодействия разнородных брокеров в CORBA 2.0: домены, мосты

17. Протоколы CORBA 2.0: GIOP и IIOP

18. Интеграция WWW и CORBA: подходы и примеры

II. Формальные спецификации как основа проектирования систем на основе

повторного использования компонентов

1. Формальные спецификации объектных типов в нотациях Z и B

2. Отношение тип - подтип: формулирование условий "быть подтипом"

3. Элементы нотации Абстрактных Машин

4. Понятие уточнения (refinement), доказательство свойста уточнения

5. Модульность в абстрактных машинах.

III. Принципы семантической интероперабельности

1. Отличия проектирования информационных систем на основе компонентов от

традиционных методов проектирования

2. Общие принципы подхода к проектированию информационных систем,

основанного на семантической интероперабельности компонентов

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

4. Повторно-используемые фрагменты спецификаций типов: редукты. Понятие

общего редукта

5. Композиции типов в процессе проектирования

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

1. Основные идеи онтологического моделирования

2. ONTOLINGUA как средство спеуификации онтологий

3. Отображение ONTOLINGUA в объектную модель

4. Понятия слабой и сильной онтологической релевантности