Канонічні діаграми мови uml
У рамках мови UML всі представлення про моделі складної системи фіксуються у вигляді спеціальних графічних конструкцій, що одержали назву діаграм.
Діаграма (diagram) - графічне представлення сукупності елементів моделі у формі зв'язного графа, вершинам і ребрам (дугам) якого приписується певна семантика. Нотація канонічних діаграм - основний засіб розробки моделей на мові UML.
В нотації мови UML визначені наступні види канонічних діаграм:
варіантів використання (use case diagram)
класів (class diagram)
кооперації (collaboration diagram)
послідовності (sequence diagram)
станів (statechart diagram)
діяльності (activity diagram)
компонентів (component diagram)
розгортання (deployment diagram)
Перелік цих діаграм і їх назви є канонічними в тому сенсі, що являють собою невід'ємну частину графічної нотації мови UML. Більше того, процес ООАП нерозривно пов'язаний з процесом побудови цих діаграм. При цьому сукупність побудованих таким чином діаграм є самодостатньою в тому сенсі, що в них міститься вся інформація, яка необхідна для реалізації проекту складної системи.
Кожна з цих діаграм деталізує і конкретизує різні подання про моделі складної системи в термінах мови UML. При цьому діаграма варіантів використання являє собою найбільш загальну концептуальну модель складної системи, яка є вихідною для побудови всіх інших діаграм. Діаграма класів, за своєю суттю, логічна модель, що відображає статичні аспекти структурної побудови складної системи.
Діаграми кооперації і послідовностей являють собою різновиди логічної моделі, які відбивають динамічні аспекти функціонування складної системи. Діаграми станів і діяльності призначені для моделювання поведінки системи. І, нарешті, діаграми компонентів і розгортання служать для представлення фізичних компонентів складної системи і тому відносяться до її фізичної моделі.
В цілому інтегрована модель складної системи в нотації UML може бути представлена у вигляді сукупності зазначених вище діаграм (рис. 2.7).
Рис. 2.7. Інтегрована модель складної системи в нотації UML
Крім графічних елементів, які визначені для кожної канонічної діаграми, на них може бути зображена текстова інформація, що розширює семантику базових елементів. В UML передбачено три спеціальних механізму розширення, які включають в себе наступні конструкції.
Стереотип (stereotype) - новий тип елемента моделі, який розширює семантику метамоделі. Стереотипи мають ґрунтуватися на вже існуючих і описаних в метамоделі мови UML типах або класах. Стереотипи призначені для розширення саме семантики, але не структури вже описаних типів класів. Деякі стереотипи передвизначенні в мові UML, інші можуть бути визначені розробником. На діаграмах зображуються у формі тексту, укладеного в кутові лапки. Передвизначені стереотипи є ключовими словами мови UML, які використовуються на канонічних діаграмах мовою оригіналу без їх перекладу.
Помічене значення (tagged value) - явне визначення властивості як пари "ім'я - значення". У позначеному значенні саме ім'я називають тегом (tag). Помічені значення на діаграмах зображуються у формі рядка тексту спеціального формату, укладеного у фігурні дужки. При цьому використовується наступний формат запису: {тег = значення}. Теги зустрічаються в нотації мови UML, але їх визначення не є строгим, тому теги можуть бути зазначені самим розробником.
Обмеження (constraint) - деякий логічне умова, що обмежує семантику обраного елемента моделі.
Як правило, всі обмеження специфікуються розробником. Обмеження на діаграмах зображуються у формі рядка тексту, укладеного у фігурні дужки. Для формального запису обмежень призначений спеціальний мову об'єктних обмежень (Object Constraint Language, OCL), який є складовою частиною мови UML.