Примітка. Для деяких мов програмування можуть бути визначені додаткові квантори видимості

Для деяких мов програмування можуть бути визначені додаткові квантори видимості. У цьому випадку подібні доповнення є розширенням базової нотації й вимагають відповідних пояснень у формі тексту на природній мові або у вигляді рядка-властивості.

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

Список параметрів є переліком розділених комою формальних параметрів, кожний з яких може бути представлений у наступному вигляді:

<вид параметру><ім’я параметру>:<опис типу>=<значення параметру за замовченням>.

Тут вид параметру – є одне з ключових слів in, out або inout зі значенням in за замовченням, у випадку якщо вид параметру не вказується. Ім'я параметру є ідентифікатор відповідного формального параметру. Вираз залежить від конкретної мови програмування специфікації типу значення, що повертається для відповідного формального параметру. Нарешті, значення за замовченням в загальному випадку є виразом для значення формального параметру, синтаксис якого залежить від конкретної мови програмування і підкоряється прийнятим в ній обмеженням.

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

Рядок-властивість служить для вказівки значень властивостей, які можуть бути застосовані до даного елементу. Рядок-властивість не є обов'язковою, вона може бути відсутньою, якщо жодні властивості не специфіковані.

Операція із зоною дії на весь клас вказується підкресленням імені і рядка виразу типу. За замовченням областю операції є об'єкт класу. У цьому випадку ім'я і рядок виразу типу операції не підкреслюються.

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

Для підвищення продуктивності функціонування системи одні операції можуть виконуватися паралельно або одночасно, а інші – тільки послідовно. У цьому випадку для вказівки паралельності виконання операції використовується рядок-властивість вигляду "{concurrency = ім'я}", де ім'я може приймати одне з наступних значень: послідовна (sequential), паралельна (concurrent), збережувана (guarded). При цьому дотримуються такої семантики для цих значень:

¨ послідовна (sequential) – для такої операції необхідно забезпечити її єдине виконання в системі, одночасне виконання інших операцій може привести до помилок або порушень цілісності об'єктів класу.

¨ паралельна (concurrent) – дана операція через свої особливості може виконуватися паралельно з іншими операціями в системі, при цьому паралельність повинна підтримуватися на рівні реалізації моделі.

¨ збережувана (guarded) – всі звернення до такої операції мають бути строго впорядковані в часі з метою збереження цілісності об'єктів даного класу, при цьому можуть бути прийняті додаткові заходи за контролем виняткових ситуацій на етапі її виконання.

З метою скорочення позначень допускається використання одного імені як рядок-властивість для вказівки відповідного значення паралельності. Відсутність такого рядка-властивості означає, що семантика паралельності для операції не визначена. Тому слід припустити гірший з погляду продуктивності випадок, коли дана операція вимагає послідовного виконання.

Поява сигнатури операції на самому верхньому рівні оголошує цю операцію на весь клас, при цьому дана операція успадковується всіма нащадками даного класу. Якщо в деякому класі операція не виконується (тобто деякий метод не застосовується), то така операція може бути помічена як абстрактна "{abstract}". Інший спосіб показати абстрактний характер операції – записати її сигнатуру курсивом. Така поява запису операції без властивості {абстрактна} вказує на той факт, що відповідний клас-нащадок може виконувати дану операцію як свій метод.

Якщо для деякої операції необхідно додатково вказати особливості її реалізації (наприклад, алгоритм), то це може бути зроблено у формі примітки, записаної у вигляді тексту, який приєднується до запису операції у відповідній секції класу. Якщо об'єкти класу приймають і реагують на деякий сигнал, то запис такої операції позначається ключовим словом "сигнал" ("signal"). Це позначення рівнозначне позначенню деякої операції. Реакція об'єкту на прийом сигналу може бути показана у вигляді деякого автомата. Окрім інших випадків ця нотація може бути використана, щоб показати реакцію об'єктів класу на помилкові ситуації або виключення, які можуть моделюватися як сигнали або повідомлення.

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

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

Як приклади запису операцій можна навести такі позначення окремих операцій:

¨ +створити – може позначати абстрактну операцію створення окремого об'єкту класу, яка є загальнодоступною і не містить формальних параметрів. Ця операція не повертає ніякого значення після свого виконання.

¨ +намалювати(форма: Багатокутник = прямокутник, колір_заливки: Color = (Про, Про, 255)) – може позначати операцію зображення на екрані монітора з прямокутною областю синього кольору, якщо не вказуються інші значення як аргументи даної операції.

¨ запит_рахунку_клієнта(номер_рахунку: Сurrеnсу):Сurrеnсу – позначає операцію встановлення наявності засобів на поточному рахунку клієнта банку. При цьому аргументом такої операції є номер рахунку клієнта, який записується у вигляді цілого числа (наприклад, "123456"). Результатом виконання цієї операції є деяке число, записане в прийнятому грошовому форматі (наприклад, $1,500.00).

¨ видати_повідомлення():{"Помилка ділення на нуль"} – сенс даної операції не вимагає пояснення, оскільки міститься в рядку-властивості операції. Дане повідомлення може з'явитися на екрані монітора, коли виникають спроби ділення деякого числа на нуль, що неприпустимо.

19.2. Відношення між класами

Окрім структури класів на відповідній діаграмі вказуються різні відношення між класами. При цьому сукупність типів таких відношень фіксована в мові UML і зумовлена семантикою цих типів відношень. Базовими відношеннями або зв'язками в мові UML є:

¨ Відношення залежності (dependency relationship)

¨ Відношення асоціації (association relationship)

¨ Відношення узагальнення (generalization relationship)

¨ Відношення реалізації (realization relationship)

Кожний із цих відношень має власне графічне подання на діаграмі, яке відображає взаємозв'язок між об'єктами відповідних класів.

19.2.1. Відношення залежності

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

Відношення залежності графічно зображається пунктирною лінією між відповідними елементами із стрілкою на одному з її кінців ("®" або ""). На діаграмі класів таке відношення зв'язує окремі класи між собою, при цьому стрілка направлена від класу-клієнта залежності до незалежного класу або класу-джерела (рис. 14.3). На цьому рисунку зображено два класи: Клас_А і Клас_Б, при цьому Клас_Б є джерелом деякої залежності, а Клас_А – клієнтом цієї залежності.

Рис. 19.3. Графічне зображення відношення залежності на діаграмі класів

Як клас-клієнт і клас-джерело залежності можуть виступати ціла множина елементів моделі. У цьому випадку одна лінія із стрілкою, що виходить від джерела залежності, розщеплюється в деякій крапці на декілька окремих ліній, кожна з яких має окрему стрілку для класу-клієнта. Наприклад, якщо функціонування Класу_С залежить від особливостей реалізації Класу_А і Класу_Б >, то така залежність може бути зображена таким чином як на рис. 19.4.

Рис. 19.4. Графічне представлення залежності між класом-клієнтом (Клас_С) і класами-джерелами (Клас_А і Клас_Б)

Стрілка може позначатися необов'язковим, але стандартним ключовим словом у лапках і необов'язковим індивідуальним іменем. Для відношення залежності визначені ключові слова, які позначають деякі спеціальні види залежностей. Ці ключові слова (стереотипи) записуються в лапках поряд із стрілкою, яка відповідає даній залежності. Приклади стереотипів для відношення залежності представлені нижче:

¨ "access" – служить для позначення доступності відкритих атрибутів і операцій класу-джерела для класів-клієнтів;

¨ "bind" – клас-клієнт може використовувати деякий шаблон для своєї подальшої параметризації;

¨ "derive" – атрибути класу-клієнта можуть бути обчислені згідно атрибутів класу-джерела;

¨ "import" – відкриті атрибути і операції класу-джерела стають частиною класу-клієнта, начебто вони були оголошені безпосередньо в ньому;

¨ "refine" – вказує, що клас-клієнт служить уточненням класу-джерела через причини історичного характеру, коли з'являється додаткова інформація в ході роботи над проектом.

Поиск по сайту: