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

Моделі компонентного програмування

Модель компонентає наслідком узагальнених типових рішень чи функцій, які подаються компонентом та його інтерфейсом з властивостями і характеристиками у такому вигляді:

C = (CNa, CIn, CFa, CIm, CSe),(3)

Множина CIn складається з вхідних CInIn та вихідних CInOut інтерфейсів, тобто CIn = {CInIn È CInOut}. Компонент має вхідні інтерфейси при власної реалізації і вихідні інтерфейси реалізації іншого компонента. Кожен з них має відповідну модель

CInⁱ = ( InNaⁱ , InFuⁱ , InSpⁱ ), (4)

Інтерфейс CFa визначає методи і звернення до екземплярів компонентів (пошук, вибір, знищення тощо).

Кожна реалізація CIm^j Î CIm задається моделлю:

CIm^j = (ImNa^j , ImFu^j , ImSp^j), (5)

Необхідною вимогою існування компонента є умова його цілісності:

" CInⁱÎ CInI $ CIm^jÎ CIm [Pr(CInⁱ) ÍCIm^j], (6)

Аксіома 3. Для об’єднання ї двох різнорідних компонентів C₁ та C₂ існує умова, якщо CInⁱ₁ÎCInO₁, то повинен існувати CIn^k₂ÎCInI₂ такий, що

Sign(CInⁱ₁)=Sign(CIn^k₂)&Pr(CInⁱ₁)ÍCIm^j₂, де Sign(…) означає сигнатуру відповідного інтерфейсу і Pr (provide) означає функціональність щодо реалізації методів інтерфейсу CInⁱ.

Модель компонентної ПС.Ця модель ПС (PS) містить компоненти з множини реалізації, предикати з множини предикатів інтерфейсів.

PS = {PSLm{Lm¹ ,…, Lmⁿ}, R {Ri, …, Rm}, PSLn{In¹ ,…, In^k},

Операції множини Р відповідають об’єднанню чи конфігурації КПВ в деякі складні структури програм і ПС з множини компонентів і інтерфейсів.

Компоненти чи КПВ моделі ПC можуть змінюватися або замінюватися новими функціонально подібними, еквівалентними КПВ з метою отримання різних варіантів ПП за такими аксіомами.

Аксіома 4. Два компоненти C₁ та C₂ є тотожними (рівними), якщо тотожними є їх відповідні складові. Як наслідок, заміна C₁ на C₂ не впливає на компонентну модель, до якої належить компонент C₁.

Аксіома 5. Два компоненти C₁ та C₂ є еквівалентними, якщо тотожними є їх множини інтерфейсів та реалізацій. Заміна C₁ на C₂ не змінює функціональності компонентної програми чи системи за умови встановлення відповідності між іменами у самій програмі.

Головна мета КП це зв’язування компонентів, а також змінювання їх тотожними чи еквівалентними в структурі ПС. Зв’язування має свою арність і може складатися з множини даних, які входять до класу інтерфейсів означеного класу КПВ. Ця операція виконується за моделлю компоненту (3) і інтерфейсу (4). Модель компоненту і інтерфейсу завдають операції і предикати, які визначають умову передачі даного іншому компоненту.

Між компонентами можуть існувати такі типи відношень: успадкування, екземпляризаці, контракту, об’єднання (зв’язування) та взаємодії Усівідношення визначаються на інтерфейсах і предикатах.

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

1. Автокореляція залишків – це залежність між послідовними значеннями стохастичної складової моделі.
2. Алгебраїчне та інсерційне програмування
3. Алгоритм реалізації моделі
4. Алгоритм реалізації моделі
5. Алгоритм реалізації моделі
6. Алгоритм реалізації моделі
7. Алгоритм реалізації моделі
8. Алгоритм реалізації моделі
9. Алгоритм реалізації моделі
10. Алгоритм реалізації моделі
11. Алгоритм реалізації моделі
12. Аналіз економічноїї політики за допомогою моделі Мандела-Флемінга. Випадки вільного та фіксованого валютного курсів.

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