Нотація[ред. • ред. Код]

Діаграма прецедентів є графом, що складається з множини акторів, прецедентів (варіантів використання) обмежених границею системи (прямокутник), асоціацій між акторами та прецедентами, відношень серед прецедентів, та відношень узагальнення між акторами.^[1] Діаграми прецедентів відображають елементи моделі варіантів використання.

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

У мові UML є кілька стандартних видів відношень між акторами і варіантами використання:

• асоціації (англ. association relationship)

• включення (англ. include relationship)

• розширення (англ. extend relationship)

• узагальнення (англ. generalization relationship)

При цьому загальні властивості варіантів використання можуть бути представлені трьома різними способами, а саме — за допомогою відношень включення, розширення і узагальнення.

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

Включення (англ. include) у мові UML — це різновид відношення залежності між базовим варіантом використання і його спеціальним випадком. При цьому відношенням залежності (англ. dependency) є таке відношення між двома елементами моделі, при якому зміна одного елемента (незалежного) приводить до зміни іншого елемента (залежного).

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

34. UML-діаграми. Діаграми станів.

Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором

• вершины обозначают состояния

• дуги показывают переходы между двумя состояниями

На практике вершины обычно изображаются в виде окружностей и, если нужно, двойных окружностей. В нотации UML состояния изображаются прямоугольниками с закругленными углами^[1].

Абстрактного автомата граф (діаграма станів, англ. statechart) — спрямований граф, вершинам якого відповідають стани автомата, а дугам — вхідні сигнали. Якщо вхідний сигнал x_i спричиняє перехід автомата зі стану a_j в стан a_k, то на графі цьому факту відповідає дуга, позначена символом x_i, яка з'єднує вершину a_j з a_k. Такий граф задає функціюпереходів автомата. Для визначення функції виходів, дуги цього графа позначаються ще й відповідними вихідними сигналами. Визначення автомата за допомогою його графа є особливо наочним за умов невеликої кількості станів.