Реферат ИТ

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

• Реферат может быть написан на русском или английском языке и должен быть представлен как doc файл

===============================================================

Идентификация и регистрация компонентов в модели приложения для их повторного использования при проектировании информационных систем

• Задача этапа идентификации и регистрации релевантных компонентов в процессе проектирования и подходы к ее решению

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

• Подходы к разрешению конфликтов между спецификациями модели приложения и компонентов

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

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

===============================================================

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

1. Canonical model (литература: Canonical object model, SYNTHESIS)

2. Formal models and methods (литература: AMN (section 2), B Method, B-related references)

3. Component based compositional design (литература: Automation of Verification paper, Component-based design paper, Concretization construction paper, Resouce registration, Compositional approach in Russian, Compositional development)