Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Контакти
 


Тлумачний словник
Авто
Автоматизація
Архітектура
Астрономія
Аудит
Біологія
Будівництво
Бухгалтерія
Винахідництво
Виробництво
Військова справа
Генетика
Географія
Геологія
Господарство
Держава
Дім
Екологія
Економетрика
Економіка
Електроніка
Журналістика та ЗМІ
Зв'язок
Іноземні мови
Інформатика
Історія
Комп'ютери
Креслення
Кулінарія
Культура
Лексикологія
Література
Логіка
Маркетинг
Математика
Машинобудування
Медицина
Менеджмент
Метали і Зварювання
Механіка
Мистецтво
Музика
Населення
Освіта
Охорона безпеки життя
Охорона Праці
Педагогіка
Політика
Право
Програмування
Промисловість
Психологія
Радіо
Регилия
Соціологія
Спорт
Стандартизація
Технології
Торгівля
Туризм
Фізика
Фізіологія
Філософія
Фінанси
Хімія
Юриспунденкция






Теоретичні аспекти компонентного програмування

Компонентне програмування (КП) з момента його появи був системним і не мав теоретичного обгрунтовання. В межах виконання фундаментальних проектів (2002–2011) в ІПС НАНУ було розроблено математичний апарат КП – теорія, моделі, методи, компонентна алгебра об’єднання компонентів. повторного використання (КПВ), їх змінювання та алгебраїчної системи перебудови типів даних різнорідних КПВ тощо.

Теорія КП створена на множині компонентів С=(С0, С1, …, Сn), які мають загальні та особисті властивості і характеристики, які відображаються в інтерфейсах методів компонентів, і утворюють множину відповідних інтерфейсів I =(I0, I1,…,In) для цієї множини компонентів С.

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

При моделюванні компонентів ПрО принаймні отримує хоча б одну властивість або характеристику, семантику і унікальну ідентифікацію в множині компонентів і в підмножині предикатів (0-арних, унарних, бінарних), що завдають відношення між компонентами через їх властивосте і характеристики.

Аксіома 1. Предметна область, що моделюється з компонентів множини С, сама є компонентом.

Аксіома 2. Предметна область, що моделюється, може бути окремим компонентом С у складі іншій ПрО.

Виходячи з теорії множин, якщо С=(С0, С1, …, Сn) – множина компонентів ПрО і С0 відповідає самій ПрО, то для елементів С виконується відношення:

" i[(i>0) & (СiÎ С0)]. (1)

Кожен з компонентів подається як елемент певної множини. У цьому випадку вираз (1) трансформується у такий

" i $ j[(i>0)&( j≥0)& (i ¹ j)& (СiÎ Сj)]. (2)

До кожного компонента (крім С0), тобто елементів певної множини, застосовуються операції теоретико–множинної алгебри та відношення “частина-ціле”, екземпляризація, агрегація тощо.

Аксіома 3. Якщо C=(C1, C2, …,Cn) – сукупність компонентів ПрО, а P'=(P1, P2, … Pr) – множина унарних предикатів, що пов’язані із властивостями компонентів множини компонентів С, то компоненту Ci відповідає множина тверджень на основі предикатів з P', що приймають значення істини Pk(,Ci) = true, де Pik є твердженням для Ci виходячи з предикату Pk та відношенням типу “рід–вид”.

Побудова компонентних ПС, сімейств систем з елементів цих множин виконується методом збирання КПВ за даними інтерфейсу, які відповідають означеним властивостям і характеристикам множин компонентів, які накопичуються в репозиторіях (інтерфейсів і реалізацій) у компонентному середовище [10–15]. І так, зупинимося на визначеннях.

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

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

Компонентна модель ПрО визначається на множині С, I, Р за допомогоюматематичного апарату: моделей компоненту і інтерфейсу, компонентної програми, компонентного середовища, зовнішній і внутрішній компонентної алгебри побудови ПС та алгебраїчні системи перетворення типів даних компонентів на сигнатури операцій інтерфейсу завдання їх взаємодії [16]. Цей апарат слугує формальної побудові компонентних ПС з КПВ на множині компонентів і інтерфейсів репозиторієв. [10, 13–16].

 


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

  1. Активне управління інвестиційним портфелем - теоретичні основи.
  2. Алгебраїчне та інсерційне програмування
  3. Антропічні аспекти
  4. Антропічні аспекти
  5. Антропічні аспекти. Забруднення та самоочищення геосистем
  6. АРХІВОЗНАВЧІ АСПЕКТИ ІНФОРМАТИЗАЦІЇ
  7. Аспекти вибору системи складування
  8. Аспекти надання невідкладної допомоги
  9. Аспекти незалежності аудиторської професії
  10. Аспекти незалежності аудиторської професії.
  11. Аспекти організаційного порядку
  12. Аспекти роботи над зв'язним мовленням




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

<== попередня сторінка | наступна сторінка ==>
Побудова ПС засобами UML | Моделі компонентного програмування

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

 

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


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