
- •Перелік термінів та позначень
- •Передмова
- •Частина 1. Початок програмування в срср. Витоки розвитку
- •1.1. Поява і розвиток технології програмування (1952–2012)
- •1.2. Формування технологічних напрямів (1965–1975)
- •1.3. Становленья технології програмування (1975–1982)
- •1.4. Розвиток інтерфейсу в технології програмування (1976–1992)
- •1.5. Розвиток об’єктної технології програмування (1992–2002)
- •1.6. Індустріальні основи технології програмування (2002–2012)
- •1.7. Навчання тп у кну Тараса Шевченко (1965–2012) та філії мфті (2000–2012)
- •Контрольні питання і завдання до частини 1
- •Список літератури до частини 1
- •Частина 2. Парадигми технології програмування
- •2.1. Модульне програмування та збиральний підхід
- •2.1.1. Інтерфейс в програмуванні
- •2.1.2. Зборка модулів по а.П.Єршову
- •2.1.3. Метод зборки готових програмних елементів
- •2.1.4. Формальне подання методу збирання різномовних модулів
- •2.2. Парадигма об’єктно-орієнтованого програмування
- •2.2.1. Базові концепції ооп
- •2.2.2. Чотирьох рівневе проектування ом
- •2.2.3. Концепції об’єктного аналізу
- •2.2.4. Функції, алгебра та операції об’єктного аналізу
- •2.2.5. Моделювання моделі ПрО
- •2.2.6. Опис параметрів інтерфейсу ом
- •2.3. Парадигма uml-метода моделювання
- •2.3.1 Основні діаграми методу
- •2.3.2. Моделювання поведінки системи
- •2.3.3. Побудова пс засобами uml
- •2.4. Парадигма компонентного програмування
- •2.4.1. Теоретичні аспекти компонентного програмування
- •2.4.2. Моделі компонентного програмування
- •2.4.3. Графове подання компонентної моделі ПрО
- •2.4.4. Об’єднання компонентів. Модель середовища
- •2.4.5. Компонентна алгебра
- •2.4.6. Іінструментальні засоби кп
- •2.4.7. Технологія компонентної розробки пс
- •2.4.8. Типізація і класифікація програмних компонентів
- •2.4.9. Жц проектування пс із типових компонентів та кпв
- •Розробка вимог до пс – це формування та опис функціональних, технологічних, організаційних та ін. Властивостей програмної системи, які необхідні чи бажані з точки зору кінцевого користувача.
- •Розгортання рпс. У випадку, коли рпс створюється для конкретного замовника, який є і користувачем, то деякі завдання розгортання виконуються на попередніх етапах. До них, зокрема, відносяться:
- •Супровід рпс компонентній пс характеризується наступними особливостями.
- •2.5. Парадигма аспектно-орієнтованого програмування
- •2.5.1.Основні елементи парадигми аоп
- •2.5.2. Засоби аоп
- •2.5.3. Підтримка аоп впродовж життєвого циклу пс
- •2.5.5. Методичні аспекти аоп
- •2.6. Парадигма генерувального програмування
- •2.6.1 Предметно-орієнтована мова – dsl
- •2.6.2. Простір проблем і рішень ПрО
- •2.6.3. Інженерія ПрО і кпв
- •2.7. Сервісно-орієнтоване програмування
- •2.7.1 Базові понятті сервісу Інтернет
- •2.7.2. Сервіси wcf мs.Net з контрактами
- •2.8. Парадигми теоретичного програмування
- •2.8.1 Алгебраїчне та інсерційне програмування
- •2.8.2. Реалізація агентних програм
- •2.8.3. Експлікативне, номінативне програмування
- •2.8.4. Алгоритмічні алгебри
- •Контрольні питання і завдання до частини 2
- •Список літератури до частини 2
- •Частина 3. Моделі і засоби проектування предметних областей
- •3.1. Моделі проектування ПрО предметних областей
- •3.1.1. Концептуальні моделі пс, спс за компонентами
- •3.1.2. Моделі взаємозв’язку об’єктів
- •3.1.3. Модель інтеграції (зборка) компонентів
- •3.1.4. Тестування прикладних і інтерфейсних об'єктів
- •3.1.5. Моделі взаємодії і варіабельності пс для організації обчислень
- •3.1.6. Підхід до виконання пс в сучасних розподілених середовищах
- •3.2. Онтологічний підхід до подання знань про проблемні області
- •3.2.1. Онтологічне моделювання проблемної області
- •3.2.2. Мовний опис онтології домену чи спс
- •3.2.3. Підхід до реалізація онтології ПрО
- •3.3. Типи даних та засоби їх генерації для використання в збиральному прогрмуванні
- •3.3.1. Проблема забезпечення сумісності типів даних при зборки кпв
- •3.3.2. Аксіоматика простих типів даних
- •3.3.3. Аксіоматика структурних і складних типів даних. Структурні типи даних.
- •3.3.4. Семантичні аспекти взаємодії різнорідних програм
- •3.3.5. Характеристика типів даних для зборки програм
- •3.3.6. Фундаментальні і загальні типи даних
- •3.3.6. Баові поняття стандарту з типів даних
- •3.3.7. Перебудова загальних типів даних до фундаментальних для мп
- •3.4. Підходи і методи доказу програм
- •3.4.1. Мови специфікації програм –vdm, raise, Concept
- •3.4.2. Концепторна мова специфікації
- •3.4.3. Методи доведення правильності програм
- •3.4.4. Модель доказу програми за твердженнями
- •З.5. Проектування пс засобами жц з реалізації доменів
- •3.4.1. За загальна характеристика стандарту жц iso/iec 12207:2002
- •3.4.2. Формування конкретних моделей життєвого циклу
- •3.4.3. Підходи до моделювання ПрО мовними засобами dsl
- •3.6. Модель якості пс
- •3.6.1. Структура моделі якості
- •3.6.2. Модель витрат сосомо Боєма
- •3.6.3. Інтегрована модель витрат на спс
- •Контрольні питання і завдання до частини 3
- •Список літератури до частини 3
- •Частина 4. Методи індустрії виробицтва програм і систем
- •4.1. Загальні основи методології виробництва пс і спс
- •4.1.1. Моделі взаємодії компонентів у пс
- •4.1.2 Методологічні аспекти виробництва спс з готових ресурсів
- •4.2. Мова опису моделей взаємодії на основі xml
- •4.2.1 Подання та обмін даними в компонентних моделях
- •4.2.3 Модель конфігурації компонентів на основі xml
- •4.3. Графове подання пс і спс
- •4.3.1 Графове визначення моделі взаємодії об'єктів
- •4.3.2 Типи зв’язків об’єктів у графової моделі ПрО
- •4.4. Розробка методів побудови проблемно-орієнтованих технологій
- •4.4.1. Аналіз динаміки розвитку фабрик програм
- •4.3.2. Базисні ресурси фабрики програм
- •4.5. Загальні лінії виробництва програм з кпв
- •4.4.1. М етодологія побудови тл
- •4.4.2. Нові дисципліни індустрії наукового совтвера
- •4.4.3. Новітні засоби Grid і Cloud для обчислення задач e–sciences
- •4.4.4. Сучасні системи побудови рпс з сервісних ресурсів
- •4.4.5. Методологія розроблення тл
- •4.4.6. Принципи проектування іс
- •4.5. Методи при оцінюванні економічних характеристик проектів
- •4.5.2. Формальний апарат експертно-аналітичного оцінювання об’єктів і процесів у спс
- •4.5.3. Методи оцінки розміру
- •4.6. Створення Windows застосувань
- •4.6.1. Створення нової програми.
- •4.6.2. Властивості і дизайн програм
- •4.6.3. Компіляція програм
- •2.5. Запуск застосунка
- •4.6.4. Розширення функціональності програм
- •4.7. Інженерії тестування програмних систем
- •4.7.1. Основні поняття інженерії тестування
- •4.7.2 Становлення інженерії тестування
- •4.7.3. Методи тестування. Метрики і критерії
- •4.7.4. Інструменти тестування та оцінювання
- •4.7.5. Тестування веб-застосувань
- •Контрольні питання і завдання до частини 4
- •Список літератури до частини 4
- •5.2. Фабрика програм в кну
- •5.2.3. Створення фабрики студентів
- •5.2.4. Лінії продуктів фабрики на головної сторінки
- •5.2.5. Принципи роботи з репозиторієм програм і артефактів
- •5.2.6. Навчання дисципліні “Програмна інженерія” на фабрики
- •5.3. Репозиторій кпв
- •5.3.1. Загальний опис репозиторію
- •5.3.2. Технологія обслуговування репозиторію кпв
- •5.4. Розробка кпв
- •5.4.1. Опис моделей кпв, інтерфейсу і операцій розробки кпв
- •5.4.2. Реалізація побудови компонентної системи
- •5.4.3. Процеси технології оброблення кпв
- •5.4.4. Зборка різномовних програм у середовищі Visual Studio
- •5.5. Конфігурація кпв
- •5.5.1. Конфігурування кпв з урахуванням варіабельності
- •5.5.2. Опис прикладу використання конфігуратору програм
- •5.6. Генерація систем мовою dsl
- •5.6.1. Лінія опису та генерації доменів dsl
- •5.6.2. Опис життєвого циклу пз та його реалізації на мові dsl
- •2.7. Онтологія – обчислювальна геометрія
- •5.7.1. Онтологія домену – Обчислювальна геометрія
- •5.7.3. Опис моделі онтології ПрО «Обчислювальна геометрія»
- •5.7.4. Опис програми домену «Обчислювальна геометрія» мовою owl
- •5.8. Оцінка якості пс
- •5.8.2. Оцінка витрат на продукт
- •5.8.3. Опис модуля прогнозування трудовитрат на розробку пс
- •5.8.4. Приклад оцінювання затрат на розробку пс ас
- •5.9.1. Опис веб-технології Java ee
- •5.9.3. Приклад взаємодії Java і ms.Net через веб-сервіси
- •5.9.4. Інструкція по використанню графічного інтерфейсу прикладу
- •5.10. Генерація тд
- •5.10.1. Відображення типів даних у середовищі ітк
- •5.10.2. Система генерації загальних типів даних до фундаментальних
- •5.11. Інструментальні засоби сайта ітк
- •5. 12. Розділ сайта «Технологія навчання»
- •Контрольні питання і завдання до частини 5
- •Список літератури до частини 5
- •Післямова
- •Додаток 1. Парадигма структурного програмування
- •Додаток 2. Приклад створення служб wcf у ms Visual Studio 2010
- •Додаток 3. Онтологічний підхід з подання тестування кпв та пс
- •Додаток 4. Оцінка застосування метода сосомо на конкретних даних
- •Додаток 5. Програма курсу «Технологія програмування іс»
4.2.3 Модель конфігурації компонентів на основі xml
В конфігураційних моделях XML-документи визначають структурні схеми та зв’язки (як статичні так і динамічні) між компонентами моделі. Головне призначення цих документів – адекватне відображення компонентної моделі ПрО, яке за допомогою наперед визначених правил може забезпечити реалізацію моделі у відповідне компонентне середовище (наприклад, COM, CORBA). Особливості певної моделі визначаються особливостями базових компонентів та правилами їх реалізації.
Моделі цього типу повинні:
1) Забезпечити ідентифікацію компонентів, як екземплярів моделі.
2) Реалізовувати включення кожного ідентифікованого компонента до складу моделі.
3) Забезпечити виконання операцій над атрибутами компонентів, якщо вони включені до складу інтерфейсу компоненту.
4) Забезпечити звернення до методів компонента, якщо вони включені до складу інтерфейсу компонента.
5) Забезпечити ідентифікацію типів та/або класів атрибутів компонентів та параметрів методів..
6) Забезпечити взаємодію компонентів.
Ідентифікація компонентів. Загалом, особливості ідентифікації компонентів в цьому випадку такі як і для попередніх підходів та моделей. Відмінність полягає в наступному. У попередніх моделях та підходах вхідним елементом був певний компонент, а його клас застосовувався як додатковий опис щодо окремих аспектів компонента. В даному випадку компонент може створюватись як екземпляр певного класу. Тому ідентифікація компонента повинна забезпечити параметризоване створення компонента. Мається на увазі, що створюється унікальна компонента (має унікальний ідентифікатор) з необхідним початковим станом (початкова ініціація компонент визначається наявністю початкових типів даних та відповідними засобами створення компоненти). Тобто, для компонент, які є екземплярами певних класів, потрібен не тільки опис самих класів, а й наявність параметризованих конструкторів – методів, що ініціюють початковий стан нових компонентів.
Включення компоненти до складу моделі. В цілому, включення компоненти в модель може носити статичний, чи динамічний характер. Статичне включення передбачає попередній опис усіх компонентів моделі. Зокрема, такий підхід запропонований у BML, де в XML-документ включаються елементи (теги) <add>, які визначають окремі компоненти. Елементи <add> створюють ієрархічну структуру відповідно відношення включення, тобто контейнер, до складу якого входять компоненти, сам може бути елементом контейнера більш високого рівня.
Динамічне включення компонента у модель засноване на вимогах підтримання певних протоколів моделі та обов’язковій реєстрації кожного нового компонента у репозиторію, як компонентої моделі, в якій знаходиться інформація щодо складу існуючих її компонентів, їх опису (зокрема, місця знаходження) та опису їх інтерфейсів. Сам репозиторій може мати XML-подібну форму. Наприклад, репозиторій інтерфейсів Corba та інформація щодо типів об’єктів в моделі COM+ подаються як множина взаємозв’язаних XML-документів, які доступні на Web сервері (у цьому випадку сервер є поданням репозиторію у компонентному середовищі).
В XML-орієнтованих компонентних моделях та підходах динамічне включення, як правило, є надбудовою над іншими технологіями. Зокрема, такий підхід забезпечує WebBroker, в якому обмін XML-документами базується на протоколах Інтернет.
Виконання операцій над атрибутами компонента. Це досить нетривіальна властивість компонентних підходів та моделей. Її складність полягаю в тому, що не всі атрибути компонента можуть бути безпосередньо доступні із зовні. Найбільш універсальним вирішенням цієї проблеми є підхід, що запропонований у таких моделях як JavaBeans та Enterprise JavaBeans [29]. Для кожного атрибуту компонента (за вийнятком логічних змінних) існують два спеціальні методи set<Ім’я атрибуту> та get<Ім’я атрибуту>, за допомогою яких інші компоненти можуть встановити та отримати значення відповідних атрибутів. Для атрибутів логічного типу такими методами є пара set<Ім’я атрибуту> та is<Ім’я атрибуту>.
За умови наявності цих методів в XML-документ можуть включатися імена атрибутів, а при обробці документу у компонентному середовищі їх імена будуть замінені на відповідні імена методів. Такий підхід застосовується у BML. Щоб відрізнити атрибути від інших змінних, вони визначаються спеціальними тегами <property>.
Звернення до методів компонента. Ця властивість по суті є аналогом підходу звернення до процедур в інших компонентах, що розглядався у попередніх підходах та моделях. Суттєва відмінність у даному випадку одна – ця властивість є лише одним з аспектів підходів та моделей конфігурації компонентів і її подання у XML-документі інформаційно та структурно пов’язане з поданням інших аспектів.
Ідентифікації типів та класів атрибутів компонентів та параметрів методів розглядались у попередніх підходах та моделях і принципових розбіжностей у порівнянні з цим випадком немає.
Взаємодія компонентів. Статичний спосіб взаємодії передбачає обов’язкове звернення до методів чи процедур при початковому розгорненні компонентної системи чи під час роботи певного компоненту. Динамічний спосіб взаємодії визначає взаємодію, яка може відбуватись лише за певних умов при функціонуванні ПС.
Перший спосіб відображається в XML-документах безпосереднім зверненням компонента до власного методу чи методу, який присутній в іншому компоненті. Другий спосіб взаємодії подається на основі моделі подій, що викликаються повідомленнями. Тобто, умови звернення до методу визначаються як певна подія. Така інтерпретація взаємодії компонентів є провідною у сучасних компонентних підходах та моделях. Кожний компонент може включати перелік подій, які мають місце при її функціонуванні, а для кожної можливої події визначається перелік інших компонентів, які активізуються цією подією. Активізація компонентів відбувається за рахунок звернення до їх методів згідно з певними правилами.
Наприклад, в BML існує тег <event-binding> (аналог тегу <event> в узагальненому прикладі, що наведений вище), який визначає певну подію і перелік компонентів, які активізуються цією подією. Методи, які описані в інших компонентах, реалізують інтерфейс, який зв’язаний з подією. Тобто, коли подія відбувається, виконується звертання до методу, який реалізує відповідний інтерфейс.