Компонентна модель ПС – CМ

Під компонентним програмуванням розуміється метод створення ПС, заснований на застосуванні концепцій композиції (збирання) на всіх етапах ЖЦ, де базовим елементом композиції є компонент. Компоненти поділені на такі групи:

– прості компоненти, що реалізують деяку функцію ПрО;

– готові компоненти (наприклад, beans–компоненти у мові Lava);

– складні компоненти (каркас, патерни тощо) для групування компонентів;

– інтерфейс з описом параметрів для встановлення зв’язку між різними компонентами між собою;

– сервіси, що підтримують різні системні дії з організації передачі параметрів і даних, представлених в інтерфейсі чи контракті;

– засоби розгортання компонентів в деякому гетерогенному середовищі.

Тобто компонентне програмування є самостійним стилем програмування зі своєю концептуальною базою, теорією, методологією та інструментальними засобами. Він доповнює і розширює існуючі методи програмування засобами збирання готових КПВ, що значно спрощує процеси розробки і супроводу систем за рахунок:

– формалізації та впорядкованості процесу розробки окремих компонентів та систем з КПВ зі зменшенням часу розробки і збільшення якості та надійності складних систем;

– механізмів опису інтерфейсів компонентів для їх виконання у інтегрованому середовищі з використанням загальносистемних сервісів та ін.;

– спрощення процесів побудови ПС за моделлю з компонентів та методів їх конфігурування чи збирання у різні складні структури для їх виконання.

Компонентна модель ПС – це таке абстрактне уявлення ПС, що конструюється з компонентів, які є елементами уявлень і їм зіставлені реальні функції чи методи об’єктів ПрО, що забезпечують реалізацію функціональності та виконання інших не функціональних вимог щодо ПрО. Для однієї і тієї ж ПС може існувати безліч її компонентних моделей в залежності від концепцій проектування і використовуваного компонентного підходу. Моделі компонентної моделі (Component Model – СМ) відповідає цілком і повністю структура моделей М_ПСчи М_ПСз тою різницією, що тут використовуються програмні компоненти і КПВ, якяк готові ресурси різного призначення. Вони стали капіталоємкими продуктами і є об’єктами комерційного програмування, (наприклад, компоненти загальної бібліотеки математичних задач MatLab), що застосовуються при глобальних обчисленнях у середовищах Grid i Cloud Computing.

На загальному рівні подання моделі СМ ставиться завдання щодо представлення її функціональності згідно вимог у вигляді сукупності компонентів і їх інтерфейсів або контрактів для забезпечення взаємодії між собою окремих програмних компонентів, з яких модель складатиметься.

Нехай Õ A_i – множина інтерфейсів за контрактами компонентів чи програм, що

ⁱ⁼¹

визначають її визначають її функціональність. Кожному A_i який описує контракт як клієнт-серверну взаємодію з відповідними методами і структурами даних. Кожний інтерфейс має опис інтерфейсних даних –In, Out і Inout, які будемо називати відповідно визначальним поданням інтерфейсу (поняття – вхідний, вихідний та проміжний інтерфейс). In_i визначає умови і мету контракту з боку клієнта, Out_i задає реалізацію компоненту з боку сервера, а Inout – властивості інтерфейсів In_{i і} Out_i

Визначені інтерфейсів Ai для компонентів моделі СМ можуть групуватися у різні поєднання з урахуванням семантики характеристик загального і внутрішнього типів, що визначені для моделі системи і компонентів і входять до складу компонентної моделі.

Довільна сукупність інтерфейсів In_i, Out_j, Inout_ij, де i @ J, може не входять в кожну таку сукупність і одночасно визначати пари програмних компонентів приїх збиранні в складну структуру.

Для кожної отриманої сукупності пар Ci È Iv = {Ci, Iv, OutJ, Inout_ij} створюється модель компонента або шаблон, який містить деяку множину параметрів, які визначають і реалізують уявлення інтерфейсів. За цими уявленнями надалі здійснюється зіставлення шаблонів і інтерфейсів реальних компонентів.

В результаті операцій групування виходить множина пар Ci È Iv { яке і буде зватися контрактом компонентної моделі ПС. Для однієї і тієї ж програми існує множина таких моделей, які визначаються множинами контрактів (або інтерфейсів) зі способами розбиття на шаблони компонентів для послідовного їх виконання.

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

<== попередня сторінка	\|	наступна сторінка ==>
Модель сімейства програм (СПС)	\|	Загальне визначення алгебри компонентів

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.003 сек.