• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Загальне визначення алгебри компонентів

Нехай Х – множина об'єктів x, де x_i Î X – довільний об'єкт деякої ПрО, якій завдає функцію ПрО і пов'язаний з іншими об’єктами відношенням зв’язку. Цієї множині відповідає множина програмних компонентів C (CÎ X.). Кожен компонент реалізує функцію і характеризується деякими притаманними йому властивостями (наприклад, варіантність, змінюваність тощо), які завдаються в їх інтерфейсах.

Властивості чи характеристики компонентів завдаються загальними і особистими типами та їх предикатами P₁, _, P₂, , ..., P_k з умовами виконання компонентів з множини xi. Î X можливі деякі операції, результати виконання яких також є елементи множини X. Тривіальними прикладами таких операцій можуть бути – об'єднання кількох об'єктів в один або декомпозиція деякого програмного компоненту на окремі частини

Нехай Õ R _i – множина операцій над об'єктами з X. Кожна операція має власну арність в залежності від її семантики. В цілому існують операції, які задаються на подмножествах з X, а також можна створювати підмножину операцій (наприклад, попередні операції об'єднання та декомпозиції).

Серед множини операцій розглядаються ті, які зберігають властивості компонентів і їх результатів. Ці операції R₁, R₂ ,..., R_m виконуються над будь-якими компонентами c₁ , _, c₂ ,..., с_m Î C з урахуванням арності операції R_i та результату таких двох видів:

c₁ , _, c₂ ,..., с_m Ï C).

Множина C та операції R₁, R₂.,.., R_m визначатимуть алгебру компонентів. Прикладами реальних операцій над компонентами можуть бути операції розширення інтерфейсів і факторингу для сукупності нових компонентів за іншими інтерфейсами, але з такою ж функціональністю. В розділі 2.4 подано компонентні алгебри (внутрішня і зовнішня). Для кожної алгебри відповідає властивостям компонентів Pі та операцій Rі, формально визначених для множини компонентів і які застосовуються в конкретної теорії компонентного програмування щодо конструювання програм і систем з готових КПВ.

Читайте також:

1. I визначення впливу окремих факторів
2. II. Визначення мети запровадження конкретної ВЕЗ з ураху­ванням її виду.
3. II. Мотивація навчальної діяльності. Визначення теми і мети уроку
4. IV. Закріплення й узагальнення знань
5. IV. УЗАГАЛЬНЕННЯ І СИСТЕМАТИЗАЦІЯ ВИВЧЕНОГО
6. Ocнoвнi визначення здоров'я
7. S Визначення оптимального темпу роботи з урахуванням динаміки наростання втоми.
8. V. Систематизація і узагальнення нових знань, умінь і навичок
9. VI. Узагальнення та систематизація знань
10. АБСТРАГУВАННЯ УЗАГАЛЬНЕННЯ
11. Алгебраїчний спосіб визначення точки беззбитковості
12. Алгоритм побудови калібрувального графіка для визначення загального білка сироватки крові

Переглядів: 663